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

• 作者: 梁昊 沈怀荣 艾云峰 赵永超 陈丽容
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 多重中断 迁移 状态 数据竞争 原子性违背 偏序化简
• 年，卷（期）: 2015,（7）
• 所属期刊栏目: 软件与算法
• 页码范围: 1813-1819
• 页数: 7页
• 分类号: TP311.5
• 字数: 5115字
• 语种: 中文
• DOI: 10.16208/j.issn1000-7024.2015.07.026

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈怀荣	装备学院航天装备系	27	102	6.0	9.0
2	艾云峰	中国科学院大学工程管理与信息技术学院	12	33	3.0	5.0
3	赵永超	国防大学作战与指挥训练教研部	3	2	1.0	1.0