Structural Analysis and Testing of Embedded Software

Abstract

近幾年嵌入式軟體成長迅速，被視為電子資訊產業提高其硬體產品競爭力的關鍵因素之一。然而嵌入式軟體往往與硬體和作業系統有密切的關係，並且缺乏結構化，使得嵌入式軟體較一般軟體複雜難懂，造成嵌入式軟體分析和測試的困難，測試案例的推導不易系統化或測試覆蓋率(coverage)不足，而無法提昇嵌入式軟體的品質與可靠性。因此本論文提出一個測試模型(test model)支援嵌入式軟體的結構分析和測試。此測試模型主要是擷取嵌入式軟體與硬體的介面資訊與程式的控制結構，協助測試人員了解嵌入式軟體的結構和推導測試案例。此外，我們亦開發了一個測試工具，可以自動建構所提出的測試模型，協助測試的進行，以減輕嵌入式軟體測試的負擔。