2. 计算机
  3. 条件测试是检查程序模块中所包含逻辑条件的测试用例设计方法，注重于测试程序中的条件。BRO(Branch and Relational Operator)测试保证能发现布尔变量和关系操作符只出现一次且没有公共变量的条件中的分支和条件操作符错误。考虑条件C1：

条件测试是检查程序模块中所包含逻辑条件的测试用例设计方法，注重于测试程序中的条件。BRO(Branch and Relational Operator)测试保证能发现布尔变量和关系操作符只出现一次且没有公共变量的条件中的分支和条件操作符错误。考虑条件C1：

admin2018-04-25  25
问题 条件测试是检查程序模块中所包含逻辑条件的测试用例设计方法，注重于测试程序中的条件。BRO(Branch and Relational Operator)测试保证能发现布尔变量和关系操作符只出现一次且没有公共变量的条件中的分支和条件操作符错误。考虑条件C1：(E1＞E2) &(E3＜E4)，其中E1，E2，E3，E4是数学表达式，“&”表示逻辑“与”，“＞”和“=”是关系运算符，则C1的条件约束至少为(26)时，就可以检查C1中的关系操作符错误。
选项 A、{(＞，=)，(＞，＞)，(＞，＜)，(＞，＜)，(=，＜)}
B、{(＜，＜)，(＜，=)，(＜，＞)，(=，＜)，(=，=)，(=，＞)，(＞，＜)，(＞，=)，(＞，＞)}
C、{(＞，＜)，(=，＜)，(＞，=)}
D、{(＞，＜)，(=，＜)，(＞，=)，(＜，＜)}
答案A
解析 条件测试是检查程序模块中所包含逻辑条件的测试用例设计方法，注重于测试程序冲的条件。BRO(Branch and Relational Operator)测试保证能发现布尔变量和关系操作符只出现一次且没有公共变量的条件中的分支和条件操作符错误。BRO策略利用条件C的条件约束。有n个简单条件的条件C的条件约束定义为(D1，D2，…，Dn)，其中 Di(0＜i≤n)表示条件C中第i个简单条件的输出约束。如果C的执行过程中C的每个简单条件的输出都满足D中对应的约束，则称条件C的条件约束D由C的执行所覆盖。对于本题，C1：(E1＞E2)&(E3＜E4)，对于布尔变量B，B输出的约束说明B必须是真(t)或假(f)。类似地，对于关系表达式，符号＜、=、＞用于指定表达式输出的约束。根据BRO的定义，“&”关系的约束为{(t，f)，(t，t)，(f，t)}，只需要用(＞，=)，(＞，＞)替换(t，f)，用(＞，＜)替换(t，t)，并用(＜，＜)，(=，＜)替换(f，t)，就得到C1的约束集{(＞，=)，(＞，＞)，(＞，＜)，(＜，＜)，(=，＜))。因此本题应该选A。
转载请注明原文地址:https://jikaoti.com/ti/wGJ7FFFM
本试题收录于： 系统分析师上午综合知识考试题库软考高级分类
0

系统分析师上午综合知识考试

软考高级

相关试题推荐
随机试题
最新回复(0)