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

SPARDL based model-code conformance testing

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

Focusing on temporal conformance of periodic control systems, this paper proposed a testing method based on SP- ARDL for model-code conformance testing. It generated the mode diagram and control flow graph by mode extraction, and pro- duced the program execution traces by program intrumentation. It also presented a algorithm to automatically check the consis- tency about mode transition and module calling inperiodic control systems. And it presented another algorithm to do coverage checking based on mode diagram and control flow graph and guide test case generation. Finally, it checked acasestudy about a specificperiodic control system by the proposed approch and it shows the effectiveness of this approach in industry.