News
發布時間：2019-09-30 作者：上海工業控制安全創新科技有限公司 點擊次數：次
為進一步貫徹落實《中共中央國務院關于開展質量提升行動的指導意見》和市委、市政府《開展質量提升行動的實施方案》有關“實施質量攻關工程”、“強化質量技術攻關”的要求，推進上海市高質量發展，2019年上海以建設科創中心、打造質量高地為目標，圍繞重點產品、重點行業，積極組織開展質量攻關活動。
上海控安 “高可信工業嵌入式軟件單元測試驗證工具性能提升攻關”項目獲得2019上海市重點產品質量攻關成果獎
二等獎
上海工業控制安全創新科技有限公司自主研發的高可信工業嵌入式軟件單元測試驗證工具，打破國外廠商技術壟斷的局面，產品質量對標德國Tessy、英國Testbed等單元測試工具，達到國際先進水平。
此工具自動化設計滿足語句、分支、MC/DC覆蓋準則的單元測試用例，并支持黑盒測試、白盒測試，極大提高測試人員效率。測試人員人均每天可以完成10-20個函數的測試用例編寫，此工具僅需2個小時即可完成800個函數的測試用例自動生成。采用數據流分析技術與編譯器前端機制，使用樁函數替代真實的被調函數，通過程序切片技術，避免組合爆炸，生成合適的樁函數，實現自動插樁的功能。
該產品符合國家大力發展“核心工業軟件”戰略，提高汽車電子、軌道交通、航空航天等安全攸關領域軟件代碼可靠性，降低測試人員成本投入。
