中斷缺陷檢測(cè)工具軟件

一款專門針對(duì)中斷相關(guān)缺陷檢測(cè)的商業(yè)化工具，能夠檢測(cè)中斷導(dǎo)致的數(shù)據(jù)訪問沖突和代碼塊的原子性違反。

聯(lián)系我們，試用中斷缺陷檢測(cè)工具。產(chǎn)品：微量氧分析儀,藥品殘氧儀,露點(diǎn)儀,熱導(dǎo)氣體分析儀,GE流量計(jì),OX-1氧傳感器,頂空分析儀,紅外氣體分析儀,高溫濕度儀,西門子U23分析儀,ppb微量水分析儀,OXY.IQ氧分析儀,煙氣濕度儀,燃?xì)鉄嶂祪x,Kaye溫度驗(yàn)證儀,L&W白度,儀激光氧分析儀,壓縮空氣露點(diǎn)儀,干燥機(jī)露點(diǎn)儀,激光氣體分析儀,便攜式露點(diǎn)儀,便攜式微量氧分析儀，F(xiàn)ei （維修中心，代表處，總代理，分公司，子公司，售后中心，銷售中心，上海辦，辦事處）

為什么要用中斷缺陷檢測(cè)工具軟件？

• 數(shù)據(jù)競爭分析

  運(yùn)用控制流、數(shù)據(jù)流分析進(jìn)行**的函數(shù)間、中斷間的語義分析，自動(dòng)檢測(cè)中斷程序可能的中斷模式，并報(bào)告各中斷模式下真正有害的數(shù)據(jù)訪問沖突。

• 代碼塊原子性分析

  通過中斷間過程分析，檢測(cè)中斷程序塊在并發(fā)條件下的原子性，即程序塊是否存在中斷過程中的數(shù)據(jù)競爭?？焖俣ㄎ挥脩絷P(guān)心的代碼塊。

• **適配復(fù)雜開發(fā)環(huán)境

  運(yùn)用的編譯機(jī)制，**支持DSP、MCU、CPU嵌入式硬件平臺(tái)/麒麟、翼輝、vxworks、Linux、Sylixos等國內(nèi)外軟件開發(fā)環(huán)境，可滿足各類型軟硬件平臺(tái)上的中斷檢查需求。中斷缺陷檢測(cè)工具軟件

• 減少軟件系統(tǒng)發(fā)生故障的風(fēng)險(xiǎn)

  通過**的分析，檢測(cè)人工不易發(fā)現(xiàn)的數(shù)據(jù)競爭缺陷，有效提高**關(guān)鍵軟件的可靠性。

• 提高診斷中斷缺陷的效能

  自動(dòng)檢測(cè)潛在有害的數(shù)據(jù)競爭，呈現(xiàn)可視化圖形展示結(jié)果，快速定位缺陷所在位置，提高缺陷檢測(cè)和定位效率。