Tyche：理解基于属性的测试有效性

视频

DOI

软件开发者越来越多地依赖自动化方法来评估代码的正确性。其中一种方法是属性基测试（PBT），测试工具生成数百或数千个输入，并使用参数化属性检查程序在这些输入上的输出。虽然功能强大，但PBT引发了相当大的评估鸿沟：开发者需要付出大量努力来理解不同测试输入对被测软件的测试效果。为了弥合这一鸿沟，我们提出了Tyche，一个支持属性基测试有效性理解的用户界面。通过形成性设计探索，Tyche的设计为开发者提供与现代开发者测试工作流紧密集成的测试行为交互式、可配置视图。这些视图帮助开发者探索全局测试行为和单个测试输入。为加速开发强大的交互式PBT工具，我们定义了PBT测试报告标准并将其与广泛使用的PBT库集成。一项自导式在线可用性研究显示，Tyche的可视化帮助开发者更准确地评估软件测试有效性。