低 effort 规格调试与分析

反应式合成涉及从规格说明自动构建反应式系统的实现。为了使该方法在实践中可行，系统工程师需要有效且高效的手段来调试这些规格说明。在本文中，我们提供了基于报告的规格调试技术，其中分析规格说明的显著属性，并将结果以报告形式呈现给用户。这提供了一种低 effort 的规格调试方法，是对包括合成实现仿真在内的高 effort 技术的补充。我们通过提供广义反应性 (1) 合成背景下的示例，展示了我们基于报告的规格调试工具包的实用性。