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

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

據《產品安全與召回》雜志統計數據，僅 2015 年上半年，42 家汽車制造商共實施召回 124 次，共召回缺陷汽車產品 293.14 萬輛。其中，

汽車保有量的持續升高，推進了社會進步，促進了城市的發展，縮小了城鄉差別，改善了人們生活品質，但是隨之而來的是汽車的安全問題越來越凸顯。汽車電子系統故障直接影響整車安全，對人的生命造成極大的安全隱患。所以汽車電子系統嵌入式軟件的可靠和安全至關重要。嵌入式軟件使用前需要各種測試，包括：單元測試、集成測試、系統測試、硬件/軟件集成測試。而單元測試是嵌入式軟件的測試第一步，尤為關鍵，不僅是保障軟件可靠性和安全性的重要環節，更是功能安全測試中的一項重要工作。

上海工業控制系統安全創新功能型平臺(簡稱上海控安)與國家可信嵌入式軟件工程技術研究中心聯合研發的國內首款國內首款智能化單元測試用例設計工具,旨在提供高安全領域可信工具及技術服務，針對高安全領域 c 語言代碼程序(嵌入式軟件)，采用人工智能領域的自動推理與符號執行技術，自動分析程序路徑，自動產生滿足覆蓋標準的測試用例，并在后臺自動執行測試用用例，實現基本無需手工修改的全自動單元測試。該工具能夠讓測試人員擺脫效率低下、質量參差不齊的手工測試用例編寫任務，大幅提高測試人員的工作效率，有效提升測試質量。提升嵌入式軟件應用的可靠性和安全性。降低汽車電子嵌入式軟件的功能性故障，提高整車功能安全，為受眾提供安全保障。

截至目前，此款智能化單元測試用例設計工具已測試航空航天、地鐵信號、汽車電子、核電控制及知名開源軟件超過100w行，平均語句覆蓋率超過85%，能夠節省大量的人力物力，推動工業軟件安全測試效能提升。

隨著世界汽車工業的不斷發展壯大，汽車工業在世界經濟發展中的地位越來越突出，汽車工業逐漸成為各主要汽車生產國包括中國在內的支柱產業，并對世界經濟的發展和社會的進步產生巨大的作用和深遠的影響。上海控安將致力于深耕工業控制安全領域，在汽車電子、軌道交通、航空航天等國家重點行業和領域，進行工業控制系統安全技術研究和成果轉化，助力工業控制安全的發展。