一种符号化执行的实时系统一致性测试生成方法

• 作者: 万勇兵 徐中伟 梅萌
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 实时系统 一致性测试 时间安全输入输出符号变迁系统 符号执行 测试用例生成
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 2276-2284
• 页数: 9页
• 分类号: TP301
• 字数: 9349字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2013.11.026

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
3	梅萌	同济大学电子与信息工程学院	21	89	4.0	9.0
4	万勇兵	同济大学电子与信息工程学院	5	46	4.0	5.0