0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

基于软件重用的应用程序的测试工具有什么用

星星科技指导员 来源:嵌入式计算设计 作者:MARK PITCHFORD 2022-11-08 11:43 次阅读

测试工具的使用在无数应用程序中非常广泛,但在客户环境中用于质量保证时具有特别的价值。

在军事软件技术开发方面,软件开发范式与汽车技术非常不同。在军事技术中,重复的应用程序和系统是例外,而不是规则。然而,如果有一种方法可以调整软件测试过程,以最大限度地提高军事应用中的代码重用率,则可以简化认证过程,并且可以有效地重用软件,从而使开发更快,更经济。更好的是,它有可能通过使用已经适用于先前应用的软件模块来增加信心,而不是基于家庭轿车生产运行的绝对数量。

回顾影响未来

虽然上述办法有其优点,但问题依然存在。例如,它假设当我们开始重用源代码时,代码是合理的,因为应用程序已经在现场得到了证明。但是,如果某些新功能建立在代码的路径上,而实际上很少或从未执行过,该怎么办?即使是经过充分验证的代码现在也可能处理非常不同的数据。它将如何表现?

深入了解现代软件测试工具的工具箱可以帮助回答这些问题,并确保代码是健壮的,尽管有无穷无尽的不同应用程序的不同需求。

任何读过1996年6月4日阿丽亚娜5号失败的人都知道任何错误假设所固有的危险。阿丽亚娜5号失败是因为惯性参考系统中出现的软件异常 - 尽管设计与阿丽亚娜4上成功使用的设计几乎完全相同,特别是在软件的情况下[1]。

如果对阿丽亚娜4号惯性参考系统源代码进行结构覆盖分析,则通过代码的所有相关路径都将被证明以稳健的方式运行。使用适当的边界情况来显示极端情况下的鲁棒性,将显示从 64 位浮点数到 16 位有符号整数值的不受保护的数据转换。当时,从开发人员的角度来看,这可能显得迂腐且无关紧要 - 这永远不会导致Ariane 4出现问题。但它与阿丽亚娜 5 有关。

快进到结构覆盖率分析

经过 16 年的发展,这些结构覆盖分析原则不仅在动态分析中被最好的测试工具套件所采用,而且在整个软件开发范围内也实现了自动化。例如,需求可追溯性工具提供了一个可追溯性矩阵,该矩阵在应用程序的整个开发生命周期中始终保持最新且相关。

在从现有应用程序开发新的自定义应用程序时,工具可以在源代码可能受到修订要求的影响时提醒开发人员。在阿丽亚娜5号的情况下,这种能力可能突出了重新测试惯性参考系统的必要性。它甚至可能在设计阶段具有相关性,当时它可以比较不同方法所隐含的间接费用,以满足每个修订的要求。

静态分析工具不仅可以确认源代码符合撰写本文时有效的编码标准,还可以在重用时从修订标准的角度分析代码。动态测试证明了在撰写本文时在极端情况下重用代码的能力,并促进了自动回归测试,以表明最新项目的任何增强都没有损害先前证明的功能能力和健壮性。

测试工具和软件重用 – 完美匹配

测试工具的用途远不止于定制开发,但正如这些示例所示,客户环境可以说是它们带来最大质量保证优势的环境。

审核编辑:郭婷

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 代码
    +关注

    关注

    30

    文章

    4786

    浏览量

    68552
  • 应用程序
    +关注

    关注

    37

    文章

    3268

    浏览量

    57694
收藏 人收藏

    评论

    相关推荐

    云端AI开发者工具怎么

    云端AI开发者工具通常包括代码编辑器、模型训练平台、自动化测试工具、代码管理工具等。这些工具不仅降低了AI开发的门槛,还极大地提高了开发效率和模型性能。下面,AI部落小编为您介绍云端A
    的头像 发表于 12-05 13:31 123次阅读

    嵌入软件单元/集成测试工具专业分析

    引言 在现代软件开发过程中,单元测试作为确保代码质量的重要环节,得到了广泛的关注和应用。随着嵌入式系统的复杂性日益增加,对高效、可靠的单元测试工具的需求也愈加迫切。WinAMS作为一款专为嵌入
    的头像 发表于 11-19 16:41 225次阅读

    CAN总线测试工具选择与使用

    在现代汽车和工业控制系统中,CAN总线因其高可靠性和灵活性而成为首选的通信协议。为了确保CAN网络的性能和可靠性,工程师需要使用专业的测试工具来监控、分析和诊断网络问题。 CAN总线测试工具的类型
    的头像 发表于 11-12 10:16 534次阅读

    CAN总线测试工具的主要功能

    CAN总线测试工具是用于测试CAN(Controller Area Network)总线通信的软件或硬件工具,其功能丰富且多样化。以下是CAN总线
    的头像 发表于 06-25 16:02 1059次阅读

    请问esp32的wifi调试工具哪个?

    请问依稀啊esp32的wifi调试工具哪个?
    发表于 06-21 06:33

    接口测试工具有哪些种类

    接口测试软件测试的一个重要环节,主要用于验证系统各模块之间的交互是否符合预期。随着软件行业的快速发展,接口测试工具也不断涌现,为
    的头像 发表于 05-30 15:07 704次阅读

    工具工具——映射与调度、模拟与验证、开发与测试工具

    本篇文章将重点介绍工具链的工具相关知识,我们将从工具链的基本概念出发,重点介绍工具链中的映射和调度工具、模拟与验证
    的头像 发表于 05-16 14:30 2872次阅读
    <b class='flag-5'>工具</b>链<b class='flag-5'>工具</b>——映射与调度、模拟与验证、开发与<b class='flag-5'>测试工具</b>

    Linux是做什么用的?

    Linux是做什么用的?Linux是一种开源的操作系统,广泛用于服务器、嵌入式设备和个人电脑等领域。它具有以下特点和用途: Linux是做什么用的? 1、服务器操作系统:Linux在服务器领域非常
    发表于 04-28 15:40

    Linux性能基准测试工具选择与测试策略

    Super_Pi 是一种用于计算圆周率π的程序,通常用于测试计算机性能和稳定性。它的主要用途是测量系统的单线程性能,因为它是一个单线程应用程序
    发表于 04-26 16:24 390次阅读
    Linux性能基准<b class='flag-5'>测试工具</b>选择与<b class='flag-5'>测试</b>策略

    嵌入软件单元测试工具的作用

    嵌入软件单元测试工具是现代软件开发过程中不可或缺的一环。它的作用在于帮助开发人员对软件中的各个单元进行测试,以确保其功能的正确性和稳定性。单
    的头像 发表于 04-23 15:31 429次阅读
    嵌入<b class='flag-5'>软件</b>单元<b class='flag-5'>测试工具</b>的作用

    什么是CAN总线调试工具?调试的内容主要包括哪几个方面?

    CAN总线调试工具是用于对CAN总线进行调试和故障排除的设备或软件工具,它们具有高速数据捕获能力、数据过滤和触发功能,以及用于解析和显示CAN帧的
    的头像 发表于 04-03 11:23 1047次阅读

    adb是什么软件 adb调试干什么用

    主要用于开发者和研究人员与Android设备进行通信、调试和测试。它提供了很多强大的功能,以下是其中一些常用的功能: 应用程序安装和卸载:通过ADB,开发人员可以将应用程序安装到Android设备上,也可以将已安装的
    的头像 发表于 02-02 11:03 3735次阅读

    Cybellum—信息安全测试工具

    Cybellum是一款信息安全测试与管理工具,帮助汽车OEM及其供应商在整个汽车生命周期内大规模评估和降低安全风险。它无需访问源代码,通过Cyber Digital Twins技术检测开源软件
    的头像 发表于 01-26 16:48 632次阅读
    Cybellum—信息安全<b class='flag-5'>测试工具</b>

    Tessy—嵌入式软件单元测试/集成测试工具

    Tessy源自戴姆勒—奔驰公司的软件技术实验室,由德国Hitex公司负责销售及技术的支持服务,是一款专门针对嵌入式软件进行单元/集成测试工具。它可以对C/C++代码进行单元、集成
    的头像 发表于 01-15 14:39 821次阅读
    Tessy—嵌入式<b class='flag-5'>软件</b>单元<b class='flag-5'>测试</b>/集成<b class='flag-5'>测试工具</b>

    Helix QAC—软件静态测试工具

    Helix QAC是Perforce公司(原PRQA公司)产品,主要用于C/C++代码的自动化静态分析工作,可以提供编码规则以及信息安全相关检查、代码质量度量、软件结构分析、测试结果管理等功能
    的头像 发表于 01-10 17:35 661次阅读
    Helix QAC—<b class='flag-5'>软件</b>静态<b class='flag-5'>测试工具</b>