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

Designing of dynamic testing tool for control system program with multiple interrupts

作　　者：梁昊[1,2] 艾云峰[3] 陈丽容[2] 沈怀荣 赵永超[5] 

机构地区：[1]装备学院研究生管理大队,北京101416 [2]中国航天科工集团第二研究院706所,北京100854 [3]中国科学院大学工程管理与信息技术学院,北京100049 [4]装备学院航天装备系,北京101416 [5]国防大学作战与指挥训练教研部,北京100091

出　　处：《计算机工程与设计》2015年第7期1813-1819,共7页Computer Engineering and Design

摘　　要：为解决控制系统软件中多重中断导致的系统不稳定性和难以预测性,根据控制系统并发程序的具体特点,设计面向多重中断并发程序的测试工具。测试工具主要包括程序分析器、程序插装器、控制执行器、中断发生器4个部分。采用动态验证的测试方式,以动态偏序化简算法为基础,引入中断处理机制和sleep集合,将该算法应用于多重中断并发程序的动态监测工具中。该工具可以对原子性违背、数据竞争者两种常见的多重中断并发错误进行有效检测。To solve the problem of instability and unpredictability caused by multiple interrupts program to control system.The concurrent programs testing tool were designed according to the specific characteristics of control system concurrent programs.The testing tool contained program analyzer,program instrument,scheduler,and interrupts generator.Dynamic testing method and DPOR algorithm were used and the sleep set and interrupts processing mechanism were introduced to improve the detecting efficiency.Two common errors in multiple interrupts program can be solved effectively.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]