主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
赵会群,孙晶,张爆,王同林.嵌入式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)
作者单位E-mail
赵会群 北方工业大学 信息工程学院,北京 100144 zhaohq6625@sina.com 
孙晶 北方工业大学 信息工程学院,北京 100144  
张爆 北方工业大学 信息工程学院,北京 100144  
王同林 北方工业大学 信息工程学院,北京 100144  
摘要点击次数: 3450
全文下载次数: 2679
中文摘要:
      随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了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阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利