嵌入式實時系統(tǒng)測試的充分性研究與實踐.pdf

1、隨著嵌入式計算機的使用日益廣泛,嵌入式實時系統(tǒng)的測試工作就變得越來越重要.測試工作中的一個核心問題是何時能夠停止測試,也就是如何確定測試的充分性問題.本文分析并研究了功能測試、性能測試、白盒覆蓋率自動化測試和可靠性測試的充分性準(zhǔn)則,并應(yīng)用這些充分性準(zhǔn)則對一個具體的嵌入式實時系統(tǒng)(CRTOSⅡ)進行了實踐.以本論文前期的功能測試作為鋪墊,為后面的性能測試和白盒覆蓋率自動化測試積累了的經(jīng)驗.性能測試按照SSC基準(zhǔn)測試完成,白盒覆蓋率自動化測

2、試則以路徑的覆蓋率為充分性指標(biāo),對測試Logicscope工具進行了修改并完成測試工作.將SSC基準(zhǔn)測試的時間指標(biāo)和白盒覆蓋率自動化測試的覆蓋率指標(biāo)作為評價測試工作和操作系統(tǒng)的重要依據(jù).在可靠性測試中,使用了基于運行剖面的可靠性測試和基于馬爾可夫鏈的可靠性測試兩種方法,前者以故障強度為充分性準(zhǔn)則,后者以狀態(tài)和狀態(tài)轉(zhuǎn)換圖的覆蓋和Discriminant值為充分性準(zhǔn)則.還嘗試將運行剖面用于基于馬爾可夫鏈的可靠性測試的使用鏈的構(gòu)建中,讓使用鏈