问题 问答题 简答题

如何转向基于状态转移图的软件测试

答案

参考答案:

基于状态的测试是通过检查对象的状态在执行某个方法后是否会转移到预期状态的一种测试技术。使用该技术能够检验类中的方法是否能正确地交互。

基于状态测试的主要步骤:

(1)依据设计文档,或者通过分析对象数据成员的取值情况空间,得到被测试类的状态转移图。

(2)给被测试的类加入用于设置和检查对象状态的新方法,导出对象的逻辑状态。

(3)对于状态转移图中每个状态,确定该状态是哪些方法的合法起始状态,即在该状态时对象允许执行哪些操作。

(4)在每个状态,从类中方法的调用关系图最下层开始,逐一测试类中的方法;测试每个方法时,根据对象当前状态确定出对方法的执行路径有特殊影响的参数值,将各种可能组合作为参数进行测试。

问答题

试题二(共15分)阅读以下说明,回答问题1至问题3,将解答填入答题纸的对应栏内。【说明】某公司拟开发一套小区物业收费管理系统。初步的需求分析结果如下: (1)业主信息主要包括:业主编号,姓名,房号,房屋面积,工作单位,联系电话等。房号可唯一标识一条业主信息,且一个房号仅对应一套房屋;一个业主可以有一套或多套的房屋。 (2)部门信息主要包括:部门号,部门名称,部门负责人,部门电话等;一个员工只能属于一个部门,一个部门只有一位负责人。 (3)员工信息主要包括:员工号,姓名,出生年月,性别,住址,联系电话,所在部门号,职务和密码等。根据职务不同员工可以有不同的权限,职务为“经理”的员工具有更改(添加、删除和修改)员工表中本部门员工信息的操作权限;职务为“收费”的员毛只具有收费的操作权限。 (4)收费信息包括:房号,业主编号,收费日期,收费类型,数量,收费金额,员工号等。收费类型包括物业费、卫生费、水费和电费,并按月收取,收费标准如表2-1序示。其中:物业费二房屋面积(平方米)X每平米单价,卫生费二套房数量(套)X每套庆单价,水费二用水数量(吨)X每吨水单价,电费=用电数量(度)X每度电单价。(5)收费完毕应为业主生成收费单,收费单示例如表2-2所示。

【概念模型设计】根据需求阶段收集的信息,设计的实体联系图(不完整)如图2-1所示。图2-1中收费员和经理是员工的子实体。

【逻辑结构设计】根据概念模型设计阶段完成的实体联系图,得出如下关系模式(不完整);业主(1),姓名,房屋面积,工作单位,联系电话)员工(2),姓名,出生年月,性别,住址,联系电话,职务,密码)部门(3),部门名称,部门电话)权限(职务,操作权限)收费标准(4)收费信息(5),收费类型,收费金额,员工号)

【问题2】(5分)填写图2-1中(a)~(f)处联系的类型(注:一方用1表示,多方用m或n或*表示),并补充完整图2-1中的实体、联系和联系的类型。

多项选择题