跳过主要内容
天的免费试用 客户门户网站 空缺 - 178 c手册吗
欧宝体育登录不上

行业领先的验证工具和服务

Rapita验证套件(RVS)

加固测试——单元/系统测试 加固封面- 结构覆盖分析 加固时间-时序分析(包括WCET) 加固任务——调度可视化 ob 体育在线竞猜 ob.app ob 直播

多核验证

CAST-32A合规 ob 官网 加固守护进程

服务

V&V服务 ob 游戏 培训 工具集成 支持

行业

航空航天(c - 178) 汽车(ISO 26262) 空间

其他

RTBx Mx-Suite 软件许可 产品生命周期政策 旅游房车发展路线图

拉皮塔总部最新消息

ob 体育

航空航天科技周 - 11月2021年
NASA选择Rapita验证套件作为月球门户
约克航空航天和火箭学会更新
FACE技术交流会议- 2021年9月
ob 体育

来自Rapita博客的最新消息

介绍RapiTest编辑器
太阳轨道飞行器的软件验证
Metrowerks CodeTest -如何升级以及为什么升级
利用面部一致性伪像来支持适航性
查看博客

最新发现的页面

do178c.- 178 c吗
matlab_simulinkMATLAB Simulink MCDC覆盖和WCET分析
code_coverage_adaADA,C和C ++的代码报道
amc - 20 - 193AMC 20 - 193
视图发现页面

接下来的活动

NXP多核航空电子设备2021
2021-11-16
如何执行具有成本效益的多核验证
2021-11-18
查看事件

行业专业人员的技术资ob 直播源

最新白皮书ob体育盘口线上

do178c手册
通过DO-178C生命周期进行有效验证
安全关键多核定时分析的商业解决方案
白皮书缩略图
符合未来机载能力环境(FACE)标准
查看白皮书ob体育盘口线上

最新视频

RVS 3.15视频缩略图
多核时序分析支持与RVS 3.15
如何验证航空电子设备的多核硬件和软件
验证多核硬件和软件
使用RapiTest编辑器进行测试
多核定时分析中的工具自动化
自定义多核导出与RVS
观看视频

最新案例研究

白皮书柯林斯的前盖
为柯林斯航空航天提供世界级的工具支持
支持柯林斯航空公司获得DO-178C企业工具资质(RVS)
Cobham Aerospace连通性:Rapicover继续提供最具挑战性的目标
视图的案例研究

其他下载

网络研讨会

宣传册

产品简介

技术注释

研究项目

探索Rapita.

我们是谁

该公司的菜单

  • 关于我们
  • 顾客
  • 分销商
  • 位置
  • 合作伙伴
  • 研究项目
  • 联系我们

我们办公室

+1 248-957-9801
info@rapitasystems.com
41131 Vincenti Ct。
诺小姐,48375年
美国

英国的办公室

+ 44 (0) 1904 413945
info@rapitasystems.com
阿特拉斯州
纽约,YO10 3简森-巴顿
英国

在rapita工作

欧宝娱乐可信吗

欧宝娱乐可信吗职业生涯的菜单

  • 目前的机会和应用程序
  • 在rapita工作
回到顶部

面包屑

  1. 首页
  2. 旅游房车
  3. RapiTest
RapiTest

关键软件的功能测试

为什么选择加固测试?

  • 基于需求的Ada测试,C & c++主机和目标
  • 通过易于使用的测试格式减少测试编写工作
  • 管理需求可追溯性的项目伪影
  • 通过集成CI工具简化验证
  • 提供DO-178和ISO 26262认证的证据
请求演示
  • 概述
  • 特性
  • ob 直播
  • 兼容性
  • 常见问题

基于需求的Ada测试,C & c++主机和目标

通过自动化测试线束生成,执行和结果收集,RAPI测试减少对代码应用基于需求的测试所需的工作。灵活的集成策略无论您的目标硬件是什么,都要确保有效的验证。

加固测试使您可以轻松地以其他工具无法做到的方式测试代码,自动处理代码元素(如私有类型和泛型)的测试,并允许您编写多线程测试,以帮助您识别代码中的竞争条件。

减少测试工作
简单的测试格式

通过易于使用的测试格式减少测试编写工作

我们相信您的时间应该花在编写更多的测试上,而不是调试它们。加固测试通过简单易用的测试格式使编写和审查测试变得容易。虽然易于使用,但它们让您可以轻松地编写复杂的测试,包括循环或多线程等结构。

它很容易开始写入Rapi的测试测试凭借我们的教程范围,广泛的文档和实践培训。

管理需求可追溯性的项目伪影

通过将您的测试与它们的需求链接起来,保持您的需求覆盖范围的顶端。在从您现有的需求管理软件导入需求之后,您可以将每个测试链接到它所处理的需求,让您根据它们跟踪您的结果。

方便的结果视图和导出使您可以跟踪您的测试符合哪些需求,哪些不符合,以及您还没有为哪些需求添加测试。

要求可行性
CI集成

通过使用持续集成工具集成来简化验证

使用Rapi保持您的验证在轨道上测试与持续集成工具一起使用。通过我们的集成,收集单元测试结果并跟踪项目的进度詹金斯和竹子.

通过使用Rapi分析代码测试在每个新构建中,当异常发生时,您可以很容易地识别它们的执行时间结果。

提供DO-178和ISO 26262认证的证据

做好准备- 178 c吗ISO 26262认证和我们的认证套件。我们现有的认证套件和合格的目标集成服务可以帮助您对R的使用进行认证VS.

R的许多特性VS是合格的,包括我们的仪器仪表和覆盖合并,哪些节省了客户喜欢柯林斯航空大量的体力劳动。

产品认证的证据

产品特性

  • 功能测试
  • 综合测试环境
  • 项目导航
  • 与构建系统的集成
  • 与嵌入目标集成
  • 与第三方工具的集成
  • 语言支持
  • 许可
  • 支持和培训
  • 资格
  • 功能测试 在单元、集成和系统级别运行软件的功能测试。
    发现此功能
  • 高效试验 减少编写和执行测试所需的时间。
    发现此功能
  • 强大的测试格式 使用用户友好的格式编写简单和复杂的测试。
    发现此功能
  • 需求跟踪 测试工件(包括需求和测试)之间的可跟踪性。
    发现此功能
  • 灵活的存根 对函数应用stub, mock, spy, fake和dummy行为。
    发现此功能
  • 白箱测试 观察和测试函数执行时的行为,而不仅仅是在函数边界。
    发现此功能
  • 黑匣子测试 在不修改对象代码的情况下运行功能测试。
    发现此功能
  • 私有对象的访问 测试和存根私有对象而不需要特定的测试代码来暴露它们。
    发现此功能
  • 多线程测试 测试多线程、非确定性软件,并在代码中识别潜在的竞争条件。
    发现此功能
  • 电子表格格式 使用强大的电子表格格式轻松编写测试。
    发现此功能
  • 脚本格式 使用强大的脚本格式编写测试。
    发现此功能
  • 对主机和目标进行自动化测试 在持续构建环境中的主机和测试平台上运行测试。
    发现此功能
  • 高效集成的工作流 快速轻松地配置RVS对开发环境的集成。
    发现此功能
  • 轻松管理测试运行 轻松地管理测试运行以减少测试工作。
    发现此功能
  • 生成测试模板 使用模板测试生成器轻松开始编写测试。
    发现此功能
  • 自动生成测试向量 自动生成用于处理数字输入的C和C ++函数的测试向量。
    发现此功能
  • 最优数据集计算器 计算并运行最小测试集,以实现与前一组测试相同的覆盖率。
    发现此功能
  • 旅游房车项目经理 使用直观的用户界面完成您的测试项目以完成。
    发现此功能
  • 与基于仪器的RVS工具共享集成 在集成一个RVS工具以在开发环境中工作之后,再使用其他工具就很简单了。
    发现此功能
  • 便携式测试环境 多个用户可以共享相同的测试环境。
    发现此功能
  • 易于配置的分析 使用友好的用户界面,轻松地应用分析设置。
    发现此功能
  • 可配置导出格式 以各种格式导出测试结果。
    发现此功能
  • 比较报告 比较来自不同版本的报告,以跟踪项目的进展随时间。
    发现此功能
  • 可定制的工作流程 定制RVS工作流程,以最佳满足您的需求。
    发现此功能
  • 自动重新格式化电子表格测试 使用自动重新格式化工具确保电子表格测试保持一致的样式。
    发现此功能
  • 模板集成 创建和使用模板集成,以减少与系统集成RV的努力。
    发现此功能
  • 可定制颜色方案 自定义用于显示结果的配色方案。
    发现此功能
  • 全面核查toolsuite 一个满足您所有软件验证需求的工具。
    发现此功能
  • 单元测试期间的时间分析 在单元测试期间收集执行时间度量,以支持整个软件生命周期的时间优化。
    发现此功能
  • 代码查看器 查看带有语法高亮和结果颜色编码的代码。
    发现此功能
  • 轻松过滤结果 轻松过滤结果以重点您的分析。
    发现此功能
  • 高级搜索功能 使用高级查询搜索特定元素的报告。
    发现此功能
  • Triemaps. 一目了然地查看代码的覆盖率和层次结构。
    发现此功能
  • 与现有的构建系统集成 从几乎任何构建系统中收集数据。
    发现此功能
  • 编译器包装 推荐的构建集成策略几乎不需要对开发环境进行任何更改。
    发现此功能
  • 克隆整合 复制构建系统以使用RVS构建和测试代码。
    发现此功能
  • 詹金斯 通过Jenkins自动运行RVS来收集和归档结果。
    发现此功能
  • 竹子 通过Bamboo自动运行RVS来收集和归档结果。
    发现此功能
  • JUnit 在支持JUnit的持续集成系统中显示RapiTest结果。
    发现此功能
  • 从其他工具迁移测试 将测试从现有的测试工具迁移到RapiTest中使用。
    发现此功能
  • VectorCAST 迁移要在RapiTest中使用的VectorCAST测试。
    发现此功能
  • 粪便测试 在验证生命周期的所有阶段中,在主机上和目标上测试SCADE模型。
    发现此功能
  • 遗留Ada测试工具 简单的迁移路径可以帮助您从流行的Legacy Ada测试工具升级。
    发现此功能
  • 软件配置管理 与软件配置管理工具的集成确保输入测试保持最新。
    发现此功能
  • REQIF格式要求 以requif格式导入需求,并导出测试通过/失败状态和需求覆盖率。
    发现此功能
  • 灵活的集成策略 通过灵活的收集策略从几乎任何嵌入目标中收集数据。
    发现此功能
  • 多核支持 验证关键的多核系统。
    发现此功能
  • Lauterbach调试器 从Lauterbach调试器中收集验证数据。
    发现此功能
  • iSYSTEM调试器 从iSYSTEMTM调试器收集验证数据。
    发现此功能
  • C 支持C,Visual Studiotm,GCCTM,DiaBTM和TaskingTM编译器等。
    发现此功能
  • c++ 支持C ++,Visual Studiotm,GCCTM,DiaBTM和TaskingTM编译器等。
    发现此功能
  • 艾达 支持Ada 95, 2005和2012,GNAT ProTM和Green HillsTM编译器等。
    发现此功能
  • 混合语言支持 在相同的代码库中支持混合语言。
    发现此功能
  • 组装 支持测试汇编代码。
    发现此功能
  • 编译器扩展编辑器 使用交互式编辑器管理扩展以支持非标准编程语言。
    发现此功能
  • 灵活的许可选项 选择具有年度或永久持续时间的浮动或节点锁定的许可证。
    发现此功能
  • 浮动许可证 浮动许可证支持多用户和共享工作环境。
    发现此功能
  • 节点锁定的许可证 节点锁定许可证支持在有限的地理区域内使用RVS。
    发现此功能
  • 永久许可证 许可RVS无限期使用。
    发现此功能
  • 年度许可证 许可证RVS以年度增量。
    发现此功能
  • 很容易开始 集成和学习资源可帮助您开始立即验证代码。ob 直播
    发现此功能
  • 支持 专门的技术支持服务,快速解决技术问题。
    发现此功能
  • 教程 了解如何从我们的验证解决方案与简单的,交互式教程。
    发现此功能
  • 培训 跟上由熟练的现场应用工程师提供的定制培训课程。
    发现此功能
  • 文档 了解如何使用RVS功能与全面的文档在印刷和电子格式。
    发现此功能
  • 轻松迁移到新版本 使用有指导的迁移帮助轻松迁移到新的RVS版本。
    发现此功能
  • DO-178B / C资格套件 DO-178B / C项目中RVS资格的资格套件。
    发现此功能
  • ISO 26262认证套件 ISO 26262项目中的RVS资格认证套件。
    发现此功能
  • 合格的目标集成服务 在您的开发环境中限定使用RVS的其他证据。
    发现此功能
  • 保证问题的通知 一旦发现可能影响结果有效性的问题,我们会立即通知您。
    发现此功能

视频

使用RapiTest Thumbnail进行功能测试
使用RapiTest进行功能测试
00:01:49 |概述
使用RV的代码更改后,优化测试运行
00:02:25 |特征
用RapiTest缩略图进行需求跟踪
使用RapiTest进行需求跟踪
00:02:11 |特征
使用RapiTest轻松管理测试运行
00:01:03 |特征

分页

  • 当前页面1
  • 页面2
  • 页面3.
  • 下一页;
  • 最后一页去年»

下载

订单信息表
RapiTest DO-178C工具认证订单信息
订单信息表
Rapitest ISO 26262工具资格订单信息
网络研讨会
使用RVS和ANSYS®SCADE®Test™进行高效测试

符合未来机载能力环境(FACE)标准
宣传册
欧宝体育登录不上Rapita Systems手册
宣传册
汽车多核时序分析解决方案

分页

  • 当前页面1
  • 页面2
  • 下一页;
  • 最后一页去年»

新闻与博客

新闻
NASA选择Rapita验证套件作为月球门户
博客
介绍RapiTest编辑器
新闻
Rapita主持基于ANSYS的SCADE网络研讨会
博客
太阳轨道飞行器的软件验证
新闻
3.13旅游房车推出
博客
从系统测试生成低级测试

分页

  • 当前页面1
  • 页面2
  • 下一页;
  • 最后一页去年»

操作系统

类型 操作系统
目标部署 RVS工具可以用来分析软件运行任何主机操作系统或嵌入式目标(只要有可用的通讯渠道)。
主机工具 Windows 7 +
Windows Server 2008 R2+
各种Linux发行版(包括Ubuntu和Red Hat)
对于较老的操作系统,联系我们.
RVS工具可以在所有受支持的平台上使用。

编程语言

语言
艾达
C
c++
复杂的语言

编译器

RVS被设计成独立于目标编译器。我们已经部署了下面列表中的编译器,并可以根据客户的要求快速添加新的编译器。

小贩 编译器
AdaCore 蚊GPL
GNAT Pro
手臂 DS-5
armcl
宝蓝 Borland c++
宇宙的软件 -
GNU 海湾合作委员会
G ++
greenhill ada多
C多
系统 嵌入式工作台
凯尔 C51.
微软 Visual Studio
恩智浦 CodeWarrior HCS12.
任务 CC166
德州仪器公司 CCSv6
CL500
CL2000
C6X
C28X
风河系统公司 迪亚布
CCPPC

CPU.

RVS工具可以用来分析软件运行任何主机操作系统或嵌入式目标(只要有可用的通讯渠道)。下面是一个不完我们使用过的cpu列表。

小贩 平台
手臂 ARM7.
ARM9.
ARM10
ARM11
Cortex-M
Cortex-R
Cortex-A
模拟设备 黑鳍白鲑
SHARC
SigmaDSP
TigerSHARC
ADSP-21xx
爱特梅尔公司 AT90CAN128
科巴姆Gaisler公司 LEON3
飞思卡尔(恩智浦) 68000
680x0.
ColdFire
M-CORE
电源架构(MPC5xx, MPC55xx, MPC56xx)
ARM Cortex-M微控制器(Kinetis E系列、Kinetis K系列、Kinetis L系列、Kinetis M系列、Kinetis W系列)。
56 k DSP的家庭
QoriQ(P2010,P2020,P4080,P5010,P5020,P5021,P5040,T2080)
IBM PowerPC (PPC)实现:
G1(601)
G2 (602, 603, 604, 620)
G3 (740/750)
7 xx / 750家庭
G5/970系列
401
403
405
440范围
英飞凌
XE166家庭
XC 2000家族
C166家庭
TriCore
Tricore Aurix
Tricore Aurix Gen2.
XMC1000

常见问题

  • 一般
  • 资格和认证
  • 兼容性
  • 许可和支持
展开全部
  • RapiTest是什么?
  • RapiTest是如何工作的?
  • RapiTest支持哪些类型的测试?
  • 如何编写与Rapitest一起使用的测试?
  • RapiTest如何帮助我生成测试?
  • RapiTest支持什么样的存根行为?
  • 有多少测试可以拉紧立即运行?
  • RapiTest如何帮助我选择要运行的测试?
  • 我的结果是如何呈现的?
  • RapiTest如何帮助我跟踪需求和测试之间的关系?
  • 我可以使用RapiTest测试我的SCADE测试目标吗?
  • 我的软件是必须通过安全准则认证的产品的一部分。CAN Rapitest有资格在我的项目中使用吗?
  • 如何在应用仪器时验证我的软件功能和时间行为?
  • RapiTest支持哪些语言?
  • 代码基础如何rvs工具句柄?
  • 哪个主机操作系统可以使用RV?
  • 我可以用我的构建系统使用Rapitest吗?
  • 你能帮我迁移现有的测试,让它们在RapiTest中工作吗?
  • 我可以在持续集成环境中使用RVS工具吗?
  • RVS工具支持哪些硬件架构?
  • RVS产品如何获得许可?
  • RVS如何支持企业许可?
  • 如果我在使用RVS工具时遇到问题怎么办?
  • 您能否提供以不同的Rapitest格式写的测试样本?
  • 你们如何支持房车用户?
  • RVS用于软件验证多长时间?
  • 我如何了解更多关于Rapitest的信息?
  • RapiTest是什么?

    加固测试是关键软件功能测试的领先工具。

    在全球航空航天和汽车工业中使用,它降低了各级功能测试的成本,包括系统、集成和单元测试。

    作为R的一部分VS工具套件,它构成了软件验证解决方案的一部分,该解决方案还包括用于结构覆盖分析和最坏情况执行时间分析的工具。

  • RapiTest是如何工作的?

    加固测试通过使用输入测试来工作各种格式的以及对程序结构的理解,通过动态分析来生成在本地构建系统上执行的测试工具来收集测试结果。当从硬件目标收集数据时,几乎可以从任何目标硬件收集数据各种各样的方法.

  • 哪个主机操作系统可以使用RV?

    RVS工具支持Windows 7或Newer,Windows Server 2008 R2或更新,以及各种Linux发行版,包括Ubuntu和Red Hat。

    RVS工具可以在不支持操作系统的项目上使用,方法是使用克隆集成来分割进程并将其部分委托给不支持的机器。

  • RVS工具支持哪些硬件架构?

    RVS可以将工具集成到几乎任何嵌入式目标上。我们的工程师可以与您一起确定将工具与您的目标集成的最佳策略,即使是多核架构。有关硬件架构的更多信息,我们集成了RVS工具,请参阅我们的RVS产品页面。

  • 我可以用我的构建系统使用Rapitest吗?

    加固测试可以集成到几乎任何编译器和目标硬件。我们的集成服务承诺提供RAPI的强大集成测试进入您的构建系统。

  • RapiTest支持哪些语言?

    加固测试支持C, c++和Ada项目,包括混合语言项目。

  • 我的软件是必须通过安全准则认证的产品的一部分。CAN Rapitest有资格在我的项目中使用吗?

    加固测试旨在满足认证过程中最严格的需求,如用于航空航天工业的DO-178B/C过程和用于汽车工业的ISO 26262过程。我们可以提供开发人员资质文件,模板集成资质报告和现场测试,以支持您的资质Rapi测试在需要认证的项目中。

  • 我的结果是如何呈现的?

    加固测试结果在a友好的用户界面.当您运行一个测试时,您的结果仅仅基于您测试的子程序显示,让您根据需求快速检查您的结果。

    您还可以查看Rapi测试持续集成软件的结果,允许您随时间跟踪验证过程。

  • 有多少测试可以拉紧立即运行?

    根据目标上可用的资源和数据收集策略,可以在目标上的单个构建中包含任意多个测试。ob 直播就像我们所有的RVS工具、加固测试具有非常低的开销,这意味着与使用其他工具相比,您可以在更少的构建中完成测试周期。

  • RapiTest支持什么样的存根行为?

    测试生成算法Rapi测试用途是强大的和支持产生的所有类型的存根使用的行业,包括存根,嘲笑,假货,间谍和假人.

  • 如何编写与Rapitest一起使用的测试?

    加固测试支持用电子表格格式当脚本,并且可定制以支持现有的或替代的测试格式。您可以使用我们的电子表格和脚本格式来编写测试,如果有必要,我们可以为Rapi开发一个转换器测试解释以现有格式编写的测试。

  • RapiTest支持哪些类型的测试?

    你可以用拉皮测试用于生成测试高层次和低层次需求的代码,它支持为行业中理解的各种级别和定义生成测试,例如单元,模块,集成和系统测试。

  • 我如何了解更多关于Rapitest的信息?

    你可以申请R的试用版VS包括拉皮在内测试.你也可以安排一个示范,我们团队的成员将与您合作以显示RAPI的好处测试可以给你的。

    如果你对拉皮感兴趣的话测试在学术界,你可以在学术报刊上搜索一下.

  • 代码基础如何rvs工具句柄?

    RVS工具被设计用来处理非常大的代码库。由于RVS工具,对r的代码行数没有基本限制VS可以处理,而RVS工具已经用于包含数百万行代码的项目。

  • RVS产品如何获得许可?

    我们提供“节点锁定”和“浮动”许可,以及一个许可服务器,以支持在您的特定开发环境中使用我们的工具。

    有关我们的许可模型的更多信息,请参阅我们的RVS许可的常见问题.

  • 如果我在使用RVS工具时遇到问题怎么办?

    所有RVS许可包括访问我们专门的内部支持团队,他们将与您合作,为您的问题提供快速修复。这是我们愿景的关键部分。2016年,我们在一个工作日内回应了97%的新支持请求,在3个工作日内关闭了56%,在20个工作日内关闭了91%。我们也通过我们的网站和电子邮件告知我们的客户已知的问题。

  • 你们如何支持房车用户?

    我们提供了R的一个扩展集合VS文件与我们的每一个产品,并提供训练课程指导你如何最有效地使用RVS工具。我们所有的用户都可以通过特权访问我们的网站,其中包括新产品发布的下载。

  • RapiTest如何帮助我跟踪需求和测试之间的关系?

    加固测试帮助您跟踪需求和测试之间的关系。

    在导入各种格式的需求之后,包括Word、Excel和需求交换格式(ReqIF),它与许多需求跟踪工具兼容,您可以用它们测试的需求来标记您的测试。做完测试后,拉皮测试显示您的需求覆盖范围和每个测试的每个测试的状态,并允许您在RAPI中导出结果测试出口。

  • 我可以在持续集成环境中使用RVS工具吗?

    RVS与一系列持续集成工具集成,允许您收集每一个新构建的单元测试、覆盖率和执行时间结果,跟踪随时间推移的验证进度,并在引入软件行为时轻松识别异常。

  • 如何在应用仪器时验证我的软件功能和时间行为?

    我们建议,当使用RVS执行安全关键应用程序的功能测试的工具,以最终的运行评分,您运行您的完整测试套件,无论是否应用覆盖检测,然后确认结果匹配。这提供了覆盖率检测没有改变代码的功能行为的证据。

  • 我可以使用RapiTest测试我的SCADE测试目标吗?

    是的。加固测试与ANSYS®SCADE®TEST™集成,让您对粪便模型进行返回后退测试。通过解释和执行基于模型的测试,针对主机和目标测试的生成源代码,RAPI测试通过让您在验证生命周期的所有阶段重用您的SCADE测试来提高效率。

  • RapiTest如何帮助我生成测试?

    加固测试让你快速生成模板您可以用来编写测试。生成模板时,您可以快速将需求快速链接到测试,设置在测试和存根函数的单位的输入和预期输出值,以及设置配置选项。

  • RapiTest如何帮助我选择要运行的测试?

    加固测试可以轻松选择使用测试线束的每个构建运行的测试。测试选择选项旅游房车项目经理帮助您快速选择仅运行新的或修改的测试,测试失败,测试特定要求或其任何组合。

  • 你能帮我迁移现有的测试,让它们在RapiTest中工作吗?

    我们支持将为各种单元测试工具(包括商业和内部开发的工具)而生成的单元测试迁移到Rapi测试测试。我们与您一起创建一个解决方案,该解决方案可能是自动测试转换、由我们的工程师手动转换和审查的组合。

    我们可以迁移单元测试的格式包括,但不限于:

  • RVS用于软件验证多长时间?

    Rapita验证套件(RVS)已在关键的嵌入式行业应用超过15年,并支持了全球多个航空电子项目。合格RVS产品支持了20多个DO-178B和C认证项目,其中包括DAL A。

  • 您能否提供以不同的Rapitest格式写的测试样本?

    是的,我们可以。联系我们如果你想了解更多。

  • RVS如何支持企业许可?

    浮动RVS许可证遵循“企业”模型。您可以在地理边界*,在不同的项目中使用它们,与不同的用户,并将其与在同一项目上工作的供应商分享。

    *一些浮动许可证可能被限制在特定的地理区域内使用。在这种情况下,在发放许可证之前就达成协议。


RapiTest成功的故事

Rapita的V&V服务是如何为Triumph的驱动系统软件提供DO-178C认证的。

请求演示

现在是格林尼治时间

接下来发生什么?
我们的目标是在一个工作天内响应演示请求。

  • 解决方案
    • rapita.验证套房
    • 加固测试
    • 加固封面
    • 加固时间
    • 加固任务

    • CAST-32A合规计划
    • 验证和验证服务
    • ob 游戏
    • 培训
    • 一体化
  • 最新的
  • 最新菜单

    • ob 体育
    • 博客
    • 事件
    • 视频
  • 下载
  • 下载菜单

    • 宣传册
    • 网络研讨会
    • ob体育盘口线上
    • 案例研究
    • 产品简介
    • 技术注释
    • 软件许可
  • 公司
  • 公司的菜单

    • 关于Rapita.
    • 欧宝娱乐可信吗
    • 顾客
    • 分销商
    • 行业
    • 位置
    • 合作伙伴
    • 研究项目
    • 接触
  • 发现
    • AMC 20 - 193
    • CAST-32A是什么?
    • 多核时间分析
    • MC / DC覆盖
    • Ada的代码覆盖,C & c++
    • 嵌入式软件测试工具
    • 航天软件测试
    • 汽车软件测试
    • 证明eVTOL
    • - 178 c吗
    • WCET工具
    • 最坏情况下执行时间
    • 时序分析(WCET) & Matlab Simulink的代码覆盖

欧宝体育官网入口隐私信息|商标通知订阅我们的时事通讯

Baidu