控制系统多重中断并发程序测试动态工具设计

摘要：

为解决控制系统软件中多重中断导致的系统不稳定性和难以预测性，根据控制系统并发程序的具体特点，设计面向多重中断并发程序的测试工具。测试工具主要包括程序分析器、程序插装器、控制执行器、中断发生器4个部分。采用动态验证的测试方式，以动态偏序化简算法为基础，引入中断处理机制和 sleep集合，将该算法应用于多重中断并发程序的动态监测工具中。该工具可以对原子性违背、数据竞争者两种常见的多重中断并发错误进行有效检测。

关键词：多重中断、迁移、状态、数据竞争、原子性违背、偏序化简

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2015-08-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1813-1819