基于SPARDL的模型和程序一致性测试

• 作者: 王政 綦艳霞 蒲戈光 陈朝晖 陈玉祥 陈铭松 顾斌
• 来源期刊: 计算机应用研究
• 关键词: 时序一致性 SPARDL 一致性测试 接受检测 覆盖检测
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 软件技术研究
• 页码范围: 787-791
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.03.037

摘要

针对周期控制系统的时序一致性进行研究, 提出基于SPARDL(space aircraft description language)的模型和程序一致性测试方法, 通过模型抽取获取模式迁移图和控制流程图, 通过程序插桩获取程序执行路径, 实现了自动检测周期控制系统中的模式迁移和模块调用的一致性, 给出了基于模式迁移图和控制流程图的覆盖检测并用于指导程序测试用例的生成。结合具体的周期控制系统, 验证了一致性测试方法在实际工程中的有效性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈朝晖		20	32	3.0	5.0
2	顾斌		19	85	6.0	8.0
3	綦艳霞		5	26	2.0	5.0
4	蒲戈光	华东师范大学软件学院	7	27	3.0	5.0
5	陈铭松	华东师范大学软件学院	4	1	1.0	1.0
6	陈玉祥	华东师范大学软件学院	1	0	0.0	0.0
7	王政	华东师范大学软件学院	2	9	1.0	2.0