电子学报Issue(11)：2276-2284,9.DOI:10.3969/j.issn.0372-2112.2013.11.026
一种符号化执行的实时系统一致性测试生成方法
A Symbolic Execution Method for Conformance Test Generation of Real-Time System
摘要
Abstract
Conformance test is performed to verify and validate the correctness of a system implementa-tion .In view of eas-ily causing the problem of state space explosion ,and due to time constraint in data processing for real-time system ,a symbolic test generation method is proposed .Firstly ,symbolic transition systems and timed automata are extended to establish a semantic model TSIOSTS ,based on which an extension of timed conformance relation tioco is defined .Then ,with tioco and the symbolic execution strategy ,a symbolic timed behavior tree of the system model under test is yielded and transformed into test cases .Finally ,the pro-posed method is applied to conformance test of temporary speed restriction server of the CTCS-3 train control system ,and the results present feasibility and validity of the method .关键词
实时系统/一致性测试/时间安全输入输出符号变迁系统/符号执行/测试用例生成Key words
real-time system/conformance test/time safety input-output symbolic transition system/symbolic test genera-tion/test case generation分类
信息技术与安全科学引用本文复制引用
万勇兵,徐中伟,梅萌..一种符号化执行的实时系统一致性测试生成方法[J].电子学报,2013,(11):2276-2284,9.基金项目
国家自然科学基金（No ．61075002，No ．61273180）；“十二五”国家科技支撑资助项目（No ．2011BAG01B03）；铁道部科技重点资助项目 （）
