如果您已经拥有本站账号,可以直接登录。
如果您已经拥有本站账号,可以直接登录。
如果您没有本站账号,可以注册。
021-61680661
▌概要介绍
最坏堆栈分析能够确认软件内存使用的充分性,从而不会导致不确定的行为。VerOStack
通过检查软件应用的镜像,分析出“所有”任务和“所有”执行路径,评估和计算一个应
用软件的最坏堆栈使用情况 。VerOStack 通过了多个标准的鉴定,包括 DO - 330 ,
IEC 61508 和 ISO 26262。
▌主要功能
VerOStack通过检查软件的可执行镜像,静态检查一个软件的最大或最坏堆栈使用场景。其不受特定的动态测试执行、特定测试路径的偏差影响。此外,VerOStack不单单考虑当前程序,还会考虑其他同时在该目标机上执行的程序,如在一个RTOS中运行的其他应用以及RTOS自身。这样就可以提供对目标机内存需求真正有意义的数据。VerOStack同时支持Ada, C, C++和汇编语言。
▌工具鉴定
VerOStack还提供了配套的工具鉴定包,以满足DO-178B/C的鉴定要求。VeroOStack曾应用于波音B787项目。