软件工程的测试.ppt

等价分类法步骤等价分类法步骤应按照输入条件（如输入值的范围，值的个数，值的集合，输入条件必须如何）划分为有效等价类和无效等价类。例如：每个学生可选修1-3门课程可以划分一个有效等价类：选修1-3门课程。可以划分两个无效等价类：未选修课，选修课超过3门。又如：标识符的第一个字符必须是字母。可以划分为一个有效等价类：第一个字符是字母。可以划分一个无效等价类：第一个字符不是字母。①划分“等价类” A、为每个等价类编号；B、使一个测试用例尽可能覆盖多个有效等价类C、特别要注意的是：一个测试用例只能覆盖一个无效等价类。②选择测试用例6.2软件测试的方法2、边值分析法基本思想：选择等价类的边缘值作为测试用例，让每个等价类的边界都得到测试，选择测试用例既考虑输入亦考虑输出。分析步骤： A、先划分等价类。 B、选择测试用例，测试等价类边界。边界选择原则： A、按照输入值范围的边界。 B、按照输入/输出值个数的边界。 C、输出值域的边界。 D、输入/输出有序集的边界。6.2软件测试的方法边值分析法举例：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、输入/输出有序集（如顺序文件、线性表）的边界。应选择第一个元素和最后一个元素。错误推测法凭经验或直觉推测可能的错误，列出程序中可能有的错误和容易发生错误的特殊情况，选择测试用例。因果图法（causeeffcetgraphicei）把输入条件视为“因”，把输出条件视为“果”，将黑盒看成是从因到果的网络图，采用逻辑图的形式来表达功能说明书中输入条件的各种组合与输出的关系。根据这种关系可选择高效的测试用例。因果图是一种形式化语言，是一种组合逻辑。01026.2软件测试的方法6.2软件测试的方法⑴因果图的基本符号: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。abababd∨abd∧6.2软件测试的方法对“与”、“或”函数的限制符号E约束（异）—排斥即a、b不能同时为1。I约束（或）—包容a、b、c不能同时为0。O约束（唯一）—选一a、b中仅有一个为1。R约束（要求）—需要a为1时，b必须为1M约束（强制）—屏蔽若a为1时，则b强制为1。abEabcIabRabOabM因果图法的步骤分析规范，即将问题分为若干可工作的步骤。标识出规范中的原因与结果。原因—输入条件结果—输出或系统变换123654将判断表的每一列，转换为一个测试用例。将因果图转换为有限项判断表。分析规范语义、内容，转换为因果图6.2软件测试的方法6.2软件测试的方法⑶因果图法应用举例规范：文件名第一列字符必须为A或B，第二列字符必须为数字。满足则修改文件。第一字符不正确发出信息X12，第二个字符不正确发出信息X13。①、分析规范 原因 结果1—第一列字符为A 50—修改文件2—第一列字符为B 51—发信息X123—第二列字符为数字 52—发信息X136.2软件测试的方法②画出因果图中间结点 是导出结果的进一步原因。 考虑到原因1、2不可能同时为1，加上E约束。1111∨5150352∧12E发X12发X13修改文件6.2软件测试的方法将因果图转换为判断表1151505212345678条件原因①11110000②11001100③10101010111100动作结果000011101000010101测试用例A3A8AMA？B5B4BNB！C2X6DYPI6.3软件测试步骤测试步骤及策略所有测试过程都应采用