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