testing - BOR 与 BRO 谓词测试

Question

所以现在我正在研究使用 AST 的 BOR-CSET 约束集和 BRO 约束集。我读了这本书，在网上看了，但我还是不太明白它们之间的区别，它们对我来说似乎是一样的，谁能更清楚地解释它们之间的区别是什么？

Answer 1

您有一些由关系运算符组成的谓词：

• > 大于
• < 小于
• = 等于

并且还由布尔运算符组成：

• 和
• 或者
• 不是

并且您想执行测试以查看谓词是否产生正确的结果。与其将数字和真/假输入的所有可能组合放入谓词中并检查每个答案（可能是无限数量的输入），不如开发一组测试输入，以保证检测到谓词中的任何错误. 如果测试输入没有显示任何问题，那么您可以确定您的谓词按预期工作。

一组BOR测试将检测您是否因使用错误的布尔运算符而犯了一些错误（例如，当您真正需要 AND 时，您输入了 OR）。BRO集将检测您何时使用了错误的布尔运算符以及何时使用了错误的关系运算符（例如，您在真正需要小于号的地方使用了大于号）。