论文标题
测试工业控制系统的两相变质方法
A Two-phase Metamorphic Approach for Testing Industrial Control Systems
论文作者
论文摘要
我们详细介绍了用于测试工业控制系统的变质方法。所提出的方法包括两个阶段：一个探索阶段，在该阶段中，我们了解了正在测试的系统的故障模式和一个剥削阶段，其中观察到的故障模式用于靶向测试。我们的方法从其要求中提取了系统的变质关系和输入空间。用于测试的种子输入是从系统的执行日志中提取的，用于自动生成源测试和后续测试。成形输入是根据种子输入构建的，并使用一组约束进行完善。该方法在位置控制系统上举例说明了，结果表明，它在发现自动化水平升高的情况下有效地发现故障。
We elaborate on a metamorphic approach for testing industrial control systems. The proposed approach consists of two phases: an exploration phase in which we learn about fault patterns of the system under test and an exploitation phase where the observed fault patterns are used for targeted testing. Our method extracts metamorphic relations and input space of the system from its requirements. The seed input used for testing is extracted from the execution logs of the system and used to generate source tests and follow-up tests automatically. The morphed input is constructed based on the seed input and refined using a set of constraints. The approach is exemplified on a position control system and the results show that it is effective in discovering faults with an increased level of automation.
