软件工程——共同演进的方法与实践作者田文洪第七章测试技术课件.pptVIP

什么样的状态信息？ 在什么地方，通过什么样的方式提供？ 什么情况下显示？ 显示多长时间？ 例如，Pascal语言规定 “一个语句必须以分号‘;’结束”。这时，可以确定一个有效等价类 “以‘;’结束”，若干个无效等价类 “以‘:’结束”、“以‘,’结束”、“以‘ ’结束”、“以LF结束”等。 确立测试用例在确立了等价类之后，建立等价类表，列出所有划分出的等价类。 再从划分出的等价类中按以下原则选择测试用例：(1) 为每一个等价类规定一个唯一编号；(2) 设计一个新的测试用例，使其尽可能多地覆盖尚未被覆盖的有效等价类，重复这一步，直到所有的有效等价类都被覆盖为止；（3）设计一个新的测试用例，使其仅覆盖一个尚未被覆盖的无效等价类，重复这一步，直到所有的无效等价类都被覆盖为止。  用等价类划分法设计测试用例的实例在某一PASCAL语言版本中规定：“标识符是由字母开头，后跟字母或数字的任意组合构成。有效字符数为8个，最大字符数为80个。” 并且规定：“标识符必须先说明，再使用。” “在同一说明语句中，标识符至少必须有一个。” 用等价类划分的方法，建立输入等价类表: 下面选取了9个测试用例，它们覆盖了所有的等价类。① VAR x，T1234567：REAL； BEGIN x := 3.414； T1234