第06章软件工程的测试.pptVIP

1、等价分类法 基本思想：根据程序的I/O特性，将程序的定义域划分为有限个等价区段 —“等价类”，从等价类中选择出的用例，具有“代表性”。 等价类分为： 有效等价类 — 对于程序的规格说明是合理的、有意义的输入数据构成的集合。 无效等价类 —对于程序的规格说明，是不合理的，是没有意义的输入数据构成的集合。 6.2 软件测试的方法 第28页，共76页，编辑于2022年，星期五 等价分类法步骤 应按照输入条件（如输入值的范围，值的个数，值的集合，输入条件必须如何）划分为有效等价类和无效等价类。 例如：每个学生可选修1-3门课程 可以划分一个有效等价类：选修1-3门课程。 可以划分两个无效等价类：未选修课，选修课超过3门。 又如：标识符的第一个字符必须是字母。 可以划分为一个有效等价类：第一个字符是字母。 可以划分一个无效等价类：第一个字符不是字母。 ① 划分“等价类” 　　　 A、为每个等价类编号； B、使一个测试用例尽可能覆盖多个有效等价类 C、特别要注意的是：一个测试用例只能覆盖一个无效等价类。 ② 选择测试用例 等价分类法步骤 第29页，共76页，编辑于2022年，星期五 2、边值分析法 基本思想： 选择等价类的边缘值作为测试用例，让每个等价类的边界都得到测试，选择测试用例既考虑输入亦考虑输出。 分析步骤： A、先划分等价类。 B、选择测试用例，测试等价类边界。 边界选择原则： A、按照输入值范围的边界。 B、按照输入/输出值个数的边界。 C、输出值域的边界。 D、输入/输出有序集的边界。 6.2 软件测试的方法 第30页，共76页，编辑于2022年，星期五 边值分析法举例： A、按照输入值范围的边界。 例如：输入值的范围是-1.0至1.0，则可选择用例 –1.0、1.0、-1.001、1.001。 B、按照输入/输出值个数的边界。 例如：输入文件可有1-255个记录，则 设计用例：文件的记录数为 0个、1个、255个、256个。 C、输出值域的边界。 例如：检索文献摘要，最多4篇。设计用例：可检索0篇、1篇、4篇，和5篇（错误）。 D、输入/输出有序集（如顺序文件、线性表）的边界。 应选择第一个元素和最后一个元素。 6.2 软件测试的方法 第31页，共76页，编辑于2022年，星期五 3、错误推测法 凭经验或直觉推测可能的错误，列出程序中可能有的错误和容易发生错误的特殊情况，选择测试用例。 4、因果图法（cause effcet graphicei） 把输入条件视为“因”，把输出条件视为“果”，将黑盒看成是从因到果的网络图，采用逻辑图的形式来表达功能说明书中输入条件的各种组合与输出的关系。根据这种关系可选择高效的测试用例。因果图是一种形式化语言，是一种组合逻辑。 6.2 软件测试的方法 第32页，共76页，编辑于2022年，星期五 ⑴ 因果图的基本符号: 0 - 表示“不出现”,1 - 表示“出现” 恒等:若a为1，则b为1，否则b为0。 “非”函数 :若a为1，则b为0，否则b为1。 “或”函数:若a或b为1，则d为1，否则d为0。 “与”函数:若a与b同为1，则d为1，否则d为0。 a b a b a b d ∨ a b d ∧ 6.2 软件测试的方法 第33页，共76页，编辑于2022年，星期五 对“与”、“或”函数的限制符号 E约束（异）— 排斥 即a、b不能同时为1。 I约束（或）— 包容 a、b、c不能同时为0。 O约束（唯一）— 选一 a、b中仅有一个为1。 R约束（要求）— 需要 a为1时，b必须为1 M约束（强制）— 屏蔽 若a为1时，则b强制为1。 a b E a b c I a b R a b O a b M 6.2 软件测试的方法 第34页，共76页，编辑于2022年，星期五 ⑵ 因果图法的步骤 分析规范，即将问题分为若干可工作的步骤。 标识出规范中的原因与结果。 原因—输入条件 结果—输出或系统变换 分析规范语义、内容，转换为因果图 将因果图转换为有限项判断表。 将判断表的每一列，转换为一个测试用例。 6.2 软件测试的方法 第35页，共76页，编辑于2022年，星期五 ⑶ 因果图法应用举例 规范：文件名第一列字符必须为A或B，第二列字 符必须为数字。满足则修改文件。第一字符不正 确发出信息X12，第二个字符不正确发出信息X13。 ①、分析规范 原 因 结 果 1 — 第一列字符为A 50—修改文件 2 — 第一列字符为B 51—发信息X12 3 — 第二列字符为数字 52—发信息X13 6.2 软件测试的方法 第36页，共76