VXWORKS系统并发程序动态测试工具设计

• 作者: 梁昊 沈怀荣 艾云峰 赵永超
• 来源期刊: 软件工程与应用
• 学科: 工学
• 关键词: 实时嵌入式系统 并发程序 多重中断 多线程 并发错误
• 年，卷（期）: 2014,（3）
• 页码范围: 86-96
• 页数: 11页
• 分类号: TP3

摘要

近年来随着实时嵌入式系统自动化程度的不断提升,其设计复杂度不断加大,在设计中大量的使用了并发程序设计方法。但在实时嵌入式系统测试的过程中,由于实时嵌入式系统中中断和线程相互交叠,始终缺乏有效的并发程序测试工具。为此本文设计了针对VXWORKS系统并发程序动态测试工具,提出以标记迁移系统作为并发程序的系统模型,对常见的并发错误给出了形式化定义,使用偏序化简算法缩减程序的状态空间,实现了对多线程、多重中断的并发程序错误检测。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈怀荣		27	102	6.0	9.0
2	艾云峰	中国科学院大学	12	33	3.0	5.0
3	梁昊		1	0	0.0	0.0
4	赵永超		3	2	1.0	1.0