首页 > 其他分享 >如何提高安全关键领域的软件开发质量

如何提高安全关键领域的软件开发质量

时间:2022-11-24 09:46:20浏览次数:40  
标签:软件开发 左移 开发 关键 测试 软件 质量

任何关于优化软件开发过程的尝试都不可避免地需要在软件质量、资源和时间之间进行权衡。只有在掌握了“三要素”中至少两样的前提下,才有可能实现软件开发过程的优化。

▲质量、资源和时间“三要素”

 

对安全关键领域或业务关键的软件来说,如在质量上有任何细微的妥协,都将可能导致严重的经济损失或危及生命安全的后果,该类软件开发的首要重点必须为质量。本文将讨论把软件质量放在首位时的嵌入式软件开发流程优化方法。

 

01.什么是软件质量

在软件开发的最初阶段,需求方通常对最终的软件产品有着明确的需求与并不十分明确的期待,而软件质量指代的就是产品最终与之相符的程度。具体而言,软件质量指软件与已被明确叙述的功能和性能需求、开发标准及任何专业开发的软件都应具备的隐形特征相一致的程度。

 

影响软件质量的因素如下图所示:

▲影响软件质量的因素

 

02.质量文化

质量文化(Quality Culture)是企业发展的核心,指企业在生产经营活动中所形成的质量意识、质量精神、质量行为、质量价值观、质量形象以及企业所提供的产品或服务质量等的总和。

质量文化视测试与品控为开发过程的重中之重,倾向于提高开发透明度及责任细分度,能够有效减少开发高质量产品的成本。

良好的沟通是质量文化运作的基石。为提升团队沟通的效率,可选择使用组内每日例会的形式保证直观、清晰的Bug描述,以避免修复Bug的过程中可能出现的问题。跨职能团队之间的良好沟通有助于确保所有利益相关者对质量和安全目标达成共识,进一步提升企业质量文化。

03.优化件开发方法

专业领域的软件通常有着专属安全标准,如汽车领域的ISO 26262《道路车辆功能安全》国际标准、工业功能安全领域的IEC 61508《电气/电子/可编程电子安全相关系统的功能安全》、航空领域的DO-178C机载系统和设备认证中的软件注意事项等。以上标准对软件开发的定义皆为下图所示的线性过程:

▲专业软件开发的V字形模型:左侧为需求定义过程,右侧为测试验证过程

 

按V字形模型所示的开发流程进行开发的产品很难摆脱传统耗时较久的“瀑布模式”,而现代软件开发方法(如敏捷和DevOps)能够在保证软件质量的同时有效缩短软件开发周期。敏捷与DevOps被认为是创建更精简、更具迭代性的软件开发流程方法所需的概念,能够在实现测试“左移”的同时更好地进行安全关键领域的嵌入式软件开发。

04.左移(Shift-left)

测试在完整的软件开发生命周期中通常会面临着以下挑战:

  • 在开发的早期阶段着重编码而忽视测试,代码不稳定,团队效率降低。
  • 手工测试与其他工具集成的成本居高不下,敏捷和DevOps无从下手。
  • 用户界面的驱动测试缓慢且脆弱,测试手段无法实现符合需求的覆盖率。

 

采用“左移”的测试方法是应对这些挑战的关键。“左移”指在软件开发周期中较早进行测试,确保在软件需求及设计的正确性上花费足够的时间,避免不必要的问题的产生,从而减少整体工作量及开发时间。“左移”以“尽早发现错误”为原则:错误发现得越早,其解决就越快、越容易,成本也会越低。“左移”已被逐步应用于大型复杂嵌入式系统。以敏捷开发方法为例,可通过在每个迭代处应用迷你V字形模型来推进软件开发。

总体而言,将软件质量作为首要因素时,可以通过以下方法优化嵌入式软件开发流程:

  • 撰写高质量的需求
  • 以硬件为基础
  • 让领域专家参与需求定义
  • 优化项目范围
  • 简单设计
  • 静态分析
  • 自动生成测试用例
  • 持续集成
  • 半实物仿真
  • 简化需求跟踪
  • 撰写易于维护的测试用例

SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模,是真实物理硬件的数字孪生,可达到软件质量、资源、时间齐头并进的理想目标。

SkyEye可通过实现对源码的快速修改实现测试环境的更新,亦可通过全数字实时仿真对标真实硬件,大大减少硬件资源消耗,使多个部门同时开发,能够在保证软件质量的基础上显著提升开发效率,缩短开发周期。

 

参考链接

https://www.embedded.com/enhancing-quality-in-software-development-for-critical-systems/

 

原文链接

https://mp.weixin.qq.com/s/NdpdFzsNEXd98rmqpuqiqg

标签:软件开发,左移,开发,关键,测试,软件,质量
From: https://www.cnblogs.com/zoeking001/p/16920844.html

相关文章

  • 21 如何写出一篇高质量的sci水文
    博客配套视频链接:https://www.bilibili.com/video/BV1fW4y1W7dS/b站直接看模型确定,结果正在跑(或已结束),目标期刊已定,一般可以定顶刊从目标期刊中打印3-5份最近的......
  • 兆骑科创:投融资对接服务平台,推动投资产业高质量发展
    在上半年发展改革形势通报会中,国家发改委强调要推动稳增长各项政策效应加快释放,充分发挥投资关键作用,更好发挥推进有效投资重要项目协调机制作用,积极扩大有效投资,既有利于扩......
  • C语言学习笔记---const关键字
    1、const修饰变量被const修饰过的变量相当于常量,它的值不能被赋值改变,在整个作用域内保持固定。所以说它定义的是只读变量,在定义的时候需要给它赋初值。1constinta=......
  • C#中default关键字用法简介
    C#关键词default函数,default(T)可以得到该类型的(默认值)C#在类初始化时,会给未显示赋值的字段、属性赋上默认值,但是值变量却不会。值变量可以使用默认构造函数赋值,或者使......
  • C语言常量、变量和关键字
    文章目录​​一、一切都是数据​​​​1、静态数据​​​​2、动态数据(临时数据)​​​​二、常量​​​​三、变量​​​​1、整数型、字符型、浮点型变量​​​​2、字符串......
  • C语言学习笔记---static关键字
    1、static修饰局部变量在函数体内,只初始化一次,被static声明过的局部变量在调用过程中值不变。原因:在任意函数内定义局部变量,存储在线程中的栈区,出函数时自动摧毁,所以在每......
  • Linux创建进程为什么要用fork做为关键字
    众所周知,Linux创建进程程的时候要调用系统调用fork,fork翻译成中文为“分叉"的意思,真的理解创建进程的过程会发现,fork是很形象的。先看一段Linux创建进程的代码1intma......
  • 汽车制造行业电能质量监测与治理系统解决方案
    摘要:现如今的汽车制造行业,使用的机械设备越来越精密,制造技术与自动化水平也越来越高,为此对供电系统的电能质量要求更高更苛刻,同时对不能满足现有生产工艺需求的供电质量进行......
  • 嵌入式产品如何保证产品研发质量?
       目前,很多高科技企业均涉及到嵌入式产品的研发质量的保证工作,如华为、迈瑞、海康威视、元征、比亚迪、大疆、大华科技等公司的产品,都是软件加硬件的开发模式, 嵌入......
  • 服务质量
    1.质量保证体系测试策略构建质量保证体系2.测试实践单元测试与mock实践集成测试实践端到端测试实践测试自动化3.混沌工程混沌工程的核心理念基于服务网格的网络......