实用软件工程复习续

软件工程原理、方法与应用,电子教案,计算机学院608教研室王宇华,第8章 软件测试,测试对象的“问题”分为哪几种？,(1) 缺陷。这是轻量级的问题，因为它并不影响系统的正常运行，只是有点美中不足。例如：多了或少了某些次要的功能。有缺陷的产品可降级使用； (2) 错误。这是次重量级的问题，因为它影响系统的正常运行，使系统在运行中出现错误，但这些错误还不是致命性的。有错误的产品不能使用； (3) 严重错误。这是最重量级的问题，因为它不但影响系统的正常运行，而且使系统在运行中出现致命性的错误。例如造成系统的死锁、生命危险或系统崩溃。 有严重错误的产品绝对不能使用。,测试可以提高软件的质量吗？,软件公司一般都有自己的测试中心或测试部门，他们的职责和作用是什么呢？读者可能会不加思索地回答：“测试可以提高软件产品的质量！” 我们说：“回答错了”，为什么？因为测试只能发现软件产品的“不符合项”或错误(Bug)，不能改正软件产品的错误，所以不能直接提高软件产品的质量。这个问题就是软件测试的作用。 优秀的测试团队可在早期发现错误，使软件维护的费用降到最低点。,用户需求(需求规格)是测试的基准,软件测试可分为系统软件测试和应用软件测试： (1) 系统软件测试主要是为了发现Bug，测试报告为“Bug测试报告”。 (2) 应用软件测试主要是为了发现“不符合项”，测试报告为“软件的需求规格测试报告”。 不管是为客户定制软件项目还是开发通用软件产品，都是为了满足客户的需求。若通过Beta测试满足了功能、性能和接口的需求，就可以向客户交付产品，客户按合同付清全部款项。,软件问题的生命周期,9.2.4 软件测试原则,1. 尽早开展测试工作2. 完全测试不可能，把握最优测试量3. 严防寄生虫现象4. 严防杀虫剂现象 5. 并非所有的软件缺陷都能修复6. 难以说清的软件缺陷7. 产品说明书不断变化8. 软件测试人员在产品小组中不受欢迎,9.2.6 软件测试的分类,静态和动态测试,汽车的检查过程:踩油门看车漆打开前盖检查发动汽车听听发动机声音上路行使,静态测试,动态测试,静态测试：基本特征是在对软件进行分析、检查和审阅，不实际运行被测试的软件。 静态测试约可找出3070%的逻辑设计错误. 对需求规格说明书、软件设计说明书、源程序做检查和审阅，包括：是否符合标准和规范；通过结构分析、流图分析、符号执行指出软件缺陷；,动态测试：通过运行软件来检验软件的动态行为和运行结果的正确性动态测试的两个基本要素： 被测试程序 测试数据（测试用例）,黑盒测试,等价分类法(equivalence partitioning)把输入数据的可能值划分为若干等价类 有效等价类和无效等价类每一无效等价类至少需要一个测试用例 例子 某工厂公开招工，规定报名者年龄应在16周岁至35周岁之间(到2002年3月30日止)即出生年月不在上述范围内，将拒绝接受，并显示“年龄不合格”等出错信息。,“出生年月”的等价分类,划分等价类的规则,例 输入值是学生成绩，范围是0100,0 100,有效等价类1成绩100,无效等价类 成绩>100,无效等价类 成绩<0,(1)如果输入条件规定了取值范围，定义一个有效等价类和两个无 效等价类。,(2)如果输入条件代表集合的某个元素，则可定义一个有效等价类和一个无效等价类。,划分等价类的规则,(3)如规定了输入数据的一组值，且程序对不同输入值做不同处理，则每个允许的输入值是一个有效等价类，并有一个无效等价类 (所有不允许的输入值的集合)。例：输入条件说明学历可为:专科、本科、硕士、博士四种之一，则分别取这四种这四个值作为四个有效等价类，另外把四种学历之外的任何学历作为无效等价类,划分等价类的规则,(4)如果规定了输入数据必须遵循的规则，可确定一个有效等价类（符合规则）和若干个无效等价类（从不 同角度违反规则)。(5)如已划分的等价类各元素在程序中的处理方式不同，则应将此等价类进一步划分成更小的等价类。,划分等价类的规则,用等价类划分法设计测试用例步骤：,(1)形成等价类表，每一等价类规定一个唯一的编号；(2)设计一测试用例，使其尽可能多地覆盖尚未覆盖的有效等价类，重复这一步骤，直到所有有效等价类均被测试用例所覆盖；(3)设计一新测试用例，使其只覆盖一个无效等价类，重复这一步骤直到所有无效等价类均被覆盖；,黑盒测试,边界值分析法(boundary value analysis) 使被测程序在边界值及其附近运行，从而更有效地暴露程序中潜藏的错误,黑盒测试,错误猜测法(error guessing) 猜测被测程序在哪些地方容易出错 针对可能的薄弱环节来设计测试用例 仍以上述的报名程序为例，还可以用错误猜测法补充一些测试用例：出生年月为“0”。漏送“出生年月”。年月次序颠倒，例如将“197012”误输为“121970”。,因果图法 借助因果图，列出输入数据的各种组合与程序对应动作效果之间的阶段联系，构造判定表，由此设计测试用例。 因果图生成测试用例的步骤如下： 1).分析设计规格说明中的原因（输入条件或者输入条件等价类）、效果（输出可能性），对每个原因效果进行编号； 2).找出原因/效果之间的对应关系，画出因果图； 3).将因果图转换为判定表； 4).对判定表中每一列生成测试用例。,黑盒测试,因果图法(续) 举例：中国象棋中马的走法以中国象棋中马的走法为例子，具体说明：1、如果落点在棋盘外，则不移动棋子； 2、如果落点与起点不构成日字型，则不移动棋子； 3、如果落点处有自己方棋子，则不移动棋子； 4、如果在落点方向的邻近交叉点有棋子（绊马腿），则不移动棋子； 5、如果不属于1-4条，且落点处无棋子，则移动棋子； 6、如果不属于1-4条，且落点处为对方棋子 (非老将) ，则移动棋子并除去对方棋子； 7 、如果不属于1-4条，且落点处为对方老将，则移动棋子，并提示战胜对方，游戏结束。,黑盒测试,白盒测试,从一组数中取出第一个数。取下一个数，如数已取完，则排序结束。如果所取数大于等于其前邻数，则重复第(2)步。如果所取数小于其前邻数，则与其前邻数交换位置。重复第(4)步，直至所取已无前邻数(即已交换到当前数列的第一位置)，或大于等于其前邻数为止。返回第(2)步。,白盒测试,逻辑覆盖测试法(logic coverage testing) 用流程图来设计测试用例 逻辑复盖测试的5种标准,例:PROCEDURE SAMPAL (A，B：REAL； VAR X：REAL); BEGIN IF (A>1) AND (B=0) THEN X:=X/A IF (A=2) OR (X>1) THEN X:=X+1 END;,语句覆盖,为了暴露程序中的错误，至少每个语句应该执行一次。语句覆盖的含义是，选择足够多的测试数据，使被测程序中每个语句至少执行一次。,语句覆盖,只需设计一个测试用例:输入数据：A=2，B=0，X=4即达到了语句覆盖;语句覆盖是最弱的逻辑覆盖,语句覆盖,判定覆盖,判定覆盖又叫分支覆盖，它的含义是，不仅每个语句必须至少执行一次，而且每个判定的每种可能的结果都应该至少执行一次，也就是每个判定的每个分支都至少执行一次。,判定覆盖,开始,(A>1) AND (B=0),(A=2) OR (X>1),返回,X=X/A,X=X+1,F,F,T,T,a,b,d,c,e,例:可设计两组测试用例:A=3，B=0 ，X=3 可覆盖c、d分支 A=2，B=1 ，X=1 可覆盖b、e分支 两组测试用例可覆盖所有判定的真假分支语句覆盖仍是弱的逻辑覆盖,判定覆盖,条件覆盖,条件覆盖的含义是，不仅每个语句至少执行一次，而且使判定表达式中的每个条件都取到各种可能的结果。,第一判定表达式:设条件 A>1 取真 记为 T1 假 T1 条件 B=1 取真 记为 T2 假 T2第二判定表达式:设条件 A=2 取真 记为 T3 假 T3 条件 X>1 取真 记为 T4 假 T4,条件覆盖,开始,(A>1) AND (B=0),(A=2) OR (X>1),返回,X=X/A,X=X+1,F,F,T,T,a,b,d,c,e,满足条件: T1,T1, T2,T2 T3,T3 T4,T4,测试用例 通过 满足的 覆盖A B X 路径 条件 分支1 0 3 abe T1,T2,T3,T4 b,e2 1 1 abe T1,T2,T3,T4 b,e 两个测试用例覆盖了四个条件八种可能取值。未覆盖c、d分支，不满足判定覆盖的要求.条件覆盖不一定包含判定覆盖判定覆盖也不一定包含条件覆盖,判定/条件覆盖,它的含义是，选取足够多的测试数据，使得判定表达式中的每个条件都取到各种可能的值，而且每个判定表达式也都取到各种可能的结果。,判定/条件 覆盖,开始,(A>1) AND (B=0),(A=2) OR (X>1),返回,X=X/A,X=X+1,F,F,T,T,a,b,d,c,e,满足条件: T1,T1, T2,T2 T3,T3 T4,T4,测试用例 通过 满足的 覆盖A B X 路径 条件 分支2 0 4 ace T1,T2,T3,T4 c,e2 1 1 abd T1,T2,T3,T4 b,d 能同时满足判定、条件两种覆盖标准。取值。,测试用例 通过 满足的 覆盖A B X 路径 条件 分支2 0 3 ace T1,T2,T3,T4 c,e2 1 1 abe T1,T2,T3,T4 b,e1 0 3 abe T1,T2,T3,T4 b,e1 1 1 abd T1,T2,T3,T4 b,d,条件组合覆盖,条件组合覆盖是更强的逻辑覆盖标准，它要求选取足够多的测试数据，使得每个判定表达式中条件的各种可能组合都至少出现一次。,(5)条件组合覆盖 所有可能的条件取值组合至少执行一次 A>1, B=0 A>1, B0 A1, B=0 A1, B0 A=2, X>1 A=2, X1 A2, X>1 A2, X1,