软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2014年
2期
373-385
,共13页
赵会群%孙晶%张爆%王同林
趙會群%孫晶%張爆%王同林
조회군%손정%장폭%왕동림
嵌入式软件%软件测试%测试与测试控制语言%标签转换系统
嵌入式軟件%軟件測試%測試與測試控製語言%標籤轉換繫統
감입식연건%연건측시%측시여측시공제어언%표첨전환계통
embedded software%software testing%TTCN (test and testing control notation)%LTS (labeled transition system)
随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.
隨著嵌入式計算機繫統應用的不斷擴展,嵌入式繫統的可靠性引起瞭學術界和工業界的廣汎關註,也提齣瞭很多增進可靠性的方法和技術.然而,現有的方法和技術在測試套生成方麵論述不多,所以在處理大批量嵌入式繫統測試工作中遇到瞭挑戰.討論抽象測試套生成方法和適配技術,提齣瞭LTS(labeled transition system)到BT(behavior tree)的轉換算法,從而使TTCN(test and testing control notation)測試套可以通過轉換嵌入式軟件的LTS描述產生.還介紹瞭基于上述轉換算法的嵌入式軟件測試工具包,以及一箇嵌入式物聯網識讀器測試案例研究.
수착감입식계산궤계통응용적불단확전,감입식계통적가고성인기료학술계화공업계적엄범관주,야제출료흔다증진가고성적방법화기술.연이,현유적방법화기술재측시투생성방면논술불다,소이재처리대비량감입식계통측시공작중우도료도전.토론추상측시투생성방법화괄배기술,제출료LTS(labeled transition system)도BT(behavior tree)적전환산법,종이사TTCN(test and testing control notation)측시투가이통과전환감입식연건적LTS묘술산생.환개소료기우상술전환산법적감입식연건측시공구포,이급일개감입식물련망식독기측시안례연구.
