立即登录
如果您已经拥有本站账号，可以直接登录。
立即登录
如果您已经拥有本站账号，可以直接登录。
*为必填项找回密码
立即注册
如果您没有本站账号，可以注册。
*为必填项登录
安全关键系统集成研制环境ASIDE
提供软件全生命周期研制、管理和审定的综合支持
pk10官方
联系我们
021-61680661
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备13019901号-1
COPYRIGHT 2017SHAVIATION
邮政编码：201203