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

作     者：王博 白晓颖 张超 贺飞 SONG Xiao-Yu WANG Bo;BAI Xiao-Ying;ZHANG Chao;HE Fei;SONG Xiao-Yu

作者机构：清华大学计算机科学与技术系北京100084 清华大学信息科学与技术国家实验室北京100084 清华大学软件学院北京100084 波特兰州立大学Maseeh电气与计算机工程学院美国波特兰97207 

基　　金：国家自然科学基金(91218302 61472197) 国家"九七三"重点基础研究发展规划项目基金(2011CB302505) 国家"八六三"高技术研究发展计划项目基金(2013AA01A215) 北京市自然科学基金(4132062)资助~~ 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2015年第38卷第11期

页      码：2125-2144页

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

主 题 词：扩展语义接口自动机 符号执行 测试用例生成 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.11897/SP.J.1016.2015.02125

馆 藏 号：203159686...