立即登录

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

*为必填项注册新会员

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

立即登录

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

*为必填项找回密码

  • 注册邮箱:

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

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

安全关键软件集成研制环境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项目。





猎广网(北京)信息技术有限公司 版权所有 京ICP备13016327号-4 COPYRIGHT 2017SHAVIATION 邮政编码:201203