中斷缺陷檢測工具軟件
一款專門針對中斷相關缺陷檢測的商業(yè)化工具,能夠檢測中斷導致的數(shù)據(jù)訪問沖突和代碼塊的原子性違反。
聯(lián)系我們,試用中斷缺陷檢測工具。產(chǎn)品:微量氧分析儀,藥品殘氧儀,露點儀,熱導氣體分析儀,GE流量計,OX-1氧傳感器,頂空分析儀,紅外氣體分析儀,高溫濕度儀,西門子U23分析儀,ppb微量水分析儀,OXY.IQ氧分析儀,煙氣濕度儀,燃氣熱值儀,Kaye溫度驗證儀,L&W白度,儀激光氧分析儀,壓縮空氣露點儀,干燥機露點儀,激光氣體分析儀,便攜式露點儀,便攜式微量氧分析儀,F(xiàn)ei (維修中心,代表處,總代理,分公司,子公司,售后中心,銷售中心,上海辦,辦事處)
數(shù)據(jù)競爭分析
運用控制流、數(shù)據(jù)流分析進行**的函數(shù)間、中斷間的語義分析,自動檢測中斷程序可能的中斷模式,并報告各中斷模式下真正有害的數(shù)據(jù)訪問沖突。
代碼塊原子性分析
通過中斷間過程分析,檢測中斷程序塊在并發(fā)條件下的原子性,即程序塊是否存在中斷過程中的數(shù)據(jù)競爭??焖俣ㄎ挥脩絷P心的代碼塊。
**適配復雜開發(fā)環(huán)境
運用獨特的編譯機制,**支持DSP、MCU、CPU嵌入式硬件平臺/麒麟、翼輝、vxworks、Linux、Sylixos等國內(nèi)外軟件開發(fā)環(huán)境,可滿足各類型軟硬件平臺上的中斷檢查需求。中斷缺陷檢測工具軟件
減少軟件系統(tǒng)發(fā)生故障的風險
通過**的分析,檢測人工不易發(fā)現(xiàn)的數(shù)據(jù)競爭缺陷,有效提高**關鍵軟件的可靠性。
提高診斷中斷缺陷的效能
自動檢測潛在有害的數(shù)據(jù)競爭,呈現(xiàn)可視化圖形展示結果,快速定位缺陷所在位置,提高缺陷檢測和定位效率。
便捷的中斷信息配置
用戶可定義的中斷缺陷檢測相關信息,通過預編譯過程獲取的程序函數(shù)信息,為用戶提供便捷的配置選項中斷缺陷檢測工具軟件
清晰直觀的缺陷結果展示
成對展示中斷數(shù)據(jù)競爭點信息,呈現(xiàn)數(shù)據(jù)競爭點所在源文件的上下文信息并高亮相關語句,精準定位缺陷位置。測試軟件
更多中斷缺陷檢測工具軟件信息請直接致電埃登威上海021-55581219
埃登威自動化系統(tǒng)設備(上海)有限公司
聯(lián)系人:劉工可直接加微信在線交流18939876302 聯(lián)系電話:021-55581219菲美特微量氧分析儀POA200 傳真號碼:021-55581219菲美特露點儀DPT600Plus 移動電話:18939876302加別猶豫,微信同號
Email:adevchina@126.com
公司網(wǎng)址:
公司地址:上海市普陀區(qū)中山北路1759弄浦發(fā)廣場D座1714室激光氧分析儀
主營:微量氧分析儀,藥品殘氧儀,露點儀,熱導氣體分析儀,OX-1氧傳感器,頂空分析儀,紅外氣體分析儀,高溫濕度儀,西門子U23分析儀,ppb微量水分析儀,OXY.IQ氧分析儀,煙氣濕度儀,燃氣熱值儀,Kaye溫度驗證儀,L&W白度,儀激光氧分析儀,壓縮空氣露點儀,干燥機露點儀,激光氣體分析儀, 便攜式露點儀,便攜式微量氧分析儀,離心機氧分析儀|GE流量計 氧量分析儀 氮氣氧分析儀fei 代表處,辦事處,分公司,子公司,總代理,分析儀價格,分析儀維修,分析儀校準
滬公網(wǎng)安備 31010902002456號