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

Test Case Generation for Embedded Software Using Interface Automata and Symbolic Execution

作　　者：王博[1,2] 白晓颖[1,2] 张超[3] 贺飞[3] SONG Xiao-Yu 

机构地区：[1]清华大学计算机科学与技术系,北京100084 [2]清华大学信息科学与技术国家实验室,北京100084 [3]清华大学软件学院,北京100084 [4]波特兰州立大学Maseeh电气与计算机工程学院,美国波特兰97207

出　　处：《计算机学报》2015年第11期2125-2144,共20页Chinese Journal of Computers

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

摘　　要：随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期的行为特性,以提供用例生成的基础.文中针对嵌入式软件构件,提出建立构件扩展语义接口自动机模型(Extended Semantic Interface Automata,ESIA),通过对接口自动机模型进行变量、约束条件等扩展,支持构件行为特性的描述与理解.以ESIA为基础模型,提出了基于符号执行的ESIA-Symbolic测试用例生成方法,通过搜索有效的事件/数据序列,设计相关测试用例与测试场景.实验以高速列车车载通信系统软件为例进行建模与测试生成,并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比.With the increasing size and complexity of embedded systems,Component-Based Design（CBD）has been widely applied in large-scale embedded system development.Embedded component testing is important to ensure the quality of individual components and component integrations.Modeling is an effective technique in embedded system testing.It abstracts the expected system behavior and provides the basis for test case design.The paper proposes an ESIA（Extended Semantic Interface Automata）model which extends IA（Interface Automata）with variables and constraints for better understanding of component interface behavior.Based on ESIA,algorithms are designed following symbolic execution method to search for effective events/data sequences as test cases and test scenarios.Experiments are exercised on a communication software of high-speed railway.It evaluates the test coverage and effectiveness of the proposed approach in comparison with others.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]