当前位置: 首页 > news >正文

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

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

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

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

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/

相关文章:

  • Learning Transferable Features with Deep Adaptation Networks
  • zabbix监控脑裂
  • 网页js实现的各种3D树形结构模型
  • 软考高项——各输入输出文件的含义
  • 让你快速理解工厂模式
  • 牛客网零碎小东西
  • Java面试(五)设计模式
  • docker的简单操作
  • 工业互联网标识解析的数据安全风险有哪些?
  • 2022年外资EDI证办理流程及要求
  • 内网渗透-【横向移动】PsExec工具远程命令执行横向移动
  • 菜谱查询易语言代码
  • springboot+旅游管理系统 毕业设计-附源码261117
  • 未来十年最赚钱的专业是什么
  • R语言ggplot2可视化:使用ggpubr包的ggerrorplot函数可视化误差线(可视化不同水平均值点以及se标准误差)
  • JavaScript-如何实现克隆(clone)函数
  • Android优雅地处理按钮重复点击
  • Angular 4.x 动态创建组件
  • C++入门教程(10):for 语句
  • centos安装java运行环境jdk+tomcat
  • const let
  • CSS居中完全指南——构建CSS居中决策树
  • ES10 特性的完整指南
  • go append函数以及写入
  • If…else
  • JavaScript/HTML5图表开发工具JavaScript Charts v3.19.6发布【附下载】
  • JS字符串转数字方法总结
  • Material Design
  • Otto开发初探——微服务依赖管理新利器
  • RxJS 实现摩斯密码(Morse) 【内附脑图】
  • uni-app项目数字滚动
  • vue-cli3搭建项目
  • 百度贴吧爬虫node+vue baidu_tieba_crawler
  • 闭包,sync使用细节
  • 从零开始在ubuntu上搭建node开发环境
  • 基于axios的vue插件,让http请求更简单
  • 聚类分析——Kmeans
  • 开源地图数据可视化库——mapnik
  • 前端技术周刊 2019-02-11 Serverless
  • 我感觉这是史上最牛的防sql注入方法类
  • Oracle Portal 11g Diagnostics using Remote Diagnostic Agent (RDA) [ID 1059805.
  • #laravel 通过手动安装依赖PHPExcel#
  • #WEB前端(HTML属性)
  • (3)Dubbo启动时qos-server can not bind localhost22222错误解决
  • (4) openssl rsa/pkey(查看私钥、从私钥中提取公钥、查看公钥)
  • (HAL库版)freeRTOS移植STMF103
  • (十七)devops持续集成开发——使用jenkins流水线pipeline方式发布一个微服务项目
  • (算法设计与分析)第一章算法概述-习题
  • (转) Face-Resources
  • (转)memcache、redis缓存
  • (转)Unity3DUnity3D在android下调试
  • .bat批处理(八):各种形式的变量%0、%i、%%i、var、%var%、!var!的含义和区别
  • .locked1、locked勒索病毒解密方法|勒索病毒解决|勒索病毒恢复|数据库修复
  • .Net 4.0并行库实用性演练
  • .Net Core和.Net Standard直观理解