RTCA DO-178C 机载系统和设备认证中的软件注意事项-软件质量保证流程(八)

8.0 软件质量保证流程 SOFTWARE QUALITY ASSURANCE PROCESS

本节讨论软件质量保证 (SQA) 过程的目标和活动。 SQA 流程按照软件规划流程(参见 4)和软件质量保证计划(参见 11.5)的定义进行应用。 SQA 过程活动的输出记录在软件质量保证记录(参见 11.19)或其他软件生命周期数据中。This section discusses the objectives and activities of the software quality assurance (SQA) process. The SQA process is applied as defined by the software planning process (see 4) and the Software Quality Assurance Plan (see 11.5). Outputs of the SQA process activities are recorded in Software Quality Assurance Records (see 11.19) or other software life cycle data.

SQA 过程评估软件生命周期过程及其输出,以确保目标得到满足,缺陷得到检测、评估、跟踪和解决,并且软件产品和软件生命周期数据符合认证要求。The SQA process assesses the software life cycle processes and their outputs to obtain assurance that objectives are satisfied, deficiencies are detected, evaluated, tracked, and resolved, and software product and software life cycle data conform to certification requirements.

8.1 软件质量保证过程目标Software Quality Assurance Process Objectives

SQA 过程目标通过确保软件生命周期过程按照批准的软件计划和标准执行,提供了软件生命周期过程产生符合其要求的软件的信心。The SQA process objectives provide confidence that the software life cycle processes produce software that conforms to its requirements by assuring that these processes are performed in compliance with the approved software plans and standards.

SQA 流程的目标是获得以下保证:The objectives of the SQA process are to obtain assurance that:

a. 软件计划和标准的制定和审查是否符合本文档并保持一致性。Software plans and standards are developed and reviewed for compliance with this document and for consistency.

b. 软件生命周期过程(包括供应商的生命周期过程)符合批准的软件计划和标准。Software life cycle processes, including those of suppliers, comply with approved software plans and standards.

c. 满足软件生命周期过程的转换标准。The transition criteria for the software life cycle processes are satisfied.

d. 对软件产品进行符合性审查。A conformity review of the software product is conducted.

附件 A 的表 A-9 总结了 SQA 过程的目标和输出。Table A-9 of Annex A is a summary of the objectives and outputs of the SQA process.

8.2 软件质量保证流程活动 Software Quality Assurance Process Activities

满足 SQA 流程目标的活动包括:Activities for satisfying the SQA process objectives include:

a. SQA 过程应该在软件生命周期过程的活动中发挥积极作用,并赋予执行 SQA 过程的人员权力、责任和独立性,以确保满足 SQA 过程目标。The SQA process should take an active role in the activities of the software life cycle processes, and have those performing the SQA process enabled with the authority, responsibility, and independence to ensure that the SQA process objectives are satisfied.

b. SQA 流程应确保软件计划和标准的制定和审查符合本文档并保持一致性。The SQA process should provide assurance that software plans and standards are developed and reviewed for compliance with this document and for consistency.

c. SQA 过程应保证软件生命周期过程符合批准的软件计划和标准。The SQA process should provide assurance that the software life cycle processes comply with the approved software plans and standards.

d. SQA 过程应包括在软件生命周期中对软件生命周期过程进行审核,以获得以下保证:The SQA process should include audits of the software life cycle processes during the software life cycle to obtain assurance that:

1. 软件计划可按照第 4.2 节的规定提供。Software plans are available as specified in section 4.2.

2. 检测、记录、评估、跟踪和解决与软件计划和标准的偏差。Deviations from the software plans and standards are detected, recorded, evaluated, tracked, and resolved.

注:人们普遍认为,早期检测过程偏差有助于有效实现软件生命周期过程目标。

Note: It is generally accepted that early detection of process deviations assists efficient achievement of software life cycle process objectives.

3. 记录批准的偏差。Approved deviations are recorded.

4. 已按照软件规划提供软件开发环境。The software development environment has been provided as specified in the software plans.

5. 问题报告、跟踪和纠正措施过程活动符合软件配置管理计划。The problem reporting, tracking, and corrective action process activities comply with the Software Configuration Management Plan.

6. 系统过程(包括系统安全评估过程)向软件生命周期过程提供的输入已得到解决。Inputs provided to the software life cycle processes by the system processes, including the system safety assessment process, have been addressed.

注:可以对软件生命周期过程的活动进行监视,以确保活动处于控制之下。

Note: Monitoring of the activities of software life cycle processes may be performed to provide assurance that the activities are under control.

e. SQA 过程应保证软件生命周期过程的转换标准已满足并符合批准的软件计划。The SQA process should provide assurance that the transition criteria for the software  life cycle processes have been satisfied in compliance with the approved software plans.

f. SQA 过程应保证软件生命周期数据按照第 7.3 节和附件 A 表格中定义的控制类别进行控制。The SQA process should provide assurance that software life cycle data is controlled in accordance with the control categories as defined in section 7.3 and the tables of Annex A.

g. 在交付作为认证申请的一部分提交的软件产品之前,应进行软件符合性审查。Prior to the delivery of software products submitted as part of a certification application, a software conformity review should be conducted.

h. SQA 过程应生成 SQA 过程活动的记录(见 11.19),包括审核结果和作为认证申请一部分提交的每个软件产品的软件符合性审查完成的证据。The SQA process should produce records of the SQA process activities (see 11.19), including audit results and evidence of completion of the software conformity review for each software product submitted as part of certification application.

i. SQA 流程应确保供应商流程和输出符合批准的软件计划和标准。The SQA process should provide assurance that supplier processes and outputs comply with approved software plans and standards.

8.3 软件合规性审查 Software Conformity Review

软件一致性审查的目的是确保作为认证申请一部分提交的软件产品的软件生命周期过程完整、软件生命周期数据完整以及可执行目标代码和参数数据项文件 ,如果有的话,是受控制的并且可以再生。The purpose of the software conformity review is to obtain assurance, for a software product submitted as part of a certification application, that the software life cycle processes are complete, software life cycle data is complete, and the Executable Object Code and Parameter Data Item Files, if any, are controlled and can be regenerated.

该审查应确定:This review should determine that:

a. 计划的可信认证软件生命周期过程活动(包括软件生命周期数据的生成)已完成,并保留其完成记录。Planned software life cycle process activities for certification credit, including the generation of software life cycle data, have been completed and records of their completion are retained.

b. 从特定系统需求、安全相关需求或软件需求开发的软件生命周期数据可追溯到这些需求。Software life cycle data developed from specific system requirements, safety-related requirements, or software requirements are traceable to those requirements.

c. 有证据表明,软件生命周期数据是根据软件计划和标准生成的,并根据 SCM 计划进行控制。Evidence exists that software life cycle data have been produced in accordance with software plans and standards, and is controlled in accordance with the SCM Plan.

d. 有证据表明问题报告已经过评估并记录了其状态。Evidence exists that Problem Reports have been evaluated and have their status recorded.

e. 记录并批准软件需求偏差。Software requirement deviations are recorded and approved.

f. 可执行目标码和参数数据项文件(如果有)可以从存档的源代码重新生成。The Executable Object Code and Parameter Data Item Files, if any, can be regenerated from the archived Source Code.

g. 通过使用已发布的指令可以成功加载已批准的软件。The approved software can be loaded successfully through the use of released instructions.

h. 重新评估先前软件合规性审核中推迟的问题报告以确定其状态。Problem Reports deferred from a previous software conformity review are reevaluated to determine their status.

i. 如果为使用先前开发的软件寻求可信认证,则当前软件产品基线可追溯到先前的基线以及对该基线的批准更改。If certification credit is sought for the use of previously developed software, the current software product baseline is traceable to the previous baseline and the approved changes to that baseline.

注:对于认证后软件修改,可以根据变更的重要性来执行软件合规性审查活动的子集。

Note: For post-certification software modifications, a subset of the software conformity review activities, as justified by the significance of the change, may be performed.

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/707074.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【计算机】本科考研还是就业?

其实现在很多计算机专业的学生考研,也是无奈的选择 技术发展日新月异,而在本科阶段,大家学着落后的技术,出来找工作自然会碰壁。而且现在用人单位的门槛越来越高,学历默认研究生起步,面试一般都是三轮起步…

第十四天-网络爬虫基础

1.什么是爬虫 1.爬虫(又被称为网页蜘蛛,网络机器人),是按照一定规则,自动的抓取万维网中的程序或者脚本,是搜索引擎的重要组成;比如:百度、 2.爬虫应用:1.搜索引擎&…

一周学会Django5 Python Web开发-Django5列表视图ListView

锋哥原创的Python Web开发 Django5视频教程: 2024版 Django5 Python web开发 视频教程(无废话版) 玩命更新中~_哔哩哔哩_bilibili2024版 Django5 Python web开发 视频教程(无废话版) 玩命更新中~共计27条视频,包括:2024版 Django5 Python we…

初识Maven

介绍: web后端开发技术ApacheMaven是一个项目管理和构建工具,它基于项目对象模型(POM)的概念,通过一小段描述信息来管理项目的构建。安装:http://maven.apache.org/ Apache软件基金会,成立于19…

前端使用类和方法封装的区别

在前端开发中,使用类和方法封装都是常见的方式来组织和管理代码。它们之间的主要区别在于: 类封装: 面向对象:类是面向对象编程的核心概念,通过类可以创建对象,对象可以包含属性和方法。封装性:…

矩阵的范数 matrix norm Frobenius norm 弗罗贝尼乌斯 范数

1,矩阵范数的定义 矩阵的范数,matrix norm即矩阵的模;它把一个矩阵空间变成为赋范线性空间; 从一个矩阵空间映射到非负实数的函数 满足以下条件: 1,严格的正定性。对于 , 则 ; and if , must ; 2&…

2024年【通信安全员ABC证】考试资料及通信安全员ABC证找解析

题库来源:安全生产模拟考试一点通公众号小程序 2024年通信安全员ABC证考试资料为正在备考通信安全员ABC证操作证的学员准备的理论考试专题,每个月更新的通信安全员ABC证找解析祝您顺利通过通信安全员ABC证考试。 1、【单选题】《安全色》(Gb…

幻兽帕鲁(Palworld 1.4.11.5.0)私有服务器搭建(docker版)

文章目录 说明客户端安装服务器部署1Panel安装和配置docker服务初始化设置设置开机自启动设置镜像加速 游戏服务端部署游戏服务端参数可视化配置 Palworld连接服务器问题总结 服务端升级(1.5.0) 说明 服务器硬件要求:Linux系统/Window系统&a…

3、ssh、jupyter、vscode在Linux部署

这里写目录标题 1、ssh2、Jupyter3、vscode网页版如何在VSCode中添加Python解释器 1、ssh # ssh 安装 apt-get update apt-get install openssh-server -y apt-get install openssh-client -y apt-get install ssh -y apt-get install vim -y passwd vim /etc/ssh/sshd_confi…

无人机飞行控制系统技术,四旋翼无人机控制系统建模技术详解

物理建模是四旋翼无人机控制系统建模的基础,主要涉及到无人机的物理特性和运动学特性。物理建模的目的是将无人机的运动与输入信号(如控制电压)之间的关系进行数学描述。 四旋翼无人直升机是具有四个输入力和六个坐标输出的欠驱动动力学旋翼…

13.云原生之常用研发中间件部署

云原生专栏大纲 文章目录 mysql主从集群部署mysql高可用集群高可用互为主从架构互为主从架构如何实现主主复制中若是两台master上同时出现写操作可能会出现的问题该架构是否存在问题? heml部署mysql高可用集群 nacos集群部署官网文档部署nacoshelm部署nacos redis集…

Unity类银河恶魔城学习记录7-8 P74 Pierce sword源代码

Alex教程每一P的教程原代码加上我自己的理解初步理解写的注释,可供学习Alex教程的人参考 此代码仅为较上一P有所改变的代码 【Unity教程】从0编程制作类银河恶魔城游戏_哔哩哔哩_bilibili Sword_Skill.cs using System; using System.Collections; using System.C…

网络安全之防御保护8 - 11 天笔记

一、内容安全 1、攻击可能只是一个点,防御需要全方面进行 2、IAE引擎 3、DFI和DPI技术 --- 深度检测技术 深度行为检测技术分为:深度包检测技术(DPI)、深度流检测技术(DFI) DPI --- 深度包检测技术 --- 主要针对完整的数据包&#xf…

VSCode提交代码到git操作指南

前言 点个赞,嘿嘿! 直奔主题 一直都有疑问vscode如何将代码提交给git。告别小乌龟!告别命令! 操作步骤 第一步 登录git账号新建一个仓库,千万不要点击初始化仓库,不然只能clone了!&#xff…

关于CSS常见选择器应用的基础教程

在网页开发中,CSS选择器是非常重要的一部分,它们用来指定你想要样式化的HTML元素。熟练掌握各种选择器的用法可以帮助你更有效地实现网页布局和设计。本文将介绍一些常见的CSS选择器,并演示它们的基本用法及应用场景。 一、元素选择器&#…

开源模型应用落地-业务优化篇(七)

一、背景 在本篇学习中,我们要介绍消息中间件,它可以帮助我们将核心和辅助流程分开,让它们互相独立。同时,还要关注在使用消息中间件时需要注意的地方。并且将这种思想应用到其他实际场景中。 二、术语 2.1、消息中间件 消息中间件是一种在分布式系统中用于处理消息传递的…

Ethernet/IP转Modbus TCP网关

产品功能 1 YC-EIP-TCP工业级EtherNet/IP 网关 2 Modbus TCP 转 EtherNet/IP 3支持ModBus主从站 4 即插即用 无需编程 轻松组态 ,即实现数据交互 5导轨安装 支持提供EDS文件 6 EtherNET/IP与ModBus互转数据透明传输可接入PLC组态 支持CodeSys/支持欧姆龙PLC 支持罗克韦尔(AB) 典…

【MATLAB源码-第151期】基于matlab的开普勒化算法(KOA)无人机三维路径规划,输出做短路径图和适应度曲线。

操作环境: MATLAB 2022a 1、算法描述 开普勒优化算法(Kepler Optimization Algorithm, KOA)是一个虚构的、灵感来自天文学的优化算法,它借鉴了开普勒行星运动定律的概念来设计。在这个构想中,算法模仿行星围绕太阳的…

opencv图像腐蚀

腐蚀&#xff08;Erosion&#xff09;是一种形态学图像处理操作&#xff0c;用于移除图像中的小白点、细小物体或者边缘。它通过将结构元素应用于图像上的像素来实现。 以下是opencv实现图像腐蚀的代码 #include <opencv2/highgui/highgui.hpp> #include <opencv2/im…

【Android 需求方案实现】 在屏幕上画一条线的时候,如何把这条线经过的所有坐标点(高效有序完整)地发送出去?

文章目录 需求背景定义接口,获取down和move事件获取到的坐标信息获取触摸事件MotionEvent对拿到的x、y坐标进行处理发送实时坐标点算法实现:把虚线通过补偿算法填充为实线完成需求背景 买东西付款的时候,或者银行一些业务办理的时候,我们常常需要签名。目前大多数场景都是…