
关键软件的功能测试
基于需求的Ada测试,C & c++主机和目标
通过自动化测试线束生成,执行和结果收集,RAPI测试减少对代码应用基于需求的测试所需的工作。灵活的集成策略无论您的目标硬件是什么,都要确保有效的验证。
加固测试使您可以轻松地以其他工具无法做到的方式测试代码,自动处理代码元素(如私有类型和泛型)的测试,并允许您编写多线程测试,以帮助您识别代码中的竞争条件。
产品特性
-
功能测试 在单元、集成和系统级别运行软件的功能测试。发现此功能
-
高效试验 减少编写和执行测试所需的时间。发现此功能
-
强大的测试格式 使用用户友好的格式编写简单和复杂的测试。发现此功能
-
需求跟踪 测试工件(包括需求和测试)之间的可跟踪性。发现此功能
-
灵活的存根 对函数应用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的其他证据。发现此功能
-
保证问题的通知 一旦发现可能影响结果有效性的问题,我们会立即通知您。发现此功能
视频
操作系统
类型 | 操作系统 |
---|---|
目标部署 | 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是什么?
加固测试是关键软件功能测试的领先工具。
在全球航空航天和汽车工业中使用,它降低了各级功能测试的成本,包括系统、集成和单元测试。
作为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许可证遵循“企业”模型。您可以在地理边界*,在不同的项目中使用它们,与不同的用户,并将其与在同一项目上工作的供应商分享。
*一些浮动许可证可能被限制在特定的地理区域内使用。在这种情况下,在发放许可证之前就达成协议。