当前位置：埃登威自动化系统设备（上海）有限公司>>国外进口分析仪品牌>>中断缺陷检测工具软件

中断缺陷检测工具软件

返回列表页

参考价

面议

具体成交价以合同协议为准

产品型号国产替代工业软件

品牌

厂商性质其他

所在地

在线询价收藏产品查看联系电话

更新时间：2023-11-08 13:01:53浏览次数：71次

联系我时，请告知来自百分零部件网

产品分类 品牌分类

  国外进口分析仪品牌

全部产品列表

暂无信息

埃登威自动化系统设备（上海）有限公司

经营模式：其他

商铺产品：96条

所在地区：

询价 给他留言

产品简介

中断缺陷检测工具软件一款专门针对中断相关缺陷检测的商业化工具，能够检测中断导致的数据访问冲突和代码块的原子性违反。联系我们，试用中断缺陷检测工具。属于自助可控国产替代工业软件

详细介绍

中断缺陷检测工具软件

一款专门针对中断相关缺陷检测的商业化工具，能够检测中断导致的数据访问冲突和代码块的原子性违反。

联系我们，试用中断缺陷检测工具。产品：微量氧分析仪,药品残氧仪,露点仪,热导气体分析仪,GE流量计,OX-1氧传感器,顶空分析仪,红外气体分析仪,高温湿度仪,西门子U23分析仪,ppb微量水分析仪,OXY.IQ氧分析仪,烟气湿度仪,燃气热值仪,Kaye温度验证仪,L&W白度,仪激光氧分析仪,压缩空气露点仪,干燥机露点仪,激光气体分析仪,便携式露点仪,便携式微量氧分析仪，Fei （维修中心，代表处，总代理，分公司，子公司，售后中心，销售中心，上海办，办事处）

为什么要用中断缺陷检测工具软件？

数据竞争分析

运用控制流、数据流分析进行**的函数间、中断间的语义分析，自动检测中断程序可能的中断模式，并报告各中断模式下真正有害的数据访问冲突。
代码块原子性分析

通过中断间过程分析，检测中断程序块在并发条件下的原子性，即程序块是否存在中断过程中的数据竞争。快速定位用户关心的代码块。
**适配复杂开发环境

运用的编译机制，**支持DSP、MCU、CPU嵌入式硬件平台/麒麟、翼辉、vxworks、Linux、Sylixos等国内外软件开发环境，可满足各类型软硬件平台上的中断检查需求。中断缺陷检测工具软件
减少软件系统发生故障的风险

通过**的分析，检测人工不易发现的数据竞争缺陷，有效提高安全关键软件的可靠性。
提高诊断中断缺陷的效能

自动检测潜在有害的数据竞争，呈现可视化图形展示结果，快速定位缺陷所在位置，提高缺陷检测和定位效率。