软件测试

输入条件的约束有以下4类：A.A.输入条件的约束有以下

a和b中至多有一个可能为1，即a和b不能同时为1。①E约束（异）：约束（异）：aa、b和c中至少有一个必须是1，即a、b和c不能同时为0。②I约束（或）：约束（或）：aa和b必须有一个，且仅有1个为1。③O约束（唯一）；约束（唯一）；a

④R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。约束（要求）：a时，b输出条件约束类型B.B.输出条件约束类型

输出条件的约束只有M约束（强制）：若结果a是1，则结果b强制为0。5.采用因果图法设计测试用例的步骤：

分析软件规格说明描述中,那些是原因(即输入条件或输入条件的等价类),那些是结果(即输出条1)1)分析软件规格说明描述中分析软件规格说明描述中,那些是原因(即输入条件或输入条件的等价类),),那些是结果那些是结果(

件),并给每个原因和结果赋予一个标识符。

分析软件规格说明描述中的语义，找出原因与结果之间,原因与原因之间对应的关系，根据这些2)2)分析软件规格说明描述中的语义，找出原因与结果之间分析软件规格说明描述中的语义，找出原因与结果之间,

关系,画出因果图。关系,

由于语法或环境限制,有些原因与原因之间,原因与结果之间的组合情况不可能出现，为表明这些3)3)由于语法或环境限制由于语法或环境限制,有些原因与原因之间,原因与结果之间的组合情况不可能出现，

,在因果图上用一些记号表明约束或限制条件。特殊情况特殊情况,

把因果图转换为判定表。4)4)把因果图转换为判定表。

把判定表的每一列拿出来作为依据,设计测试用例。5)5)把判定表的每一列拿出来作为依据把判定表的每一列拿出来作为依据,

二.实战演习

：第一列字符必须是A或B，第二列字符必须是一个数字，在此1.某软件规格说明书包含这样的要求某软件规格说明书包含这样的要求：第二列字符必须是一个数字，

情况下进行文件的修改，但如果第一列字符不正确，则给出信息L；如果第二列字符不是数字，；如果第二列字符不是数字，则给出信息M。解答：

1)根据题意，原因和结果如下：

原因：

第一列字符是A；1————第一列字符是2——第一列字符是B；——第一列字符是

第二列字符是一数字。3————第二列字符是一数字。结果：