运算符，则 C1 的条件约束至少为（26）时，就可以检查 C1 中的关系操作符错误。
(26)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， f），（f， t）}，只需要用
（>， =），（>， >）替换（t， f），用（>， <）替换（t， t），并用（<， <），（=， <）替换
〔f， t）就得到 C，的约束集{（>， =），（>， >），（>， <），（<， <），（=， <）}。因此
本题应该选 A。
通俗一点来说，条件测试的意图是测试条件运算符有没有写错。其选择测试用例的方式，
有点类似等价类的划分。
选项中的“(>， =)”，意思是我选一个满足第一个条件为大于，第二个条件为等于的测
试用例。
例如：E1，E2，E3，E4 分别为：2，1，3，3。此时，正常情况下，C1 的值为 F。但如
果程序员错把原来的式子中第二个条件符号，由<写成了<=,>=或=时，C1 会为 T。这就能测
试出这一类出错的情况。
依此类推，后面的几个分别能测试出不同情况下产生的错误。
软件风险是指在软件开发过程中面临的一些不确定性和可能造成的损失。软件风险大致
剩余49页未读，继续阅读
ZCS0911
- 粉丝: 0
- 资源: 4
我的内容管理
展开
最新资源
- C语言快速排序算法的实现与应用
- KityFormula 编辑器压缩包功能解析
- 离线搭建Kubernetes 1.17.0集群教程与资源包分享
- Java毕业设计教学平台完整教程与源码
- 综合数据集汇总：浏览记录与市场研究分析
- STM32智能家居控制系统：创新设计与无线通讯
- 深入浅出C++20标准：四大新特性解析
- Real-ESRGAN: 开源项目提升图像超分辨率技术
- 植物大战僵尸杂交版v2.0.88：新元素新挑战
- 掌握数据分析核心模型，预测未来不是梦
- Android平台蓝牙HC-06/08模块数据交互技巧
- Python源码分享：计算100至200之间的所有素数
- 免费视频修复利器：Digital Video Repair
- Chrome浏览器新版本Adblock Plus插件发布
- GifSplitter：Linux下GIF转BMP的核心工具
- Vue.js开发教程：全面学习资源指南
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
