探索测试套件质量与自动规约推断之间的联系

尽管没有人怀疑正确且完整的规约的重要性，但许多工业系统仍然没有编写正式的规约——即使有，也很难检查其正确性和完整性。这项工作探索了使用诸如 Daikon 之类的不变式提取工具从可用测试套件中自动推断规约的可能性，旨在通过提供一个可比较的版本来帮助软件工程师改进规约。鉴于我们最初的实验并未产生令人满意的结果，在本文中，我们探索了哪些测试套件属性会影响推断出的规约的质量。经过进一步研究，我们发现指令覆盖、分支覆盖和方法覆盖与高召回率值相关，最高可达 97.93%。