Automated Generation of Integration Test Sequences from Logical Contracts
Automated Generation of Integration Test Sequences from Logical Contracts
复制标题
从逻辑契约自动生成集成测试序列
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Manghui Tu
中科院分区：
文献类型：
--
作者：
Dianxiang Xu;Weifeng Xu;Manghui Tu
本文利用逻辑合同（即，前置条件和后置条件）来自动生成集成测试。该方法将基于契约的测试模型转化为可操作的测试模型，从而可以分析测试模型的正确性，生成满足测试模型覆盖率要求的集成测试。这种方法已在MISTA中实现，MISTA是一种用于自动生成可执行测试的工具。MISTA允许以多种编程语言（例如，Java、C、C++、C#和PHP）和测试执行环境。我们已经评估了基于合同的测试模型，通过故障注入的故障检测能力。结果表明，基于合同的测试可以非常有效的故障检测和鲁棒性测试的情况下，打破合同是至关重要的，以发现故障相关的组件交互。
This paper exploits logical contracts (i.e., Preconditions and post conditions) to automatically generate integration tests. The approach transforms a contract-based test model into an operational model, which makes it feasible to analyze correctness of the test model and generate integration tests to meet coverage criteria of the test model. This approach has been implemented in MISTA, a tool for automated generation of executable tests. MISTA allows executable test code to be generated in a rich variety of programming languages (e.g., Java, C, C++, C#, and PHP) and test execution environments. We have evaluated the fault-detection capability of contract-based test models through fault injection. The results show that contract-based tests can be highly effective in fault detection and that robustness tests targeting the situations of broken contracts are critical to finding faults related to component interactions.