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