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

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

Rapita验证套件(RVS)

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

多核验证

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

服务

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

行业

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

其他

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

拉皮塔总部最新消息

ob 体育

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

来自Rapita博客的最新消息

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

最新发现的页面

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

即将来临的事件

安全使用多核处理器研讨会
2021-11-10
如何执行具有成本效益的多核验证
2021-11-18
查看事件

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

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

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

最新的视频

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

最新案例研究

柯林斯白皮书封面
为柯林斯航空航天提供世界级的工具支持
支持柯林斯航空公司获得DO-178C企业工具资质(RVS)
Cobham Aerospace Connectivity: 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. 嵌入式软件测试工具

发现嵌入式软件测试工具

  • 介绍
  • 要点
  • 工具
  • 加固测试

嵌入式软件测试工具

在嵌入式系统中,硬件和软件被集成来执行特定的功能,微控制器/微处理器通常充当“大脑”,驱动预期的动作。嵌入式系统的例子包括洗衣机、自动取款机、飞行控制系统、导航系统和发动机电源管理系统。

在嵌入式测试中,对嵌入式硬件或软件的功能行为进行验证和验证,以提供证据,证明它满足了预期的功能,并且是健壮的。测试在开发中扮演着至关重要的角色,因为最终用户可能无法修改底层软件或访问硬件组件。

芯片
- 178白皮书吗
你对哪些工具感兴趣?
当您联系我们时,我们将按照我们的资料保护政策处理您的个人资料,请参阅我们的客户隐私信息为更多的信息。

接下来会发生什么?
我们的目标是在一个工作日内响应试用版的请求。如果你有任何问题,请不要犹豫联系我们。

软件测试要点

嵌入式软件测试是一项严格的任务,可能需要大量的时间和劳动。手工测试是昂贵的,容易出错,并且很难重新进行手工测试。自动化测试的工具可以提高过程的效率并节省成本。工具自动化还允许在持续集成环境中运行测试,从而减少了识别和修复软件开发期间所开发的任何bug所需的工作。

因此,使用工具来自动化软件测试是执行健壮测试计划的很好的一步,因为好的工具可以节省开发人员的时间和降低项目成本。下面我们列出了一些在选择嵌入式软件测试工具时需要注意的重要特性。

1.目标上和主机上的测试

嵌入式软件也可以进行测试目标或主机.在目标上测试中,在要部署的硬件(目标)上测试应用程序。在主机上测试中,应用程序在与最终应用程序具有不同硬件环境的主机上进行测试。

目标测试很重要,因为软件行为常常很大程度上依赖于软件所承载的硬件环境。然而,目标上的测试通常比主机上的测试更昂贵,并且需要访问目标硬件。然而,在某些应用程序中,对最终目标硬件的访问可能并不容易获得,可能只有在软件开发的后期才可用。

主机上的测试通常比目标上的测试更少的资源密集型,并且提供了一种即使在硬件不可用时也能执行测试的方法。这有几个好处,包括允许测试自动化,并在软件开发期间持续运行,以及允许测试在场外执行。

在测试嵌入式软件时,最好的选择是打开选项,这样就可以同时执行目标上和主机上的测试。专门为目标测试而设计的工具,例如RVS还支持主机上的测试,为您提供使用两种测试策略的灵活性。

2.单元、集成和系统测试

嵌入式软件可以在不同的粒度级别上进行测试,代表的环境或多或少地代表了软件将驻留在其中的最终系统。其中,经常使用单元测试、集成测试和系统测试等术语。

单元测试涉及孤立地测试应用程序的各个模块,即不与其他模块或数据库等外部依赖项进行交互。因为单元测试只需要软件的一个子集,所以它允许在软件开发的早期就开始测试。单元测试通常作为一组回归测试在整个开发过程中自动运行,这些回归测试可以识别开发过程中引入的错误。

集成测试包括在组合模块时检查模块是否工作正常。这为测试提供了更广泛的范围,并且在集成测试期间通常会检测到由于模块交互而引入的错误。

系统测试包括检查整个集成软件是否正常工作。在完全集成的系统上执行,这让工程师检查系统是否满足其高级需求。

由于单元测试、集成测试和系统测试在嵌入式软件测试中都有好处,您可能希望选择这样的工具加固测试,它允许您在所有粒度级别上测试系统。

3.结构代码覆盖分析

结构代码覆盖率是用来建立软件测试完整性的度量。在测试一个系统时,覆盖率达到的百分比越高,软件出现非预期功能、错过测试或需求的风险就越小。

当测试嵌入式软件时,可能会收集到各种代码覆盖率指标,这为软件测试提供了一个不断增加的粒度级别:

  • 功能覆盖
  • 语句覆盖
  • 决定(分支)报道
  • 修正条件决策覆盖范围(MC/DC)

在选择嵌入式测试工具时,您执行的覆盖率测试粒度越高,您就越确信您的软件不会包含无意的功能。因此,您可能希望选择一个工具,例如加固封面,它分析上面列出的所有级别的覆盖率。

4.执行时间分析

执行时间分析使开发人员能够理解其代码在目标环境中的执行时间行为。在处理实时系统或安全关键应用程序时,这种分析尤其重要。

这个分析可以用来测试软件是否在分配给它的任何时间预算内执行,并且很容易地识别可以优化的代码区域,以提高它的时间性能。

当分析软件执行时间时,各种计时指标是有意义的:

  • 代码的总执行时间
  • 高水位执行时间
  • 每个函数对执行时间的贡献
  • 最坏情况下的执行时间(在安全关键应用程序中至关重要)

与代码覆盖率分析工具一样,您从嵌入式测试工具中获得的指标越多越好。这样的工具加固时间让您执行软件的详细计时,帮助您优化代码和最大限度地利用您的目标硬件。

5.调度分析

调度分析提供了任务执行时间的概述,允许嵌入式测试人员了解程序流程和任务响应时间。这种分析还可以让工程师了解特定事件在他们的软件中发生的频率。从这些信息中,可以识别、调查和解决罕见的计时事件,如竞争条件或死锁。

为了更好地理解系统的调度行为,您可能需要寻找一些工具,这些工具的特性可以帮助您轻松地可视化大型跟踪,并查看额外的指标,如CPU利用率和抖动,如加固任务.

6.持续集成

持续集成服务器通常用于跟踪软件开发的时间。当自动化测试工具可以与正在使用的持续集成服务器交互时,测试可以自动运行软件的每个新版本。这有助于软件质量控制,因为它允许您跟踪测试进度,并确定源代码的哪个版本导致了失败。

在选择嵌入式软件测试工具时,您可能希望选择一个与您已经使用的持续构建环境集成的工具。

7.工具资格

如果您需要验证您正在开发的嵌入式软件,那么最好确保您将要使用的测试工具能够产生准确的结果。为了提供这种保证,软件测试工具供应商可以确认他们的工具,提供证据证明他们通过对工具的内部测试产生可靠的结果。这一特性是必不可少的,特别是在使用安全关键软件时,例如航空电子软件和做- 178认证.

市场上的工具

市场上有许多软件工具提供了上面列出的一些功能。的Rapita验证套件(右VS)包含插件,使嵌入式测试工程师能够在一个自动化平台上从他们的软件收集验证数据,而它运行在主机或嵌入式目标上,并让他们通过持续集成服务器跟踪数据,如詹金斯.

RVS包括一系列插件,让您自动化嵌入式软件测试的各个部分:

  • 单元、集成和系统测试的生成和执行加固测试
  • 结构代码覆盖分析-加固封面
  • 〇执行时间分析加固时间
  • 调度分析-加固任务

RVS插件已经有资格在许多需要认证的成功项目中使用。

旅游房车

Rapita验证套件:关键嵌入式系统的目标软件验证

选择你的免费资源:
当您联系我们时,我们将按照我们的资料保护政策处理您的个人资料,请参阅我们的客户隐私信息为更多的信息。
  • 解决方案
    • 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