● RVS——软件执行时间性能测试分析工具包
对软件的时间性能(WCET)进行全面的测试分析及验证,广泛应用于具有高可靠性要求的软件中,支持多种目标硬件上的动态测试。
通过基于目标硬件的开发和测试,RVS工具包能够降低代码的测试、验证和优化的成本。
RVS工具集包含RapiTime——时间性能测试分析工具、RTBx——高速海量测试数据记录仪,以及DO-178B/C验证工具包,针对航空电子和汽车电子软件提供专业的验证能力。
RVS提供两个版本:航空领域(Aero)和汽车领域(Auto)
航空类软件应用是具有高安全性要求并且是高集成化的,通常要求满足DO-178B/C或者同等的软件标准,同时许多是采样ARINC-653的分区操作系统,其测试非常复杂。RVS的Areo能够满足这些软件苛刻的规范和测试要求。
RVS的Auto针对汽车电子软件的特点进行设计。能够支持从8位到32位的处理器,无论是否使用操作系统(如AUTOSAR),都能够验证软件是否满足ISO26262的要求。
● RVS主要组件 RapiTime ——软件执行时间(WCET)性能测试分析软件
RapiTime为软件的时间性能测量和分析提供全面、深入、便捷的解决方案。
针对实时和嵌入式应用,RapiTime能够进行软件时间性能的测量,通过分析得出最差执行时间数据,并为代码优化提供指导。
RapiTime的优点:
RapiTime主要功能:
使用RapiTime进行性能分析
+查看每个函数的最差和最优性能
+检查不同的函数对于最差、最优以及平均执行时间的影响
+通过大量调用来查看执行时间的变化
+对于函数自身的上下文、循环以及数据块进行分析
+定位产品的性能瓶颈
使用RapiTime进行最差情况执行时间分析
+确定精确的最差情况执行时间
+可视化的显示每个函数对最差情况执行时间的影响
+检查最差情况的出现频率
+识别代码在最差情况下的执行路径
+显示由于硬件性能不同对于执行时间的影响
RapiTime提供的测试分析报告
+ 提供基于Eclipse框架的工具,能够交互式的访问所有的RapiTime的数据
+ 通过RapiTime的报告浏览器可以直观地查看到分析结果和数据
+ 搜索和排序功能可以突出显示程序的瓶颈
+ 提供程序和最差情况路径的调用树
+ 图形化显示执行时间的分布
代码覆盖率的细节
+测试覆盖率
+最差情况执行路径中函数的调用关系
+标识出在最差情况下执行的代码(蓝色)
+未测试的代码(红色)
+不在最差情况执行路径中的代码(绿色)
RapiTime对各种软、硬件开发平台具有良好的兼容性:
● RTBx——高速海量测试数据记录仪
RTBx为用户提供了良好的测试数据采集、存储方案。
在利用Rapita Systems系列软件RVS进行时间性能分析的时候,需要通过测量的方式获得待测软件在具体目标硬件上真实的执行时间,并加以记录,RVS软件对这些数据进行分析,得到时间性能和覆盖率的相关报告。
RTBx优点:
● RVS DO-178B/C验证工具包
DO-178B/C是针对民用航空机载软件的开发和适航认证所制订的标准。它针对不同级别的软件,定义了一系列的目标、这些目标的独立性要求、实现这些目标应生成的生命周期数据(lifecycle date),并定义了这些数据的控制类别(Control Category)。判别软件是否可以通过适航认证的一个主要依据是,针对软件的级别,检查软件的研制过程是不是满足了标准所规定的目标(及其独立性、控制类别等等)。例如,对于A级的软件来说,DO-178B/C 标准中所规定的66 个目标必须完全达到,缺一不可。
RVS提供DO-178B/C的验证支持,帮助用户在使用RapiTime工具进行验证的工程中获得DO-178B/C的验证支持。
Rapita 公司针对用户的项目对于RapiTime工具提供三项鉴定支持: