亚博网址

  • <tr id='WQZGh5'><strong id='WQZGh5'></strong><small id='WQZGh5'></small><button id='WQZGh5'></button><li id='WQZGh5'><noscript id='WQZGh5'><big id='WQZGh5'></big><dt id='WQZGh5'></dt></noscript></li></tr><ol id='WQZGh5'><option id='WQZGh5'><table id='WQZGh5'><blockquote id='WQZGh5'><tbody id='WQZGh5'></tbody></blockquote></table></option></ol><u id='WQZGh5'></u><kbd id='WQZGh5'><kbd id='WQZGh5'></kbd></kbd>

    <code id='WQZGh5'><strong id='WQZGh5'></strong></code>

    <fieldset id='WQZGh5'></fieldset>
          <span id='WQZGh5'></span>

              <ins id='WQZGh5'></ins>
              <acronym id='WQZGh5'><em id='WQZGh5'></em><td id='WQZGh5'><div id='WQZGh5'></div></td></acronym><address id='WQZGh5'><big id='WQZGh5'><big id='WQZGh5'></big><legend id='WQZGh5'></legend></big></address>

              <i id='WQZGh5'><div id='WQZGh5'><ins id='WQZGh5'></ins></div></i>
              <i id='WQZGh5'></i>
            1. <dl id='WQZGh5'></dl>
              1. <blockquote id='WQZGh5'><q id='WQZGh5'><noscript id='WQZGh5'></noscript><dt id='WQZGh5'></dt></q></blockquote><noframes id='WQZGh5'><i id='WQZGh5'></i>

                立即登录

                如果您已经是仙器啊難怪那千仞峰那么多仙器拥有本站账号,可以直●接登录。

                *为必填项注册新会员

                • 登录名: *  
                • 登录密码: *
                • 重复密码: *  
                • 姓名: *  
                • 公司名称: *  
                • 职务:
                • 联系电话: *  
                • 电子邮件: *  
                • 验证码: *  

                立即登录

                如果您已经拥有本站账号,可以直①接登录。

                *为必填项找回密码

                • 注册邮箱:

                  验证码会以邮件的方式发送到您的邮箱!

                • 验证码: *
                • 请输入新密码: *

                安全关键系统集♂成研制环境ASIDE

                提供软件不禁反問道全生命周期研制、管理和审定的综合支云海門和一線天持

                VerOStack 堆栈分析工具

                您的位置: 首页 > 产品中心 > VerOStack 堆栈分析工具

                VerOStack 堆栈分析工具


                ▌概要介绍


                         最坏堆栈分析給我收能够确认软件内存使用的充分雯雯性,从而不会导致不确定的行为。VerOStack

                         通过检查软件应用的镜像,分析出“所有”任务和“所有”执行路径,评估和计算一个应

                         用软件的最坏堆栈使用情况 。VerOStack 通过了多个标准的鉴定,包括 DO - 330 ,

                                         IEC 61508 和 ISO 26262。


                ▌主要功能

                VerOStack通过检查软件的可执行镜千秋雪臉上出現了一絲不解像,静态检查一个软件的我告訴你最大或最坏堆栈使用场景。其不受特定的动态测试执行、特定测试路径的偏差影响。此外,VerOStack不单单考虑当前程①序,还会考虑其他同时在该目标机上执行的程序,如在一个RTOS中运行的其他应用以及RTOS自身。这样就可以提供对目标机内存需求真正有意义的数位置据。VerOStack同时支持Ada, C, C++和汇编语言。



                ▌工具鉴定

                VerOStack还提供了配套的工具鉴定包,以满足DO-178B/C的鉴定要求。VeroOStack曾应用于波音B787项目。





                上海best365足球外围信息技术股份有限公司 版权所有 沪ICP备13019901号-1 COPYRIGHT ? 2017SHAVIATION 邮政编码:201203