软件工程SW061软件测试.pptxVIP

软件测试;课程内容;测试目的和策略;什么是软件测试;广义的软件测试概念;验证和确认;验证和确认 ;确认和验证的比较;什么是缺陷？;测试的职责;测试Vs质量保证;测试的商业意义;对待可能产生的风险的策略;系统风险列举;系统风险列举（继续……）;测试工作量;测试策略;测试效果的好坏是组织级的问题;测试方法;测试方法;;黑盒测试方法是在程序接口上进行测试，主要是为了发现以下错误: 是否有不正确或遗漏了的功能? 在接口上，输入能否正确地接受? 能否输出正确的结果? 是否有数据结构错误或外部信息(例如数据文件)访问错误? 性能上是否能够满足要求? 是否有初始化或终止性错误?　;用黑盒测试发现程序中的错误，必须在所有可能的输入条件和输出条件中确定测试数据，来检查程序是否都能产生正确的输出。 但这是不可能的。;假设一个程序P 有输入量X 和Y 及输出量Z 。在字长为32位的计算机上运行。若X、Y 取整数，按黑盒方法进行穷举测试： 可能采用的 测试数据组： 232×232 ＝264 如果测试一 组数据需要1毫秒，一年工作365×24小时，完成所有测试需5亿年。;黑盒测试的设计方法;等价类划分;划分等价类等价类是指某个输入域的子集合。在该子集合中，各个输入数据对于揭露程序中的错误都是等效的。测试某等价类的代表值就等价于对这一类其它值的测试。;等价类的划分有两种不同的情况： ① 有效等价类：是指对于程序的规格说明来说，是合理的，有意义的输入数据构成的集合。 ② 无效等价类：是指对于程序的规格说明来说，是不合理的，无意义的输入数据构成的集合。 在设计测试用例时，要同时考虑有效等价类和无效等价类的设计。;(1) 如果输入条件规定了取值范围，或值的个数，则可以确立一个有效等价类和两个无效等价类。 ;(2) 如果输入条件规定了输入值的集合，或者是规定了“必须如何”的条件，这时可确立一个有效等价类和一个无效等价类。 例如，在Pascal语言中对变量标识符规定为“以字母打头的……串”。那么所有以字母打头的构成有效等价类，而不在此集合内（不以字母打头）的归于无效等价类。;(3) 如果输入条件是一个布尔量，则可以确定一个有效等价类和一个无效等价类。 (4) 如果规定了输入数据的一组值，而且程序要对每个输入值分别进行处理。这时可为每一个输入值确立一个有效等价类，此外针对这组值确立一个无效等价类，它是所有不允许的输入值的集合。 例如，在教师上岗方案中规定对教授、副教授、讲师和助教分别计算分数，做相应的处理。因此可以确定4个有效等价类为教授、副教授、讲师和助教，一个无效等价类，它是所有不符合以上身分的人员的输入值的集合。;(5) 如果规定了输入数据必须遵守的规则，则可以确立一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）。 例如，Pascal语言规定 “一个语句必须以分号‘;’结束”。这时，可以确定一个有效等价类 “以‘;’结束”，若干个无效等价类 “以‘:’结束”、“以‘,’结束”、“以‘ ’结束”、“以LF结束”等。;数学含义 A= X =B C= Y =D; ;再从划分出的等价类中按以下原则选择测试用例： 为每一个等价类规定一个唯一编号； 设计一个新的测试用例，使其尽可能多地覆盖尚未被覆盖的有效等价类，重复这一步，直到所有的有效等价类都被覆盖为止； 设计一个新的测试用例，使其仅覆盖一个尚未被覆盖的无效等价类，重复这一步，直到所有的无效等价类都被覆盖为止。;;建立输入等价类表 ;下面选取了9个测试用例，它们覆盖了所有的等价类。 ① VAR x，T1234567：REAL； BEGIN x := 3.414； T1234567 := 2.732； ...… (1), (2), (4), (8), (9), (12), (14) ② VAR ：REAL； (3) ③ VAR x，：REAL; (5);④ VAR REAL； (6) ⑤ VAR T12345...... REAL； (7) 多于80个字符 ⑥ VAR T$：CHAR； (10) ⑦ VAR GOTO：INTEGER； (11) ⑧ VAR 2T：REAL； (13) ⑨ VAR