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

表1.主要在用工具

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

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

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

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