基于接口自动机与符号执行的嵌入式软件测试用例生成

• 作者: SONG Xiao-Yu 张超 王博 白晓颖 贺飞
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 扩展语义接口自动机 符号执行 测试用例生成
• 年，卷（期）: 2015,（11）
• 所属期刊栏目: 软件工程
• 页码范围: 2125-2144
• 页数: 20页
• 分类号: TP311
• 字数: 21860字
• 语种: 中文
• DOI: 10.11897/SP.J.1016.2015.02125

摘要

随着嵌入式软件规模、复杂度的持续增长，基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用。嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段。基于模型的测试是嵌入式软件测试的重要方法，通过基础模型描述系统预期的行为特性，以提供用例生成的基础。文中针对嵌入式软件构件，提出建立构件扩展语义接口自动机模型（Extended Semantic Interface Automata，ESIA），通过对接口自动机模型进行变量、约束条件等扩展，支持构件行为特性的描述与理解。以 ESIA 为基础模型，提出了基于符号执行的 ESIA-Symbolic 测试用例生成方法，通过搜索有效的事件／数据序列，设计相关测试用例与测试场景。实验以高速列车车载通信系统软件为例进行建模与测试生成，并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	白晓颖	清华大学计算机科学与技术系	46	752	14.0	26.0
5	贺飞	清华大学软件学院	15	235	8.0	15.0
6	王博	清华大学计算机科学与技术系	21	249	9.0	15.0
10	张超	清华大学软件学院	81	662	12.0	24.0