隨著社會(huì)經(jīng)濟(jì)的高速發(fā)展，汽車走進(jìn)普通老百姓家庭已成為社會(huì)發(fā)展趨勢(shì)。如今人們對(duì)汽車的需求不僅僅是出行工具，對(duì)汽車的功能性、安全性、舒適性、可操控性等有了更高的要求。從公安部交管局處了解到，據(jù)統(tǒng)計(jì)數(shù)據(jù)顯示，截至2018年6月底，全國(guó)機(jī)動(dòng)車保有量達(dá)3.19億輛，2018年上半年新注冊(cè)登記機(jī)動(dòng)車達(dá)1636萬(wàn)輛，高于去年同期1594萬(wàn)輛的登記量。全國(guó)58個(gè)城市汽車保有量超過(guò)百萬(wàn)輛，其中26個(gè)城市超200萬(wàn)輛，北京、成都、重慶、上海、蘇州、深圳、鄭州等7個(gè)城市超300萬(wàn)輛。

目前我國(guó)乘用車仍處于普及階段，未來(lái)10年依然會(huì)保持正增長(zhǎng)。預(yù)測(cè)乘用車2016-2025年會(huì)保持5%的復(fù)合增長(zhǎng)率，到2025年行業(yè)規(guī)模達(dá)到峰值，年銷量達(dá)到3600萬(wàn)輛。千人保有量低，剛性需求旺盛支持行業(yè)持續(xù)正增長(zhǎng);隨著經(jīng)濟(jì)高速發(fā)展，汽車保有量持續(xù)升高，機(jī)械結(jié)構(gòu)越來(lái)越成熟，為滿足人們對(duì)汽車需求的更高要求，目前汽車電子產(chǎn)品在汽車應(yīng)用中越來(lái)越普遍，汽車電子產(chǎn)品是車體汽車電子控制裝置和車載汽車電子控制裝置的總稱，汽車電子控制裝置，包括動(dòng)力總成控制、底盤和車身電子控制、舒適和防盜系統(tǒng)。 車載汽車電子控制裝置，包括汽車信息系統(tǒng)(車載電腦)、汽車胎壓監(jiān)測(cè)系統(tǒng)、導(dǎo)航系統(tǒng)、汽車視聽(tīng)娛樂(lè)系統(tǒng)、車載通信系統(tǒng)、車載網(wǎng)絡(luò)、倒車影像后視系統(tǒng)、車載領(lǐng)航員后視攝像頭等。有些高端豪華轎車上有幾十上百個(gè)電子控制單元(ecu)，其中安全氣囊、底盤控制系統(tǒng)(制動(dòng)/轉(zhuǎn)向)、發(fā)動(dòng)機(jī)控制系統(tǒng)等都是直接關(guān)乎車輛安全的重要系統(tǒng)。這些車控電子產(chǎn)品均是利用軟硬件結(jié)合的嵌入式系統(tǒng)。一旦這些電子系統(tǒng)出現(xiàn)功能性故障，將會(huì)極大的影響整車功能安全。

據(jù)《產(chǎn)品安全與召回》雜志統(tǒng)計(jì)數(shù)據(jù)，僅 2015 年上半年，42 家汽車制造商共實(shí)施召回 124 次，共召回缺陷汽車產(chǎn)品 293.14 萬(wàn)輛。其中，

汽車保有量的持續(xù)升高，推進(jìn)了社會(huì)進(jìn)步，促進(jìn)了城市的發(fā)展，縮小了城鄉(xiāng)差別，改善了人們生活品質(zhì)，但是隨之而來(lái)的是汽車的安全問(wèn)題越來(lái)越凸顯。汽車電子系統(tǒng)故障直接影響整車安全，對(duì)人的生命造成極大的安全隱患。所以汽車電子系統(tǒng)嵌入式軟件的可靠和安全至關(guān)重要。嵌入式軟件使用前需要各種測(cè)試，包括：?jiǎn)卧獪y(cè)試、集成測(cè)試、系統(tǒng)測(cè)試、硬件/軟件集成測(cè)試。而單元測(cè)試是嵌入式軟件的測(cè)試第一步，尤為關(guān)鍵，不僅是保障軟件可靠性和安全性的重要環(huán)節(jié)，更是功能安全測(cè)試中的一項(xiàng)重要工作。

上海工業(yè)控制系統(tǒng)安全創(chuàng)新功能型平臺(tái)(簡(jiǎn)稱上?？匕?與國(guó)家可信嵌入式軟件工程技術(shù)研究中心聯(lián)合研發(fā)的國(guó)內(nèi)首款國(guó)內(nèi)首款智能化單元測(cè)試用例設(shè)計(jì)工具,旨在提供高安全領(lǐng)域可信工具及技術(shù)服務(wù)，針對(duì)高安全領(lǐng)域 c 語(yǔ)言代碼程序(嵌入式軟件)，采用人工智能領(lǐng)域的自動(dòng)推理與符號(hào)執(zhí)行技術(shù)，自動(dòng)分析程序路徑，自動(dòng)產(chǎn)生滿足覆蓋標(biāo)準(zhǔn)的測(cè)試用例，并在后臺(tái)自動(dòng)執(zhí)行測(cè)試用用例，實(shí)現(xiàn)基本無(wú)需手工修改的全自動(dòng)單元測(cè)試。該工具能夠讓測(cè)試人員擺脫效率低下、質(zhì)量參差不齊的手工測(cè)試用例編寫(xiě)任務(wù)，大幅提高測(cè)試人員的工作效率，有效提升測(cè)試質(zhì)量。提升嵌入式軟件應(yīng)用的可靠性和安全性。降低汽車電子嵌入式軟件的功能性故障，提高整車功能安全，為受眾提供安全保障。

截至目前，此款智能化單元測(cè)試用例設(shè)計(jì)工具已測(cè)試航空航天、地鐵信號(hào)、汽車電子、核電控制及知名開(kāi)源軟件超過(guò)100w行，平均語(yǔ)句覆蓋率超過(guò)85%，能夠節(jié)省大量的人力物力，推動(dòng)工業(yè)軟件安全測(cè)試效能提升。

隨著世界汽車工業(yè)的不斷發(fā)展壯大，汽車工業(yè)在世界經(jīng)濟(jì)發(fā)展中的地位越來(lái)越突出，汽車工業(yè)逐漸成為各主要汽車生產(chǎn)國(guó)包括中國(guó)在內(nèi)的支柱產(chǎn)業(yè)，并對(duì)世界經(jīng)濟(jì)的發(fā)展和社會(huì)的進(jìn)步產(chǎn)生巨大的作用和深遠(yuǎn)的影響。上?？匕矊⒅铝τ谏罡I(yè)控制安全領(lǐng)域，在汽車電子、軌道交通、航空航天等國(guó)家重點(diǎn)行業(yè)和領(lǐng)域，進(jìn)行工業(yè)控制系統(tǒng)安全技術(shù)研究和成果轉(zhuǎn)化，助力工業(yè)控制安全的發(fā)展。