parasoft帮助史密斯医疗通过测试驱动开发提供安全、高质量的医疗设备
parasoft是一家专门提供软件测试解决方案的公司,Parasoft通过其经过市场验证的自动化软件测试工具集成套件,帮助企业持续交付高质量的软件。Parasoft的技术支持嵌入式、企业和物联网市场,通过将静态代码分析和单元测试、Web UI和API测试等所有内容集成到交付管道中,再加上服务虚拟化和完整的代码覆盖率,减少了交付安全、可靠和合规软件所需的时间、精力和成本。
史密斯医疗(Smiths Medical)是全球领先的专业医疗设备制造商,为全球医疗市场提供创新和救生解决方案。它的产品广泛应用于医院, 急救, 家庭护理及专科医院。
为他们的医疗设备提供安全、高质量的软件是当务之急。因此,史密斯医疗在制造安全关键型医疗设备时采用了严格的工程流程,其中软件测试在验证和确认中发挥了关键作用。
面临的挑战
由于安全和合规要求,开发医疗设备软件是很困难的。软件验证和确认在证明预期功能已经实现以及安全性已经纳入产品方面发挥着重要作用。
测试自动化是史密斯医疗测试方法的一个重要基础。以前在采用工具方面的尝试并不完全成功。开发团队正在寻找新的解决方案,以测试驱动开发(TDD)的新方法和思维方式来支持他们的整个测试工作。
以下是团队面临的一些挑战。
测试自动化工具之前的失败。软件开发团队过去尝试过其他测试自动化工具。由于种种原因,他们失败了。测试自动化对于转向测试驱动的开发至关重要。该团队通过广泛的评估过程找到了满足他们需求的解决方案。
为他们的需求和流程找到合适的选择。开发团队对商业和开源解决方案进行了广泛评估,以确保他们的下一次测试自动化能够取得成功。他们需要满足其技术要求的工具以及适合其流程的解决方案。该团队想要的解决方案具有可观的市场占有率和合理的学习曲线,又避免供应商锁定。
将软件团队过渡到新工具和TDD。史密斯医疗设定了一个目标,将整个软件团队转移到TDD,使测试成为他们开发过程和软件管道中不可或缺的一部分。该公司正在寻求改变其发展文化,通过更好、更完整的测试来提高产品的质量、安全性和合规性,同时不影响交付计划和预算。
方法
为了满足史密斯医疗的需求,我们对集成测试解决方案进行了广泛的搜索,包括对商业和开源方案的评估。
对工具的评估包括七家商业供应商和一系列开源工具。史密斯医疗的需求包括从测试金字塔的底部到顶部的测试支持:
-
静态代码扫描
-
集成到CI管道中
-
目标执行
-
工具鉴定
(史密斯医疗的供应商对比表)
“ 过去最大的挑战之一是产品学习曲线。我们过去使用的工具太复杂了,无法满足团队的需求。另一个重要标准是市场占有率。我们想要一个长期与我们合作的伙伴。作为组织中的决策者,我们面临的挑战之一是“替代方案是什么?”我们会永远被锁定在这个解决方案中吗?我们觉得这对Parasoft来说不是什么大问题。”———史密斯医疗高级首席软件架构师 Bill Schiller
Parasoft的解决方案
在考虑了包括开源解决方案在内的各种工具支持选项之后,史密斯医疗最终选择了Parasoft C/C++test。
对需求的全面支持。在评估和选择正确的工具时,技术和业务要求很重要。对于史密斯医疗来说,较低的学习曲线、供应商市场占有率、整体降低的成本以及无缝集成到他们的CI管道,Parasoft C/C++test都名列前茅。
与开源解决方案相比,降低了维护成本。史密斯医疗意识到采用完全的开源解决方案意味着将资源用于培训、维护和工具使用。据估计,这至少占全职开发人员工作负荷的25%。
安全关键应用的工具鉴定。软件开发工具经常被忽视的标准是资格和资格套件的可用性。Parasoft C/C++test的工具资格套件使创建静态分析、单元测试和覆盖要求工具资格所需的证明文档的过程自动化。这些套件减少了人为错误的可能性,并减少了执行工具资格所需的时间。
测试自动化,灵活支持主机和基于目标板的测试。基于主机和目标板的执行、分析和代码覆盖能力对于支持史密斯医疗的测试环境至关重要。由于他们的产品开发的性质,他们需要在主机和目标系统上进行验证,并将Parasoft C/C++test集成到他们现有的测试环境和CI/CD管道中。
集中报告来监测进展和成功。衡量成功对任何项目都至关重要,史密斯医疗使用Parasoft DTP来跟踪他们在代码复杂性和代码覆盖率等指标方面的进展。他们的理念是监控积极方向的趋势与指标本身的价值。
成果
史密斯医疗已将测试发展为测试驱动的开发,并从他们采用Parasoft C/C++test进行安全关键软件开发中取得了许多积极成果,包括:
成功的团队培训和工具集成。改变开发人员的思维方式是史密斯医疗目标的一部分。它需要培训,并克服工具和新流程的学习曲线。该团队采取了分阶段的方法。Parasoft为这些工具和新流程提供了初步培训和咨询。
提高了测试稳定性。史密斯医疗公司一直在努力解决测试失败的问题,这些问题需要太多的调试时间才能弄清楚是被测设备坏了,还是测试本身出了问题。一旦他们使用Parasoft C/C++test转向自动化和TDD,他们的测试稳定性就会大幅提高。测试维护更容易,测试失败总体上减少了。
更好的代码覆盖率和降低代码复杂性。由于史密斯医疗公司的产品安全方面,增加代码覆盖率对史密斯医疗公司至关重要。为此,他们使用Parasoft C/C++test来检测代码并捕获代码覆盖范围,并使用Parasoft DTP来跟踪代码覆盖率和代码复杂度量。在这两种情况下,趋势在不断改善。代码覆盖率现已超过 70%。根据McCabe的圈复杂度度量,代码复杂度降至15以下。
精简的工具鉴定。Parasoft的资格套件涵盖了Parasoft C/C++test的所有功能,同时满足安全关键软件的静态分析、单元测试和代码覆盖要求。如果没有这一点,史密斯医疗将被要求在他们的工具链中单独限定多个工具,从而导致大量重复工作。
(史密斯医疗测试结果随着时间的推移呈趋势。测试总数在增加,失败的比例在下降。)
Parasoft C/C++test是一个完整的软件测试解决方案,它为团队提供了测试方法功能和自动化生产能力,比如覆盖率覆盖率指导助手。利用这个功能,开发人员可以快速实现他们的代码覆盖率目标。相应地,管理者可以加快产品上市时间、保障审计和简化产品认证。在向市场输出高质量软件的同时,能够降低成本投入。
相关文章:

parasoft帮助史密斯医疗通过测试驱动开发提供安全、高质量的医疗设备
parasoft是一家专门提供软件测试解决方案的公司,Parasoft通过其经过市场验证的自动化软件测试工具集成套件,帮助企业持续交付高质量的软件。Parasoft的技术支持嵌入式、企业和物联网市场,通过将静态代码分析和单元测试、Web UI和API测试等所有…...

SpringBoot整合Oauth2开放平台接口授权案例
<!-- SpringBoot整合Web组件 --><dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-web</artifactId></dependency><dependency><groupId>org.projectlombok</groupId>&l…...
Linux_创建用户
创建一个名为hello的用户,并指定/home/hello为根目录useradd -d /home/hello -m hello 设置密码 ,密码会输入两次,一次设置密码,一次确认密码,两次密码要输入的一样passwd hellouseradd的常用参数含义-d指定用户登入时的主目录&am…...

RDD(弹性分布式数据集)总结
文章目录一、设计背景二、RDD概念三、RDD特性四、RDD之间的依赖关系五、阶段的划分六、RDD运行过程七、RDD的实现一、设计背景 1.某些应用场景中,不同计算阶段之间会重用中间结果,即一个阶段的输出结果会作为下一个阶段的输入。如:迭代式算法…...

服务器版RstudioServer安装与配置详细教程
Docker部署Rstudio server 背景:如果您想在服务器上运行RstudioServer,可以按照如下方法进行操作,笔者测试时使用腾讯云服务器(系统centos7),需要在管理员权限下运行 Rstudio 官方提供了使用不同 R 版本的 …...
如何在Java中将一个列表拆分为多个较小的列表
在Java中,有多种方法可以将一个列表拆分为多个较小的列表。在本文中,我们将介绍三种不同的方法来实现这一目标。 方法一:使用List.subList()方法 List接口提供了一个subList()方法,它可以用来获取列表中的一部分元素。我们可以使…...

TryHackMe-Inferno(boot2root)
Inferno 现实生活中的机器CTF。该机器被设计为现实生活(也许不是?),非常适合刚开始渗透测试的新手 “在我们人生旅程的中途,我发现自己身处一片黑暗的森林中,因为直截了当的道路已经迷失了。我啊…...
微信原生开发中 JSON配置文件的作用 小程序中有几种JSON配制文件
关于json json是一种数据格式,在实际开发中,JSON总是以配制文件的形式出现,小程序与不例外,可对项目进行不同级别的配制。Q:小程序中有几种配制文件A:小程序中有四种配制文件分别是:project.config.json si…...
【python】为什么使用python Django开发网站这么火?
关注“测试开发自动化” 弓中皓,获取更多学习内容) Django 是一个基于 Python 的 Web 开发框架,它提供了许多工具和功能,使开发者可以更快地构建 Web 应用程序。以下是 Django 开发中的一些重要知识点: MTV 模式&#…...

Java设计模式(五)—— 责任链模式
责任链模式定义如下:使多个对象都有机会处理请求,从而避免请求的发送者与接收者之间的耦合关系。将这些对象连成一条链,并沿着这条链传递该请求,知道有一个对象处理它为止。 适合使用责任链模式的情景如下: 有许多对…...
VMLogin:虚拟浏览器提供的那些亮眼的功能
像VMLogin这样的虚拟浏览器具有多种功能,如安全的浏览环境、可定制的设置、跨平台的兼容性、更快的浏览速度、广告拦截等等。 虚拟浏览器的不同功能可以为您做什么? 使用虚拟浏览器是浏览互联网和完成其他任务的安全方式,没有风险。您可以在…...
第一个错误的版本
题目 你是产品经理,目前正在带领一个团队开发新的产品。不幸的是,你的产品的最新版本没有通过质量检测。由于每个版本都是基于之前的版本开发的,所以错误的版本之后的所有版本都是错的。 假设你有 n 个版本 [1, 2, …, n],你想找出…...

2023爱分析·AIGC市场厂商评估报告:拓尔思
AIGC市场定义 市场定义: AIGC,指利用自然语言处理技术(NLP)、深度神经网络技术(DNN)等人工智能技术,基于与人类交互所确定的主题,由AI算法模型完全自主、自动生成内容,…...
MobTech|场景唤醒的实现
什么是场景唤醒? 场景唤醒是moblink的一项核心功能,可以实现从打开的Web页面,一键唤醒App,并恢复对应的场景。 场景是指用户在App内的某个特定页面或状态,比如商品详情页、活动页、个人主页等。每个场景都有一个唯一…...

不在路由器上做端口映射,如何访问局域网内网站
假设现在外网有一台ADSL直接拨号上网的电脑,所获得的是公网IP。然后它想访问局域网内的电脑上面的网站,那么就需要在路由器上做端口映射。在路由器上做端口映射的具体规则是:将所有发向自己端口的数据,都转发到内网的计算机。 访…...

ChatGPT 辅助科研写作
前言 总结一些在科研写作中 ChatGPT 的功能,以助力提升科研写作的效率。 文章目录前言一、ChatGPT 简介1. ChatGPT 普通版与 Plus 版的区别1)普通账号2)Plus账号二、New Bing 简介1. 快速通过申请三、辅助学术写作1. 改写论文表述2. 语言润色…...

MySQL最大建议行数 2000w,靠谱吗?
本文已经收录到Github仓库,该仓库包含计算机基础、Java基础、多线程、JVM、数据库、Redis、Spring、Mybatis、SpringMVC、SpringBoot、分布式、微服务、设计模式、架构、校招社招分享等核心知识点,欢迎star~ Github地址 1 背景 作为在后端圈开车的多年…...

【Tomcat 学习】
Tomcat 学习 笔记记录一、Tomcat1. Tomcat目录2. Tomcat启动3. Tomcat部署项目4. 解决Tomcat启动乱码问题5. JavaWeb项目创建部署6. 打war包发布项目7. Tomcat配置文件8. Tomcat配置虚拟目录(不用在webapps目录下)9. Tomcat配置虚拟主机10. 修改web项目默认加载资源路径一、Tom…...

重装系统如何做到三步装机
小白三步版在给电脑重装系统的过程中,它会提供系统备份、还原和重装等多种功能。下面也将介绍小白三步版的主要功能,以及使用技巧和注意事项。 主要功能 系统备份和还原:小白三步版可以帮助用户备份系统和数据,以防止重要数据丢失…...

蓝桥杯单片机第十一届省赛客观题(深夜学习——单片机)
第一场 (1)模电——》多级放大电路 阻容耦合,只通交流,不通直流。 变压器耦合,只通交流,不通直流。 光电耦合,主要是起隔离作用,更多的用在非线性的应用电路中 (2&a…...

XML Group端口详解
在XML数据映射过程中,经常需要对数据进行分组聚合操作。例如,当处理包含多个物料明细的XML文件时,可能需要将相同物料号的明细归为一组,或对相同物料号的数量进行求和计算。传统实现方式通常需要编写脚本代码,增加了开…...
生成xcframework
打包 XCFramework 的方法 XCFramework 是苹果推出的一种多平台二进制分发格式,可以包含多个架构和平台的代码。打包 XCFramework 通常用于分发库或框架。 使用 Xcode 命令行工具打包 通过 xcodebuild 命令可以打包 XCFramework。确保项目已经配置好需要支持的平台…...
《Playwright:微软的自动化测试工具详解》
Playwright 简介:声明内容来自网络,将内容拼接整理出来的文档 Playwright 是微软开发的自动化测试工具,支持 Chrome、Firefox、Safari 等主流浏览器,提供多语言 API(Python、JavaScript、Java、.NET)。它的特点包括&a…...
LLM基础1_语言模型如何处理文本
基于GitHub项目:https://github.com/datawhalechina/llms-from-scratch-cn 工具介绍 tiktoken:OpenAI开发的专业"分词器" torch:Facebook开发的强力计算引擎,相当于超级计算器 理解词嵌入:给词语画"…...
Axios请求超时重发机制
Axios 超时重新请求实现方案 在 Axios 中实现超时重新请求可以通过以下几种方式: 1. 使用拦截器实现自动重试 import axios from axios;// 创建axios实例 const instance axios.create();// 设置超时时间 instance.defaults.timeout 5000;// 最大重试次数 cons…...
大学生职业发展与就业创业指导教学评价
这里是引用 作为软工2203/2204班的学生,我们非常感谢您在《大学生职业发展与就业创业指导》课程中的悉心教导。这门课程对我们即将面临实习和就业的工科学生来说至关重要,而您认真负责的教学态度,让课程的每一部分都充满了实用价值。 尤其让我…...
鸿蒙DevEco Studio HarmonyOS 5跑酷小游戏实现指南
1. 项目概述 本跑酷小游戏基于鸿蒙HarmonyOS 5开发,使用DevEco Studio作为开发工具,采用Java语言实现,包含角色控制、障碍物生成和分数计算系统。 2. 项目结构 /src/main/java/com/example/runner/├── MainAbilitySlice.java // 主界…...
Pinocchio 库详解及其在足式机器人上的应用
Pinocchio 库详解及其在足式机器人上的应用 Pinocchio (Pinocchio is not only a nose) 是一个开源的 C 库,专门用于快速计算机器人模型的正向运动学、逆向运动学、雅可比矩阵、动力学和动力学导数。它主要关注效率和准确性,并提供了一个通用的框架&…...

算法:模拟
1.替换所有的问号 1576. 替换所有的问号 - 力扣(LeetCode) 遍历字符串:通过外层循环逐一检查每个字符。遇到 ? 时处理: 内层循环遍历小写字母(a 到 z)。对每个字母检查是否满足: 与…...
Go 并发编程基础:通道(Channel)的使用
在 Go 中,Channel 是 Goroutine 之间通信的核心机制。它提供了一个线程安全的通信方式,用于在多个 Goroutine 之间传递数据,从而实现高效的并发编程。 本章将介绍 Channel 的基本概念、用法、缓冲、关闭机制以及 select 的使用。 一、Channel…...