赵会群,孙晶,张爆,王同林.嵌入式API测试套生成方法和技术.软件学报,2014,25(2):373-385 |
嵌入式API测试套生成方法和技术 |
Method and Technique of Test Suite Generation for Embedded API |
投稿时间:2013-04-28 修订日期:2013-12-17 |
DOI:10.13328/j.cnki.jos.004541 |
中文关键词: 嵌入式软件 软件测试 测试与测试控制语言 标签转换系统 |
英文关键词:embedded software software testing TTCN (test and testing control notation) LTS (labeled transition system) |
基金项目:国家自然科学基金(61070030, 61370051);北京市教委人才创新团队计划(4062012) |
|
摘要点击次数: 4938 |
全文下载次数: 3468 |
中文摘要: |
随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究. |
英文摘要: |
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. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |