医疗设备软件国际标准IEC 62304认证案例

2023-10-08 03:40

本文主要是介绍医疗设备软件国际标准IEC 62304认证案例,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

使用Cantata提高医疗设备的开发效率

FastFocus致力于为医疗保健行业开发更有效、可持续和成功的实用监控解决方案。作为一个医疗设备制造商,他们的最新产品是无线病人监护系统EarSensor™,它可通过戴在患者耳朵上的设备,在医院和家庭护理环境中远程监视患者。根据国际医疗设备软件标准IEC 62304,该设备被归类为2类设备。

在这里插入图片描述

EarSensor™软件采用了C11语言来实现,在IAR Embedded Workbench 8.0 IDE下使用MinGW GCC编译,可在MKW24D512 NXP ARM Cortex 4处理器上运行。

在这里插入图片描述

EarSensor™(左)和患者监控系统示例(右)

工具选择

为了符合IEC 62304标准对嵌入式软件单元测试框架的要求,FastFocus提出了一套严格的工具需求。他们需要一个值得信赖的供应商,可以提供高效的技术支持,和一款在医疗设备行业经过验证过的工具。该工具必须提供先进的技术和强大的功能,包括:自动生成测试用例,控制函数调用(例如,模拟/打桩),直观的代码覆盖率以及可用于结果报告的认证证据。一个更加面向过程的目标是“左移”他们的软件验证活动。

经过一些初步的市场调查后,FastFocus用CppUTest(一种开源工具)和另一个商业工具(Parasoft的C / C ++ Test)与Cantata进行了评估对比。不到两个月后,他们选中并购买了Cantata。在总结选择Cantata的原因时,EarSensor项目的首席开发人员Leon Solinger说:“与其他工具相比,Cantata更容易设置,功能也更加完善。”拦截函数调用是FastFocus的一项关键功能,因为Leon补充说:“似乎没有其他工具具有封装功能。”

入门

在进行完初始设置并借助了内置的教程之后,Leon在短短2周内就可以使用Cantata全面提高工作效率。

该软件最初是为交叉编译而编写的,首要挑战是将编译器定义从IAR Embedded Workbench复制到Eclipse Cantata测试项目。这在QA System技术支持团队的帮助下很快得到了解决,使得Fast Focus能够模拟运行在目标硬件上的代码。Leon评论说:“QA Systems非常友好,我们赞赏他们的做法和承诺。我们及时获得了支持,他们给予了我们很大的帮助。”

Cantata的使用

FastFocus在软件验证中采用了一种基于风险的瀑布式方法,但重点是左移测试。所有与风险相关的组件都使用Cantata进行了单元测试。EarSensor™应用程序的大部分是SOUP微控制器库,所以只需要对应用程序代码函数调用接口进行验证-因此需要Cantata封装来提供模拟。

为了确保按照所需标准创建测试,该团队遵循了工具的安全手册测试指南,包括使用内置的IEC 62304 2类Cantata代码覆盖率规则集,以确保100%的判定覆盖率。Leon对Cantata中的覆盖率诊断印象深刻,他评论道:“我喜欢使用覆盖率查看器来查看覆盖了多少代码,以及它是如何进行可视化表现的。”

全局数据、文件静态和局部函数静态作用域的数据使用Cantata白盒可测试性工具进行了验证,以检查正确的更改(正向测试)和无意的更改(逆向测试)。源文件中的静态函数使用相同的白盒方法直接从测试脚本调用进行验证。Leon总结了团队在Cantata的测试创建经验,他说:“我发现图像用户界面,树视图和表视图对评估测试用例值非常有帮助。在用户界面中编辑测试用例可以节省大量的输入工作。”

结论

在完成测试并将结果提交给IEC 62304安全机构以后,EarSensor™产品已投放到市场。Cantata的单元测试和持续的测试维护现已被牢固地嵌入到了开发过程中,FastFocus计划在未来的其他项目中也使用Cantata。运营经理Ron van Oudenallen认识到Canatata的投资回报是非常可观的,他在报告中总结道:“我们在使用Cantata方面拥有非常积极的体验。”

IEC 62304:2006认证

在这里插入图片描述

Cantata经过认证可用于开发安全相关软件,最高达到IEC 62304标准所定义的SW安全C级。

-版权所有,抄袭必究-

更多信息访问:http://qa-systems.cn/

这篇关于医疗设备软件国际标准IEC 62304认证案例的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/162457

相关文章

Java Stream流使用案例深入详解

《JavaStream流使用案例深入详解》:本文主要介绍JavaStream流使用案例详解,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录前言1. Lambda1.1 语法1.2 没参数只有一条语句或者多条语句1.3 一个参数只有一条语句或者多

Spring Security自定义身份认证的实现方法

《SpringSecurity自定义身份认证的实现方法》:本文主要介绍SpringSecurity自定义身份认证的实现方法,下面对SpringSecurity的这三种自定义身份认证进行详细讲解,... 目录1.内存身份认证(1)创建配置类(2)验证内存身份认证2.JDBC身份认证(1)数据准备 (2)配置依

MySQL 中的 JSON 查询案例详解

《MySQL中的JSON查询案例详解》:本文主要介绍MySQL的JSON查询的相关知识,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录mysql 的 jsON 路径格式基本结构路径组件详解特殊语法元素实际示例简单路径复杂路径简写操作符注意MySQL 的 J

Python Transformers库(NLP处理库)案例代码讲解

《PythonTransformers库(NLP处理库)案例代码讲解》本文介绍transformers库的全面讲解,包含基础知识、高级用法、案例代码及学习路径,内容经过组织,适合不同阶段的学习者,对... 目录一、基础知识1. Transformers 库简介2. 安装与环境配置3. 快速上手示例二、核心模

Python中使用正则表达式精准匹配IP地址的案例

《Python中使用正则表达式精准匹配IP地址的案例》Python的正则表达式(re模块)是完成这个任务的利器,但你知道怎么写才能准确匹配各种合法的IP地址吗,今天我们就来详细探讨这个问题,感兴趣的朋... 目录为什么需要IP正则表达式?IP地址的基本结构基础正则表达式写法精确匹配0-255的数字验证IP地

MySQL高级查询之JOIN、子查询、窗口函数实际案例

《MySQL高级查询之JOIN、子查询、窗口函数实际案例》:本文主要介绍MySQL高级查询之JOIN、子查询、窗口函数实际案例的相关资料,JOIN用于多表关联查询,子查询用于数据筛选和过滤,窗口函... 目录前言1. JOIN(连接查询)1.1 内连接(INNER JOIN)1.2 左连接(LEFT JOI

SpringSecurity JWT基于令牌的无状态认证实现

《SpringSecurityJWT基于令牌的无状态认证实现》SpringSecurity中实现基于JWT的无状态认证是一种常见的做法,本文就来介绍一下SpringSecurityJWT基于令牌的无... 目录引言一、JWT基本原理与结构二、Spring Security JWT依赖配置三、JWT令牌生成与

SpringSecurity6.0 如何通过JWTtoken进行认证授权

《SpringSecurity6.0如何通过JWTtoken进行认证授权》:本文主要介绍SpringSecurity6.0通过JWTtoken进行认证授权的过程,本文给大家介绍的非常详细,感兴趣... 目录项目依赖认证UserDetailService生成JWT token权限控制小结之前写过一个文章,从S

springboot循环依赖问题案例代码及解决办法

《springboot循环依赖问题案例代码及解决办法》在SpringBoot中,如果两个或多个Bean之间存在循环依赖(即BeanA依赖BeanB,而BeanB又依赖BeanA),会导致Spring的... 目录1. 什么是循环依赖?2. 循环依赖的场景案例3. 解决循环依赖的常见方法方法 1:使用 @La

springboot security使用jwt认证方式

《springbootsecurity使用jwt认证方式》:本文主要介绍springbootsecurity使用jwt认证方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地... 目录前言代码示例依赖定义mapper定义用户信息的实体beansecurity相关的类提供登录接口测试提供一