testing - BOR 与 BRO 谓词测试

Question

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

Answer 1

你有一些由关系运算符组成的谓词:

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

也由 bool 运算符组成:

• 和
• 或
• 没有

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

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