针对控制系统软件中多重中断引发的系统不稳定性和不可预测性问题，该文提出了一种面向多重中断并发程序的测试工具。该工具由程序分析器、程序插装器、控制执行器和中断发生器组成，采用动态验证方法，基于动态偏序化简算法，并结合中断处理机制和集合，用于检测多重中断并发程序中的原子性违背和数据竞争错误。
控制系统多重中断并发程序测试动态工具设计.pdf
２０１５ 年 ７ 月 计算机工程与设计 ２０１５
第 ３６ 卷 第 ７ 期 Ｊｕｌｙ.３６ .７
ＣＯＭ ＰＵ ＴＥＲ ＥＮＧＩＮＥＥＲＩＮＧ ＡＮＤ ＤＥＳＩＧＮ Ｖｏｌ Ｎｏ
控制系统多重中断并发程序测试动态工具设计
梁 昊１ ，２ ， 艾云峰３ ，陈丽容２ ，沈怀荣４ ，赵永超５
(１ ． 装备学院 研究生管理大队 ， 北京 １０１４１６ ； ２ ． 中国航天科工集团第二研究院 ７０６ 所 ， 北京 １００８５４ ；
３ ． 中国科学院大学 工程管理与信息技术学院 ，北京 １０００４９ ； ４ ． 装备学院 航天装备系 ， 北京 １０１４１６ ；
５ ． 国防大学 作战与指挥训练教研部 ， 北京 １０００９１)
摘 要 ： 为解决控制系统软件中多重中断导致的系统不稳定性和难以预测性 ， 根据控制系统并发程序的具体特点 ， 设计面
向多重中断并发程序的测试工具 。 测试工具主要包括程序分析器 、 程序插装器 、 控制执行器 、 中断发生器 ４ 个部分 。 采用
动态验证的测试方式 ， 以动态偏序化简算法为基础 ， 引入中断处理机制和 集合 ， 将该算法应用于多重中断并发程序
ｓｌｅｅｐ
的动态监测工具中 。 该工具可以对原子性违背 、 数据竞争者两种常见的多重中断并发错误进行有效检测 。
关键词 ： 多重中断 ； 迁移 ； 状态 ；数据竞争 ；原子性违背 ； 偏序化简
中图法分类号 ： ３１１.５ 文献标识号 ： 文章编号 ：１０００‐７０２４ (２０１５) ０７‐１８１３‐０７
Ｔ Ｐ Ａ
ｄｏｉ ：１０.１６２０８／. １０００‐７０２４.２０１５.０７.０２６
ｊ ｉｓｓｎ
Ｄｅｓｉｇｎｉｎｇ ｏｆ ｄｙｎａｍｉｃ ｔｅｓｔｉｎｇ ｔｏｏｌ ｆｏｒ ｃｏｎｔｒｏｌ ｓｙｓｔｅｍ ｐｒｏｇｒａｍ
ｗｉｔｈ ｍｕｌｔｉｐｌｅ ｉｎｔｅｒｒｕｐｔｓ
１ ，２ ， ‐ ３ ， ‐ ２ ， ‐ ４ ， ‐ ５
ＬＩＡＮＧ Ｈａｏ ＡＩ Ｙｕｎ ｆｅｎｇ ＣＨＥＮ Ｌｉ ｒｏｎｇ ＳＨＥＮ Ｈｕａｉ ｒｏｎｇ ＺＨＡＯ Ｙｏｎｇ ｃｈａｏ
(１ ． ， ， １０１４１６ ， ；２ ． ７０６ ，
Ｃｏｍｐａｎｙ ｏｆ Ｐｏｓｔｇｒａｄｕａｔｅ
扫一扫
9011
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
