嵌入式API测试套生成方法和技术

• 作者: 孙晶 张爆 王同林 赵会群
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 嵌入式软件 软件测试 测试与测试控制语言 标签转换系统
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 嵌入式系统软件设计方法与技术专刊
• 页码范围: 373-385
• 页数: 13页
• 分类号: TP311
• 字数: 8674字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004541

摘要

随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙晶	北方工业大学信息工程学院	54	408	9.0	19.0
2	赵会群	北方工业大学信息工程学院	79	920	14.0	28.0
3	王同林	北方工业大学信息工程学院	2	14	2.0	2.0
4	张爆	北方工业大学信息工程学院	1	12	1.0	1.0