摘要：論述軟件測試工具winAMS、CasePlayer2在嵌入軟件單元測試中的應用。介紹了軟件測試工具的功能、代碼插裝原理、測試環境搭建、覆蓋率測試、測試數據取得等相關技術研究及經驗總結。
關鍵詞：winAMS、CasePlayer2、嵌入式軟件、單元測試、代碼插裝、測試環境、覆蓋率
覆蓋率專家winAMS源自日本gaio公司，gaio公司創始於1980年，公司早期開發編譯器，隨後開發了基於源代碼分析和模擬技術的嵌入式軟件測試工具。公司還有工程服務業務，爲主要汽車製造商、大型汽車零部件供應商提供基於模型的開發支持、測試流程構建支持、工具導入及運用支持等業務。
嵌入式軟件單元測試工具“覆蓋率專家winAMS”、“CasePlayer2”擁有全球衆多客戶。工具針對實機代碼進行測試，無需對原代碼改動，搭建測試框架。工具取得了汽車功能安全（ISO26262）的工具認證，基本服務於日本所有汽車製造商及汽車供應商。
軟件質量是軟件的生命,它直接影響軟件的使用與維護。隨着計算機軟件系統越來越廣泛地應用與航空、航天、工業控制、交通等關係着國計民生的重要領域,人們對計算機軟件質量的要求也就越來越高。計算機軟件質量保證己成爲現代軟件工程的一項首要任務。軟件測試是軟件生存期中一個重要階段，是軟件質量保證的關鍵步驟。而軟件單元測試又是軟件測試過程中進行的最早的也是最基礎的測試活動，它執行的好壞直接決定了軟件生命週期的長短。
單元測試軟件測試往往首先要對組成軟件的每個單元進行測試,以確認每個單元能否正常工作。單元測試除進行功能測試外,主要測試單元的單元接口、局部數據結構、重要的執行路徑、故障處理的路徑等四項特徵以及各項特徵的邊界條件。單元測試通常採用白盒測試方法，儘可能發現單元內部的程序錯誤，其中包括：邏輯覆蓋、語句覆蓋、判定覆蓋、條件覆蓋、判定-條件覆蓋、條件組合覆蓋、路徑覆蓋等內容。
覆蓋率專家winAMS支持市場主流的芯片，針對C/C++程序，實施以模塊爲單位的自動化測試。C程序以函數爲單位，C++程序以類爲單位。自動生成裝函數，不需要搭建專用的測試環境，以實機代碼爲基礎，藉助靜態解析工具CasePlayer2，自動生成測試最少的用例表，運行後生成測試結果，生成測試報告，生成C0、C1、MC/DC覆蓋率報告。
雖然，從絕對的角度說，單元測試很重要，但是，從相對的角度來講，小的代碼量，簡單固定的需求，個人開發，一錘子買賣等等都會讓單元測試顯得不那麼重要，並且你一直開發的很舒服，這就是爲什麼有的人感受不到單元測試的重要性（這種情況下的確也許不用寫單元測試）。記住，單元測試的威力更多不是體現在新代碼的編寫上，而是對已有代碼的更改。