摘要：系统一致性测试用来验证和确认系统实现的正确性。针对实时系统在进行数据处理时受到时间约束，容易导致状态空间爆炸的问题，提出一种符号化测试生成方法。首先对符号变迁系统和时间自动机进行扩展，建立一种新的符号语义模型TSIOSTS ，基于该模型定义了时间一致性关系（tioco ）；然后以tioco关系为指导，结合符号化执行策略，生成被测系统模型的时间符号化测试行为树，并转化为测试用例；最后将提出的理论和方法应用于CTCS-3列控系统临时限速服务器的一致性测试中，验证了该方法的可行性和有效性。

关键词：实时系统 一致性测试 时间安全输入输出符号变迁系统 符号执行 测试用例生成 

单位：同济大学电子与信息工程学院; 上海201804; 嵌入式系统与服务计算教育部重点实验室; 上海201804