###
Journal of Software:2014.25(2):373-385

嵌入式API测试套生成方法和技术
赵会群,孙晶,张爆,王同林
(北方工业大学 信息工程学院,北京 100144)
Method and Technique of Test Suite Generation for Embedded API
ZHAO Hui-Qun,SUN Jing,ZHANG Bao,WANG Tong-Lin
(School of Information Engineering, North China University of Technology, Beijing 100144, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 4726   Download 3276
Received:April 28, 2013    Revised:December 17, 2013
> 中文摘要: 随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.
Abstract:With the rapid increase of embedded computer system applications, the reliability of embedded software has drawn particular attention from researchers and industries. Many methods for testing and verifying reliability of embedded software have been discussed. However, the existing methods are weak in test suite automatic generation and therefore difficult in tackling large numbers of embedded computer applications. In this paper, the method and the technique of generating abstract test suite and their adaptation to a computer platform are presented. An algorithm for translating a LTS (labeled transition system) into BT (behavior tree) is proposed. Consequently, the TTCN (test and testing control notation) abstract test suite that employs BT as logical structure can automatically be generated with respect to the LTS description of embedded software. A TTCN tool set based on the translation algorithm for testing embedded software is introduced, and case study of testing embedded system of Internet of things device is presented.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(61070030, 61370051);北京市教委人才创新团队计划(4062012) 国家自然科学基金(61070030, 61370051);北京市教委人才创新团队计划(4062012)
Foundation items:
Reference text:

赵会群,孙晶,张爆,王同林.嵌入式API测试套生成方法和技术.软件学报,2014,25(2):373-385

ZHAO Hui-Qun,SUN Jing,ZHANG Bao,WANG Tong-Lin.Method and Technique of Test Suite Generation for Embedded API.Journal of Software,2014,25(2):373-385