%0 Journal Article %T SPARDL based model-code conformance testing
基于SPARDL的模型和程序一致性测试 %A CHEN Yu-xiang %A PU Ge-guang %A QI Yan-xi %A CHEN Ming-song %A WANG Zheng %A CHEN Chao-hui %A GU Bin %A
陈玉祥 %A 蒲戈光 %A 綦艳霞 %A 陈铭松 %A 王 政 %A 陈朝晖 %A 顾 斌 %J 计算机应用研究 %D 2013 %I %X 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. %K 时序一致性 %K SPARDL %K 一致性测试 %K 接受检测 %K 覆盖检测 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=57319E4289F4438F5F9C79669DDF1F1C&yid=FF7AA908D58E97FA&vid=340AC2BF8E7AB4FD&iid=38B194292C032A66&sid=872F6C582A30BA57&eid=4198A31627C9B2A6&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=15