产品详情
中断缺陷检测工具软件
一款专门针对中断相关缺陷检测的商业化工具,能够检测中断导致的数据访问冲突和代码块的原子性违反。
联系我们,试用中断缺陷检测工具。产品:微量氧分析仪,药品残氧仪,露点仪,热导气体分析仪,GE流量计,OX-1氧传感器,顶空分析仪,红外气体分析仪,高温湿度仪,西门子U23分析仪,ppb微量水分析仪,OXY.IQ氧分析仪,烟气湿度仪,燃气热值仪,Kaye温度验证仪,L&W白度,仪激光氧分析仪,压缩空气露点仪,干燥机露点仪,激光气体分析仪,便携式露点仪,便携式微量氧分析仪,Fei (维修中心,代表处,总代理,分公司,子公司,售后中心,销售中心,上海办,办事处)
数据竞争分析
运用控制流、数据流分析进行**的函数间、中断间的语义分析,自动检测中断程序可能的中断模式,并报告各中断模式下真正有害的数据访问冲突。
代码块原子性分析
通过中断间过程分析,检测中断程序块在并发条件下的原子性,即程序块是否存在中断过程中的数据竞争。快速定位用户关心的代码块。
**适配复杂开发环境
运用的编译机制,**支持DSP、MCU、CPU嵌入式硬件平台/麒麟、翼辉、vxworks、Linux、Sylixos等国内外软件开发环境,可满足各类型软硬件平台上的中断检查需求。中断缺陷检测工具软件
减少软件系统发生故障的风险
通过**的分析,检测人工不易发现的数据竞争缺陷,有效提高**关键软件的可靠性。
提高诊断中断缺陷的效能
自动检测潜在有害的数据竞争,呈现可视化图形展示结果,快速定位缺陷所在位置,提高缺陷检测和定位效率。
便捷的中断信息配置
用户可定义的中断缺陷检测相关信息,通过预编译过程获取的程序函数信息,为用户提供便捷的配置选项中断缺陷检测工具软件
清晰直观的缺陷结果展示
成对展示中断数据竞争点信息,呈现数据竞争点所在源文件的上下文信息并高亮相关语句,精准定位缺陷位置。测试软件
更多中断缺陷检测工具软件信息请直接致电埃登威上海
气流筛分机 花生色选机 浆糊贴标机 中药蜜丸机 工程塑料隔膜泵 全自动干豆腐机 犁刀混合机 米顿罗计量泵 高粘度自吸泵 升温除湿机 小米加工设备 广州河粉机 长轴液下泵 全自动饺子机 白酒灌装机 家用小型饺子机 自动月饼机 花生豆腐机 香肠烘干机 石家庄小吃车 小型肉丸机 莱宝真空泵 板栗去皮机 耐热输送带 高速切丝机 新飞冰柜 耐酸碱自吸泵 小型水饺机 二手搪瓷反应釜 捏合机价格 水稻烘干机 家用玉米脱粒机 耙式干燥机 锯骨机价格 小型豆皮机 水果打浆机 蔬菜烘干机 小型饺子机 小型玉米脱粒机 生物质热风炉 速冻机厂家 商用厨房工程 家用真空包装机 工业热风机 饺子机小型 重型振动筛 小凉皮机 新型面条机 全自动水饺机 燃煤热风炉 白酒灌装设备 引风机价格 大型制冰机 电动绞肉机 螺旋压榨机 饺子机全自动 小型真空包装机 空气冷却器 小型冷库 麦秸打捆机 大豆脱粒机 小型食品机械 超市冷柜