10.3969/j.issn.0372-2112.2013.11.026
一种符号化执行的实时系统一致性测试生成方法
系统一致性测试用来验证和确认系统实现的正确性。针对实时系统在进行数据处理时受到时间约束，容易导致状态空间爆炸的问题，提出一种符号化测试生成方法。首先对符号变迁系统和时间自动机进行扩展，建立一种新的符号语义模型TSIOSTS ，基于该模型定义了时间一致性关系（tioco ）；然后以tioco关系为指导，结合符号化执行策略，生成被测系统模型的时间符号化测试行为树，并转化为测试用例；最后将提出的理论和方法应用于CTCS-3列控系统临时限速服务器的一致性测试中，验证了该方法的可行性和有效性。
实时系统、一致性测试、时间安全输入输出符号变迁系统、符号执行、测试用例生成
TP301(计算技术、计算机技术)
国家自然科学基金No ．61075002，No ．61273180；“十二五”国家科技支撑资助项目No ．2011BAG01B03；铁道部科技重点资助项目．2009X002-A
2013-12-10（万方平台首次上网日期，不代表论文的发表时间）
共9页
2276-2284
