论文标题
黑盒反应系统的基于需求的自动化测试
Automated Requirements-Based Testing of Black-Box Reactive Systems
论文作者
论文摘要
我们提出了一种新方法来符合黑盒反应性系统的测试。我们将写入的系统规格视为线性时间逻辑公式，以生成测试作为输入/输出对的序列：从与规格相对应的BUCHI自动机中提取输入，并通过向系统输入输入来获得输出。通过将输入/输出序列与自动机跟踪进行比较以检测违规规格来检查一致性。我们考虑了提取测试和停止生成的几个标准，并使用覆盖范围和错误检测指标对其进行比较。结果表明，我们的方法可以生成具有良好系统覆盖范围和错误检测能力的测试套件。
We present a new approach to conformance testing of black-box reactive systems. We consider system specifications written as linear temporal logic formulas to generate tests as sequences of input/output pairs: inputs are extracted from the Buchi automata corresponding to the specifications, and outputs are obtained by feeding the inputs to the systems. Conformance is checked by comparing input/output sequences with automata traces to detect violations of the specifications. We consider several criteria for extracting tests and for stopping generation, and we compare them experimentally using both indicators of coverage and error-detection. The results show that our methodology can generate test suites with good system coverage and error-detection capability.
