|
隨著社會經(jīng)濟(jì)的高速發(fā)展，汽車走進(jìn)普通老百姓家庭已成為社會發(fā)展趨勢。如今人們對汽車的需求不僅僅是出行工具，對汽車的功能性、安全性、舒適性、可操控性等有了更高的要求。從公安部交管局處了解到，據(jù)統(tǒng)計數(shù)據(jù)顯示，截至2018年6月底，全國機(jī)動車保有量達(dá)3.19億輛，2018年上半年新注冊登記機(jī)動車達(dá)1636萬輛，高于去年同期1594萬輛的登記量。全國58個城市汽車保有量超過百萬輛，其中26個城市超200萬輛，北京、成都、重慶、上海、蘇州、深圳、鄭州等7個城市超300萬輛。 據(jù)《產(chǎn)品安全與召回》雜志統(tǒng)計數(shù)據(jù)，僅 2015 年上半年，42 家汽車制造商共實(shí)施召回 124 次，共召回缺陷汽車產(chǎn)品 293.14 萬輛。其中， 上海工業(yè)控制系統(tǒng)安全創(chuàng)新功能型平臺(簡稱上海控安)與國家可信嵌入式軟件工程技術(shù)研究中心聯(lián)合研發(fā)的國內(nèi)首款國內(nèi)首款智能化單元測試用例設(shè)計工具,旨在提供高安全領(lǐng)域可信工具及技術(shù)服務(wù)，針對高安全領(lǐng)域 C 語言代碼程序(嵌入式軟件)，采用人工智能領(lǐng)域的自動推理與符號執(zhí)行技術(shù)，自動分析程序路徑，自動產(chǎn)生滿足覆蓋標(biāo)準(zhǔn)的測試用例，并在后臺自動執(zhí)行測試用用例，實(shí)現(xiàn)基本無需手工修改的全自動單元測試。該工具能夠讓測試人員擺脫效率低下、質(zhì)量參差不齊的手工測試用例編寫任務(wù)，大幅提高測試人員的工作效率，有效提升測試質(zhì)量。提升嵌入式軟件應(yīng)用的可靠性和安全性。降低汽車電子嵌入式軟件的功能性故障，提高整車功能安全，為受眾提供安全保障。 截至目前，此款智能化單元測試用例設(shè)計工具已測試航空航天、地鐵信號、汽車電子、核電控制及知名開源軟件超過100W行，平均語句覆蓋率超過85%，能夠節(jié)省大量的人力物力，推動工業(yè)軟件安全測試效能提升。 隨著世界汽車工業(yè)的不斷發(fā)展壯大，汽車工業(yè)在世界經(jīng)濟(jì)發(fā)展中的地位越來越突出，汽車工業(yè)逐漸成為各主要汽車生產(chǎn)國包括中國在內(nèi)的支柱產(chǎn)業(yè)，并對世界經(jīng)濟(jì)的發(fā)展和社會的進(jìn)步產(chǎn)生巨大的作用和深遠(yuǎn)的影響。上海控安將致力于深耕工業(yè)控制安全領(lǐng)域，在汽車電子、軌道交通、航空航天等國家重點(diǎn)行業(yè)和領(lǐng)域，進(jìn)行工業(yè)控制系統(tǒng)安全技術(shù)研究和成果轉(zhuǎn)化，助力工業(yè)控制安全的發(fā)展。 來源：搜狐科技 深圳奧立科www.aureke.com/，www.aureke.1688.com/；深圳辰馳電子www.chinco.co/ |
