航空航天

拉比测验^航空的是一个为单元和集成测试而设计的测试框架。拉比测验^航空的通过自动化测试工具的生成、执行和结果收集，减少了对代码应用基于需求的测试所需的工作量。

凭借其强大的测试格式，Rapi测验^航空的减少编写测试用例所需的时间。拉比测验^航空的允许您在主机或测试设备上作为连续构建环境的一部分运行测试，因此办公时间不会延迟您的项目。

现成的鉴定工具包和合格的target integration服务将帮助您鉴定Rapi的使用测验^航空的在DO-178/ED-12C项目中。

拉比掩蔽^航空的是专门为满足验证艾达、C和C++的航天软件在关键嵌入式系统中所面临的挑战而设计的。该工具从主机、模拟器或嵌入式目标本身上运行的软件测试中收集结构覆盖率测量值。

通过与本机构建系统Rapi无缝集成掩蔽^航空的允许您自动收集验证数据，例如在连续生成环境中。与市场上的类似工具相比，Rapi掩蔽^航空的有极低的管理费用，因此可以在较少的测试运行中收集覆盖率数据。

拉比掩蔽^航空的满足DO-178C/ED-12C认证的需要通过收集声明、决定和修改条件/决策覆盖率数据见下表。拉比掩蔽^航空的分析支持CAST-10定义的“决定”的两种解释. 高质量ob 游戏 适用于Rapi掩蔽^航空的为DO-178C/ED-12C项目提供鉴定工具所需的证据。

拉比时间^航空的设计用于满足验证艾达、C和C++在关键嵌入式系统中编写的航天软件的挑战。该工具从主机、模拟器或嵌入式目标本身上运行的软件测试中收集执行时间测量值，并减少分析执行时间行为、优化软件和更新遗留系统所需的成本和工作量。

通过与本机构建系统Rapi无缝集成时间^航空的允许您自动收集验证数据，例如在连续生成环境中。与市场上的类似工具相比，Rapi时间^航空的有极低的管理费用，因此您可以在较少的测试运行中收集验证数据。

拉比时间^航空的的ob 游戏 提供所需证据，以证明该工具适用于DO-178C/ED-12C项目。

拉比任务^航空的帮助嵌入式航空工程师了解他们的艾达，C和C++软件的调度行为。当在主机、模拟器或嵌入式目标本身上运行软件测试时，该工具收集有关任务级调度行为的数据，并提供各种显示、图表和图形来帮助您分析数据。

通过与本机构建系统Rapi无缝集成任务^航空的用于自动收集任务级计划数据，例如在连续生成环境中。

拉比任务^航空的可用于演示航空航天电子设备中使用的复杂应用程序的调度行为，例如使用ARINC-653兼容RTOS的应用程序。

Rapi报告的信息任务^航空的提供支持DO-178C认证的证据，例如：

• 6.3.2c：与目标计算机的兼容性：“…尤其是资源的使用，如…系统响应时间。”ob 直播
• 6.3.3c：与目标计算机的兼容性：“…异步操作、同步和中断…”
• 6.4.2.2e：“应进行检查以确保超出帧时间的保护机制正确响应。”