BOR与BRO谓词测试

Question

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

Answer 1

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

• Greater than
• <小于
• =等于

也由布尔运算符组成：

• AND
• OR
• NOT

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

BOR测试集将检测您是否使用了错误的布尔运算符(例如，当您确实需要AND时放入OR )。当你使用了错误的布尔运算符，以及你使用了错误的关系运算符(例如，你在某些地方使用了一个大于号，而你确实需要一个小于号)，BRO集将会检测到。