4.3商業(yè)工具分類
　　本節(jié)介紹了用于汽車行業(yè)的各種測試工具。
　　這些工具可分為四大類：基于模型的測試生成，測試建模，驗證和資源分析工具。
　　每個類別說明如下。
　　
　　4.3.1基于模型的測試生成工具
　　鑒于所需系統(tǒng)行為的模型，這些工具由模型生成測試，在目標系統(tǒng)上執(zhí)行測試以檢查系統(tǒng)是否表現(xiàn)的與要求的一樣。
　　測試是通過由模型按一定的度量“覆蓋”其結構產生的。
　　大多數(shù)的由基于模型的測試生成工具所提供的覆蓋度量的往往是控制流定向的，例如測試可以由覆蓋模型的所有分支生成。
　　
　　4.3.2測試建模工具
　　不是由系統(tǒng)模型生成測試，這些工具是由一個可能針對測試系統(tǒng)特定區(qū)域、可用于不同情況的抽象測試模型生成測試的。
　　該工具支持不同的符號來說明這些測試模型。
　　此外，這些工具能夠在目標機器上進行所生成的測試，并評估相應結果。
　　
　　4.3.3驗證工具
　　有了所需系統(tǒng)行為的模型，這些工具可以進行形式驗證，是說他們證明或否決該模型關于那些使用形式化方法的特定屬性的正確性。
　　一個屬性通常表現(xiàn)一個不良情況。一個驗證技術是證明或反證是否不良情況在模型中保持不變的一種手段。當這種情況不變時，它產生一個反例證明。如果沒有反例產生，這意味著該系統(tǒng)內沒有這種情況。
　　有兩種主要方法：模型檢驗和定理證明，被認為是汽車領域的形式驗證。
　　對這些方法的文獻綜述超出了本文的范圍，感興趣的讀者可以指向別處。
　　
　　4.3.4資源分析工具
　　工具的第三類分析非功能特性，例如時間，內存使用情況等。舉例來說，當危險發(fā)生時，重要的是要了解壞執(zhí)行時間（ WCET ）的防鎖制動系統(tǒng)。此類分析在安全苛求的系統(tǒng)中極為重要。
　　過去，這樣的分析是用一個特設的方式進行的：要么手動分析大量的系統(tǒng)仿真，要么通過在一些測試場景中運行該系統(tǒng)，觀察其性能。然而，這些方法已經變得不切和實際，因為系統(tǒng)的尺寸和目標執(zhí)行平臺的設計的復雜性增加了，特別是在處理器里。
　　，專門的工具正在成為系統(tǒng)的驗證過程用以覆蓋這些方面的一個組成部分。
　　由于時間和內存特性與目標平臺的結構特色一致，分析主要是對循環(huán)X測試的先進水平進行的。

表1.主要在用工具

　　1 對于目標平臺，請查看：http://www.absint.com/ait/trial.htm
　　2 IBV（基于儀器的驗證）[10]是一項指定屬性為一個連接到模型的顯示器的技術。然后，它用制導模擬來尋找侵犯知識產權。
筆者將這項技術歸類為驗證技術的一個變體。

　　4.4主要在用工具
　　本節(jié)提供了汽車行業(yè)精選在用工具的一份比較。這些工具是根據(jù)上面解釋的術語分類的。
　　表1提供了工具信息表，包括：他們的供應商，類別，輸入格式支持和循環(huán)X測試級別。大部分的輸入格式是標準建模符號，可以參考相關文獻了解詳情。

　　5 .汽車軟件測試工具/服務
供應商
　　5.1主要競爭者
　　表2按生產國順序列出了在歐洲提供軟件測試工具和/或相關服務的主要競爭者名單，還包括那些在歐洲市場占有不可忽視份額的工具。
這份名單包括公司提供的服務，主要工具，及其主要專業(yè)領域。
名單中還包括在汽車行業(yè)深受肯定的工具應用筆記。

　　5.2其他競爭者
　　有些公司擅長嵌入式軟件測試，但很少接觸汽車系統(tǒng)。盡管這份名單并不詳盡，但它包含了Testing Technologies（ DE ） ， Elvior （ EE）和Conformiq （ FI ）公司 。
　　有些公司擅長于汽車軟件測試，但沒有緊密結合V模型（參見圖1 ），沒有大量應用代碼級技術。其中值得注意的是LDRA （GB ） ，Prover（ SE ） ， Coverity（US） ，Wind River（US）公司 。