草庐IT

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

zoeking001 2023-03-28 原文

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

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

 

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

 

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

有关如何提高安全关键领域的软件开发质量的更多相关文章

  1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

    我正在学习如何使用Nokogiri,根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

  2. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法? - 2

    总的来说,我对ruby​​还比较陌生,我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础,我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  3. python - 如何使用 Ruby 或 Python 创建一系列高音调和低音调的蜂鸣声? - 2

    关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题?更新问题,以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点?我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等),但我确实想创建一个输出文件。

  4. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息? 最佳答案 在Rails3中,update_all不返回任何有意义的信息,除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  5. ruby-on-rails - 'compass watch' 是如何工作的/它是如何与 rails 一起使用的 - 2

    我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗?当我运行compasswatch时,它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行?文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们?我自己编译的.sass文件编译成compiled/t

  6. ruby - 如何将脚本文件的末尾读取为数据文件(Perl 或任何其他语言) - 2

    我正在寻找执行以下操作的正确语法(在Perl、Shell或Ruby中):#variabletoaccessthedatalinesappendedasafileEND_OF_SCRIPT_MARKERrawdatastartshereanditcontinues. 最佳答案 Perl用__DATA__做这个:#!/usr/bin/perlusestrict;usewarnings;while(){print;}__DATA__Texttoprintgoeshere 关于ruby-如何将脚

  7. ruby - 如何指定 Rack 处理程序 - 2

    Rackup通过Rack的默认处理程序成功运行任何Rack应用程序。例如:classRackAppdefcall(environment)['200',{'Content-Type'=>'text/html'},["Helloworld"]]endendrunRackApp.new但是当最后一行更改为使用Rack的内置CGI处理程序时,rackup给出“NoMethodErrorat/undefinedmethod`call'fornil:NilClass”:Rack::Handler::CGI.runRackApp.newRack的其他内置处理程序也提出了同样的反对意见。例如Rack

  8. ruby - 如何每月在 Heroku 运行一次 Scheduler 插件? - 2

    在选择我想要运行操作的频率时,唯一的选项是“每天”、“每小时”和“每10分钟”。谢谢!我想为我的Rails3.1应用程序运行调度程序。 最佳答案 这不是一个优雅的解决方案,但您可以安排它每天运行,并在实际开始工作之前检查日期是否为当月的第一天。 关于ruby-如何每月在Heroku运行一次Scheduler插件?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.com/questions/8692687/

  9. ruby-on-rails - 如何从 format.xml 中删除 <hash></hash> - 2

    我有一个对象has_many应呈现为xml的子对象。这不是问题。我的问题是我创建了一个Hash包含此数据,就像解析器需要它一样。但是rails自动将整个文件包含在.........我需要摆脱type="array"和我该如何处理?我没有在文档中找到任何内容。 最佳答案 我遇到了同样的问题;这是我的XML:我在用这个:entries.to_xml将散列数据转换为XML,但这会将条目的数据包装到中所以我修改了:entries.to_xml(root:"Contacts")但这仍然将转换后的XML包装在“联系人”中,将我的XML代码修改为

  10. ruby - 如何使用文字标量样式在 YAML 中转储字符串? - 2

    我有一大串格式化数据(例如JSON),我想使用Psychinruby​​同时保留格式转储到YAML。基本上,我希望JSON使用literalstyle出现在YAML中:---json:|{"page":1,"results":["item","another"],"total_pages":0}但是,当我使用YAML.dump时,它不使用文字样式。我得到这样的东西:---json:!"{\n\"page\":1,\n\"results\":[\n\"item\",\"another\"\n],\n\"total_pages\":0\n}\n"我如何告诉Psych以想要的样式转储标量?解

随机推荐