设计用于嵌入式软件测试,RVS包括柯林斯航空航天、空中客车和丰田在内的一些世界知名公司都在使用。
我们的免费30天试用期包括所有您需要体验RVS,让你:
- 使用RVS一套软件测试工具,在几分钟内分析样例应用程序
- 在主机上构建自己的应用程序(适用于大小限制)
- 编写和运行系统、集成和单元测试(Rapi测试)
- 测量到MC/DC (Rapi封面)
- 计算最坏情况执行时间(WCET)并确定源代码中的优化机会(Rapi)时间)
- 从应用程序可视化系统调度行为(Rapi任务)
- 使用我们的零足迹嵌入式测试工具来探索代码覆盖所包含分支跟踪的无工具验证(Rapi封面零)和执行时间(Rapi时间零)分析
- 了解如何使用符合航空电子设备测试(DO-178)和汽车测试(ISO 26262)资格的工具来验证您的安全关键项目。
完整的详细教程,试用版支持64位Windows 7和Windows 10。
注册30天免费试用
旅游房车的成功故事
阿莱尼亚航空母舰M-346 Master是一种军用跨音速教练机,设计用于训练前线战斗机的战斗飞行员,由数字飞行控制系统提供动力。Alenia Aermacchi使用了两个Rapi时间和加固封面为M-346 Master开发飞行控制软件,使他们能够轻松识别最坏情况的执行时间热点,并提供证据,证明他们的测试覆盖了他们的代码库,这是他们获得DO-178B认证所需要的。
通过使用这些RVS在工具的帮助下,Alenia Aermacchi能够快速识别系统中的瓶颈,支持优化系统中最坏情况下的计时行为,并快速、准确和有效地生成他们的a级软件的结构代码覆盖证据(包括MC/DC)。