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

表1.主要在用工具

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

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

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

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