WinAMS--嵌入式軟體單元測試/整合測試工具

基於 winAMS 、 CasePlayer2 嵌入式 軟 件 單 元 測試

摘要：論述軟體測試工具winAMS 、CasePlayer2 在嵌入軟體單元測試中的應用。介紹了軟體測試工具的功能、程式碼插裝原理、測試環境搭建、覆蓋率測試、測試資料取得等相關技術研究及經驗總結。

關鍵詞：winAMS 、CasePlayer2 、嵌入式軟體、單元測試、程式碼插裝、測試環境、覆蓋率

覆蓋率專家winAMS 源自日本gaio 公司，gaio 公司創始於1980 年，公司早期開發編譯器，隨後開發了基於原始碼分析和模擬技術的嵌入式軟體測試工具。公司還有工程服務業務，為主要汽車製造商、大型汽車零部件供應商提供基於模型的開發支援、測試流程構建支援、工具匯入及運用支援等業務。

嵌入式軟體單元測試工具“覆蓋率專家winAMS ”、“CasePlayer2 ”擁有全球眾多客戶。工具針對實機程式碼進行測試，無需對原始碼改動，搭建測試框架。工具取得了汽車功能安全（ISO26262 ）的工具認證，基本服務於日本所有汽車製造商及汽車供應商。

軟體質量是軟體的生命, 它直接影響軟體的使用與維護。隨著計算機軟體系統越來越廣泛地應用與航空、航天、工業控制、交通等關係著國計民生的重要領域, 人們對計算機軟體質量的要求也就越來越高。計算機軟體質量保證己成為現代軟體工程的一項首要任務。軟體測試是軟體生存期中一個重要階段，是軟體質量保證的關鍵步驟。而軟體單元測試又是軟體測試過程中進行的最早的也是最基礎的測試活動，它執行的好壞直接決定了軟體生命週期的長短。

單元測試軟體測試往往首先要對組成軟體的每個單元進行測試, 以確認每個單元能否正常工作。單元測試除進行功能測試外, 主要測試單元的單元介面、區域性資料結構、重要的執行路徑、故障處理的路徑等四項特徵以及各項特徵的邊界條件。單元測試通常採用白盒測試方法，儘可能發現單元內部的程式錯誤，其中包括：邏輯覆蓋、語句覆蓋、判定覆蓋、條件覆蓋、判定- 條件覆蓋、條件組合覆蓋、路徑覆蓋等內容。

覆蓋率專家winAMS 支援市場主流的晶片，針對C/C++ 程式，實施以模組為單位的自動化測試。C 程式以函式為單位，C++ 程式以類為單位。自動生成裝函式，不需要搭建專用的測試環境，以實機程式碼為基礎， 無需硬體支援， 藉助靜態解析工具CasePlayer2 ，自動生成測試最少的用例表，執行後生成測試結果，生成測試報告，生成C0 、C1 、MC/DC 覆蓋率報告。

雖然，從絕對的角度說，單元測試很重要，但是，從相對的角度來講，小的程式碼量，簡單固定的需求，個人開發，一錘子買賣等等都會讓單元測試顯得不那麼重要，並且你一直開發的很舒服，這就是為什麼有的人感受不到單元測試的重要性（這種情況下的確也許不用寫單元測試）。記住，單元測試的威力更多不是體現在新程式碼的編寫上，而是對已有程式碼的更改。