%0 Journal Article
%T 嵌入式api测试套生成方法和技术
%A 赵会群？
%A 孙晶？
%A 张爆？
%A 王同林？
%J 软件学报
%P 373-385
%D 2014
%R 10.13328/j.cnki.jos.004541
%X 随着嵌入式计算机系统应用的不断扩展，嵌入式系统的可靠性引起了学术界和工业界的广泛关注，也提出了很多增进可靠性的方法和技术.然而，现有的方法和技术在测试套生成方面论述不多，所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术，提出了lts(labeledtransitionsystem)到bt(behaviortree)的转换算法，从而使ttcn(testandtestingcontrolnotation)测试套可以通过转换嵌入式软件的lts描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包，以及一个嵌入式物联网识读器测试案例研究.
%K 嵌入式软件
%K 软件测试
%K 测试与测试控制语言
%K 标签转换系统
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4541&flag=1