Abstract
嵌入式系統的應用在現代生活中隨處可見，於是如何測試變成了重要的議題。傳統的軟體測試已經是個熟知的問題，但是嵌入式軟體測試與電腦軟體測試截然不同。對於電腦軟體而言，通常只需要考慮開發的應用程式本身是否有錯誤，也就是說並不需要考慮函式庫、作業系統、驅動程式和硬體。而且電腦的執行速度通常比嵌入式系統來的快，所以電腦軟體在測試方面受到執行速度和記憶體容量的限制也較少。慶幸的是，嵌入式系統一般只提供少數功能，所以也不會像電腦般複雜。本篇論文中，我們提出了一個介面互動測試模型來產生能偵測從應用層到驅動層錯誤的測試個案序列。首先，藉由訂義嵌入式軟體的介面並收集介面間的訊息傳遞，然後利用消息序列圖將訊息表達成圖表，接著再將圖表轉換成等價的有限狀態機。最後，再利用有限狀態機產生出測試個案序列。