2018棋牌游戏

          <dfn id='838yu'><optgroup id='838yu'></optgroup></dfn><tfoot id='838yu'><bdo id='838yu'><div id='838yu'></div><i id='838yu'><dt id='838yu'></dt></i></bdo></tfoot>

          <ul id='838yu'></ul>

          • 登录 | 注册 | English

            研发工具

            首页  >  研发工具  >  V流程详细设计验证阶段  >  AbsInt — 确保代码安全的静态性能分析工具

            AbsInt — 确保代码安全的静态性能分析工具

                   DEGUOAbsInt GONGSISHIXIANJINDEANQUANKEQIURUANJIANYANFA、QUEREN、YANZHENGHERENZHENGGONGJULIANGONGYINGSHANG。NENGGOUWEIKEHUTIGONGWANZHENGDEQUEBAODAIMAANQUANDEXINGNENGFENXIGONGJUTAOJIANYIJIRUANJIANFENXI、YANZHENG、QUERENHEBIANYIQIJISHUXIANGGUANZIXUNFUWU。AbsInt CHANPINGUANGFANDIYINGYONGYUGONGYE、JIAOTONG、QICHE、TONGXINHENENGYUANDENGXINGYEDEANQUANKEQIURUANJIANYANFAGUOCHENGZHONG。

             

            产品介绍

                   AbsInt DAIMAANQUANXINGNENGFENXITAOJIANZHUYAOBAOKUOYIXIAJIZHONGCHANPIN:

            • StackAnalyzer /最差情况堆栈用量分析工具

            • 2018棋牌游戏aiT WCET Analyzer/最差情况执行时间分析工具

            • 2018棋牌游戏TimingProfiler/代码执行时间估计分析工具

            • 2018棋牌游戏TimeWeaver/混合式最差情况执行时间分析工具

            • Astrée /C代码运行时错误和数据竞争检查工具

            • RuleChecker/C代码规则检查工具

             

            二进制代码分析工具

            • 2018棋牌游戏StackAnalyzer 针对特定的处理器族和编译器,能够自动分析出任务的最差堆栈使用量,即避免了人为低估造成的堆栈溢出,又避免了人为高估而造成的资源浪费。

             

             

            • aiT、TimingProfiler和TimeWeaver
            2018棋牌游戏     ♦  aiT 针对特定的处理器和编译器,能够分析出更接近实际运行情况的最差执行时间,真实反映系统性能。在分析过程中充分考虑了高速缓存和流水线(pipeline) 的影响,从而避免了过于保守的WCET 值,亦避免了硬件资源的浪费

             

             

                ♦  TimingProfiler ZHENDUITEDINGDECHULIQIZUHEBIANYIQI,NENGGOUCONGSHEJICHUQIJIKAISHIDUIDAIMAZHIXINGXIAOLVJINXINGCHIXUFENXIHEGUJI,JINERWEIXINPIANXUANXING、BUTONGSUANFAFANGANDEZHIXINGXIAOLVPINGGUDENGTIGONGYIJU

             

             

             

                ♦  TimeWeaverDUIYUMOUXIEFUZACHULIQI,YOUQISHIaiTBUNENGZHICHIDEGAOJICHULIQI,AbsintGONGSITIGONGLEYIZHONGJIYUSHIJITraceSHUJUDEJIEHEDONGTAICESHIHEJINGTAIFENXIDEHUNHEWCETFENXIGONGJU

             

             

             

            2018棋牌游戏     ♦  TimeWeaverKEJICHENGZHIPILCESHI/HILCESHIHUANJING,JINXINGCHULIQIXINGNENGFENXIHEYANZHENGGONGZUO

             

             

                ♦  DUIYUInfineon AurixXILIEXINPIAN,KECAIYONGTimeWeaverYUInfineon DASGONGJU(MIANFEI)JINXINGJICHENGDEFANGAN,GENGJIAGAOXIAODEZHIXINGFENXIGUOCHENG

             

             

            特点
                ♦  aiT/TimingProfiler/StackAnalyzer,代码静态分析工具,可直接导入编译后的.elf/*.out等二进制可执行文件进行自动分析,不会对现有的工具链造成影响
                ♦  TimeWeaver,动态测试+静态分析,利用二进制可执行文件进行静态分析,遍历所有代码执行路径。借助Trace分析结果,选用在实际处理器上的代码片段执行时间,综合分析得出代码的最差情况执行时间
                ♦  图形化显示程序调用图和控制流图,找出代码性能优化瓶颈,为优化提供依据
                ♦  遍历所有程序执行路径,对所有场景有效,无需提供测试用例(TimeWeaver所使用的Trace数据需要提供相应的测试环境及用例)
                ♦  支持批量测试,支持Jenkins,可实现软件持续集成测试
            2018棋牌游戏     ♦  aiT和StackAnalyzer有认证支持包,能够提供认证支持服务( ISO-26262, IEC-61508, EN-50128 等)

             

            C 代码分析工具
            • Astrée
                ♦  Astrée 能够确保找出所有的代码运行时错误 (run-time error) 和数据竞争(data race) 问题,控制流和数据流达到100% 的覆盖度
                ♦  Astrée高效分析方法,确保很低的误报率
                ♦  Astrée在分析过程中能够考虑OSEK\AUTOSAR等OS配置环境的影响,提高分析结果精确度
                ♦  Astrée的分析结果支持交互式浏览,能够帮助用户迅速定位问题,并进行备注及修改
                ♦  Astrée可与dSPACE TargetLink实现无缝集成
                ♦  Astrée有认证支持包,能够提供认证支持服务(ISO-26262, IEC-61508, EN-50128等)


            • RuleChecker
                    RuleChecker 是C 代码规则检查工具,支持以下代码规则标准:
                ♦  MISRA 2004、2012、2012 Amendment 1
                ♦  ISO/IEC TS 17961:2013
                ♦  SEI CERT Secure C
                ♦  MITRE CWE
                ♦  客户订制标准

            应用 & 案例
                    丰田汽车非预期加速事件调查 ,2010 年 aiT 被 NASA 作为工业标准静态分析工具用于丰田汽车公司非预期加速事件调查,以排除与时间相关的软件缺陷。

                    DaimlerZAIDONGLIZONGCHENGKONGZHIXITONGDENGDUOGERUANJIANYANFAXIANGMUZHONG,CHENGGONGYUNYONGStackAnalyzer GONGJUJINXINGXIANGGUANFENXI,ZAIYANFAQIANQIJIDUIRUANJIANDEDUIZHANSHIYONGLIANGQINGKUANGJINXINGYOUXIAOFENXIHEYUGU,BIMIANLEDUIZHANYICHUDENGWENTIZAOCHENGDEXIANGMUYANQIHECHENGBENSUNSHI。

            关于恒润
            企业简介
            企业理念
            企业资质
            2018棋牌游戏
            恒润在全球
            诚聘英才
            校园招聘
            实习生招聘
            社会招聘
            走进恒润
            常见问题
            市场活动
            在线研讨会
            线下活动
            微信课堂
            用户社区
            资料下载
            恒润月刊
            用户留言
            个人中心
            相关链接
            联系我们
            电话:/
            邮箱:
            版权所有 © 北京经纬恒润科技有限公司 京ICP备18000642号-1 京公网安备344号 网站地图 | 招聘信息 | 法律声明 | 隐私保护

            96棋牌中心---首页_欢迎您 人气火热棋牌 - AbsInt — 确保代码安全的静态性能分析工具 5a顶尖棋牌---首页_Welcome 棋牌下载---首页_欢迎您 天王斗棋牌 - AbsInt — 确保代码安全的静态性能分析工具