实验二


1. 软件测试

1.1结构化程序单元测试

给定程序代码段：

1.1.1程序流图

图1.1.1 程序流图

1.1.2所得流图的环复杂性

V(G) = 17(边数)-13(结点数) = 6

1.1.3线性独立路径的基本集合

V(G)的值提供了程序控制结构中线性独立路径的数量。可知6条路径为以下几条：
	路径1：1-2-4-13
	路径2：1-3-4-13
	路径3：1-5-6-13
	路径4：1-7-8-13
	路径5：1-9-10-13
	路径6：1-11-12-13

1.1.4测试用例

1.2面向对象程序的确认测试

请按照基于场景模型（航班订票系统的需求用例）要求来设计程序的测试用例。

图1.2 需求用例

1.2.1注册用例测试

根据需求文档有如下几种情形：
场景1：注册成功，转到登录界面
场景2：注册失败---已存在此用户

1.2.2登录用例测试

根据需求文档有如下几种情形：
场景1：登录成功，转到航班订票系统主界面
场景2：登录失败---用户未注册
场景3：登录失败—密码错误

2. 思考题

黑盒测试的等价划分测试用例设计，一个无效类要求必须给定一个测试用例，而有效类要求一个测试用例尽可能多的覆盖多个有效类，有何理由？

理由：
无效等价类：指对程序的规格说明是不合理的或无意义的输入数据所构成的集合。对于具体的问题，无效等价类至少应有一个，也可能有多个。
有效等价类：指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合。
为了避免测试结果具有偶然性，所以一般我们在测试有效类时，都尽可能多的覆盖！

3. 总结

通过这次实验，对于软件测试中的白盒测试、黑盒测试，有了较深的理解。白盒测试也称做结构化测试，它是利用构件级设计的一部分所描述的控制结构来生成测试用例的；而黑河测试也称为功能测试，它侧重于软件的功能需求。然后对于面向对象程序的确认测试的了解，还需逐渐加深！！！