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

第 卷 第 期 计 算 机 学 报 ３８ １１ 　 　　 　　 　　 　　 Ｖｏｌ．３８ Ｎｏ．１１ 年 月 ２０１５ １１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｎｏｖ．２０１５ 　 基于接口自动机与符号执行的嵌入式软件 测试用例生成 ），） ），） ） ） ） １ ２ １ ２ ３ ３ ４ 王 博 白晓颖 张 超 贺 飞 ＳＯＮＧＸｉａｏＹｕ 　 　 　 　 １）（清华大学计算机科学与技术系 北京 １０００８４） 　 　 ２）（清华大学信息科学与技术国家实验室 北京 １０００８４） 　 　 ３）（清华大学软件学院 北京 １０００８４） 　 　 ４）（波特兰州立大学 Ｍａｓｅｅｈ电气与计算机工程学院 波特兰 ９７２０７美国） 　 摘 要 随着嵌入式软件规模、复杂度的持续增长，基于构件的设计技术已在大规模嵌入式系统开发中得到广泛 　 　 应用 嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段 基于模型的测试是嵌入式软件测试的重 ． ． 要方法，通过基础模型描述系统预期的行为特性，以提供用例生成的基础 文中针对嵌入式软件构件，提出建立构 ． 件扩展语义接口自动机模型（ ， ），通过对接口自动机模型进行变量、约 ＥｘｔｅｎｄｅｄＳｅｍａｎｔｉｃＩｎｔｅｒｆａｃｅＡｕｔｏｍａｔａＥＳＩＡ 束条件等扩展，支持构件行为特性的描述与理解 以 为基础模型，提出了基于符号执行的 测 ． ＥＳＩＡ ＥＳＩＡＳｍｂｏｌｉｃ ｙ 试用例生成方法，通过搜索有效的事件／数据序列，设计相关测试用例与测试场景 实验以高速列车车载通信系统 ． 软件为例进行建模与测试生成，并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比． 关键词 扩展语义接口自动机；符号执行；测试用例生成 　 中图法分类号 号 ／