SPARDL based model-code conformance testing
基于SPARDL的模型和程序一致性测试

Focusing on temporal conformance of periodic control systems, this paper proposed a testing method based on SPARDL for model-code conformance testing. It generated the mode diagram and control flow graph by mode extraction, and produced the program execution traces by program intrumentation. It also presented a algorithm to automatically check the consistency 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.