6．潛在機(jī)會(huì)
　　鑒于上述討論，本節(jié)將會(huì)討論一些技術(shù)以及潛在的機(jī)會(huì)。他們能夠成為未來商用車領(lǐng)域軟件測(cè)試的獨(dú)特賣點(diǎn)。
　　6.1實(shí)時(shí)和連續(xù)行為
　　商用車嵌入式系統(tǒng)對(duì)硬實(shí)時(shí)約束規(guī)范很敏感。特別是，微秒范圍內(nèi)工作的傳動(dòng)系和底盤。
沒有實(shí)時(shí)性，可能有溝通問題，尤其是連續(xù)變化的信號(hào)間。此外，實(shí)時(shí)行為在保證可重復(fù)的測(cè)試案例里是一個(gè)重要要求。
　　這篇文章中討論的大多數(shù)工具是事件驅(qū)動(dòng)性質(zhì)的，極少能夠表現(xiàn)連續(xù)信號(hào)和連續(xù)時(shí)間問題。
　　因此，應(yīng)重點(diǎn)研究這方面的問題，尤其對(duì)于即將到來的新一代混合動(dòng)力商用車。
　　
　　6.2黑盒組件分析
　　汽車行業(yè)的黑盒組件分析還沒有被充分挖掘。
　　如前所述，許多組件是從供應(yīng)商那作為黑盒解決方案收集的。很難理解在系統(tǒng)中測(cè)試組件及其集成的行為[ 6 ] 。在第4節(jié)提到的種類繁多的工具中有幾個(gè)提供這樣的功能。其中一個(gè)是從傳統(tǒng)代碼生成Simulink模型來檢查是否反向工程模型符合代碼行為的Reactis Tester。
　　當(dāng)代碼不可用時(shí)，弗勞恩霍夫商學(xué)院的RALT是已知工具，能夠保證基于運(yùn)行時(shí)的系統(tǒng)觀察的形式分析。

表2．主要競(jìng)爭(zhēng)者

　　1　AbsInt tools已經(jīng)被應(yīng)用于Bosch，BMW， Daimler， Honda， Mitsubishi和 Volkswagen。
　　2　RALT是從運(yùn)行時(shí)系統(tǒng)觀察派生出形式模型的黑盒系統(tǒng)的一種逆向工程工具。RALT已被應(yīng)用于車門控制系統(tǒng)[8]。
　　3　EXAM是奧迪和大眾汽車集團(tuán)合作開發(fā)的，并已在內(nèi)部使用[ 15 ] 。
　　4　TPT提供反應(yīng)測(cè)試，反應(yīng)測(cè)試是：當(dāng)傳感器信號(hào)超過某一臨界值時(shí)，立即地反應(yīng)給系統(tǒng)。
　　5　MaTeLo已被應(yīng)用到奧迪，Johnson Controls，Magneti，雷諾和大眾汽車的汽車系統(tǒng)中。
　　6　SCADE已被用于商用車領(lǐng)域，尤其是在Liebherr公司的控制系統(tǒng)中[ 14 ] 。
　　7　Safety TestBuilder已用于測(cè)試Johnson Controls公司的 [ 12 ]輪胎壓力監(jiān)測(cè)系統(tǒng)。
　　8　CertifyIt已被應(yīng)用于雷諾公司的汽車系統(tǒng)。
　　9　ENEA已成為DYSCAS （動(dòng)態(tài)自配置汽車系統(tǒng)）項(xiàng)目（ 2006-2008年）的一員，目前已被加入AUTOSAR標(biāo)準(zhǔn)[ 5 ] 。TD- Frame用于LabVIEW測(cè)試管理框架，并與美國(guó)儀器――TestStand的測(cè)試生成及執(zhí)行相掛鉤。
　　10　Reactis Tester還可以為了應(yīng)用基于模型的測(cè)試技術(shù)，從源代碼反向設(shè)計(jì)模型。Reactis Tester/Validator已經(jīng)應(yīng)用到Robert Bosch[10]公司的汽車系統(tǒng)中。
　　
　　6.3安全性和可靠性分析
　　安全性和可靠性是商用車關(guān)注的重點(diǎn)。
　　現(xiàn)行做法中并沒有用來分析可靠性的被認(rèn)可的工具。對(duì)于安全性分析，一方面是進(jìn)行壞執(zhí)行時(shí)間和內(nèi)存使用情況分析，目前正使用專門的工具，如aiT WCET Analyzers和StackAnalyzer來執(zhí)行。進(jìn)一步增加安全性和可靠性方法以覆蓋更多方面的潛力是很大的。
　　　
　　6.4工具鏈和GUI
　　對(duì)于嵌入式軟件測(cè)試的各種不同的準(zhǔn)則，一個(gè)適當(dāng)?shù)墓ぞ呒�是至關(guān)重要的。從可用性的角度來看，易用性和圖形化界面是非常重要的。這方面的合理投資，加上幾個(gè)案例研究的例子將有助于吸引汽車行業(yè)的從業(yè)者。