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

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.

相关文章:

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

8.0 软件质量保证流程 SOFTWARE QUALITY ASSURANCE PROCESS 本节讨论软件质量保证 (SQA) 过程的目标和活动。 SQA 流程按照软件规划流程(参见 4)和软件质量保证计划(参见 11.5)的定义进行应用。 SQA 过程活动的输出记录在软件质量…...

K 个一组翻转链表 力扣

【玩转校招算法面试】第三天:链表中的节点每k个一组翻转(动画演示、手写 Java 代码、详细注释、LeetCode 高频算法题)_哔哩哔哩_bilibili 初始状态:1 -> 2 -> 3,pre null, cur 1保存当前节点的下一个节点&…...

Java毕业设计 基于SSM SpringBoot vue购物比价网站

Java毕业设计 基于SSM SpringBoot vue购物比价网站 SSM vue 购物比价网站 功能介绍 首页 图片轮播 商品 商品分类 商品详情 评论 收藏 商品攻略 商品信息 公告栏 在线反馈 登录 注册 个人中心 我的收藏 后台管理 登录 注册商品户 个人中心 修改密码 个人信息 商品户管理 用户…...

Linux按键输入实验-按键功能完善

一. 简介 前面一篇文章实现了 按键的字符设备驱动代码框架,文章地址如下: Linux按键输入实验-按键的字符设备驱动代码框架-CSDN博客 本文在 字符设备驱动框架实现的基础上,加入按键GPIO的初始化功能。 二. Linux按键输入实验-按键的GPIO…...

二分查找讲解

关于我为什么要写单独开一篇文章写二分,实际上那么多困难的算法,比如线段树,并查集等等都没有难倒我,我最近却被二分难倒了,而且是两次,两次在赛场上做不出来二分的应用题,于是我决定写一篇二分查找的算法总结.刚接触算法的时候本来是要写一篇的,但后面因为各种原因搁置了,现在…...

跨区域复制建筑UI输入框脚本迷你世界

--复制区域文件 --设置坐标起点,终点 --创建区域 --获取坐标id,data --星空露珠工作室制作 local pos1{x-16,y7,z28} local pos2{x28,y44,z-9} local block{num0} local str{} local str0{} local num0 local count0 local ui6 --几个输入框 local romath.random(…...

取消退出流程控制方法

在自动化设备动作流程中,人为任意想取消当前动作,常见方法是使用全局变量,实时检测变量决定退出。这里介绍一个System.Threading空间下的 CancellationTokenSource类,他可以设置超时,设置信息等封装 基本使用超时和手…...

力扣-跳跃游戏

问题 给你一个非负整数数组 nums ,你最初位于数组的 第一个下标 。数组中的每个元素代表你在该位置可以跳跃的最大长度。 判断你是否能够到达最后一个下标,如果可以,返回 true ;否则,返回 false 。 解答 class Solu…...

李沐动手学习深度学习——3.2练习

以下是个人理解,希望进行讨论求解。 练习 1. 如果我们将权重初始化为零,会发生什么。算法仍然有效吗? 根据SGD算法公式如上,第一次迭代的值可知w只与b相关,而对于b的迭代更新,只是与b的初始值相关&#x…...

代码随想录Day20 | Leetcode77 组合

题目 给定两个整数 n 和 k,返回范围 [1, n] 中所有可能的 k 个数的组合。你可以按 任何顺序 返回答案。示例 1: 输入:n 4, k 2 输出: [[2,4],[3,4],[2,3],[1,2],[1,3],[1,4], ]示例 2: 输入:n 1, k 1 …...

Android Duplicate class 排除重复类

一、起因: 在迭代开发的时候,发现2个ijk很多类重复。但又2个库实现的功能是不一样,目前不能合并。但又想保留2个功能。需要排除其中一个库。 二、报错如何下图: 三、解决方法: 3.1 在terminal 也就是命令行处输入 …...

【Kubernetes】服务(Service)是什么?有什么用?有哪些类型?

系列文章目录 K8s中的Namespace是什么? Kubernetes 集群的组件介绍 Kubernetes 对象是什么? Pod——k8s中最重要的对象之一 Kubernetes 和 Docker 之间有什么区别? 部署安装 K8s 为什么要关闭 swap 分区? k8s中容器之间、pod之间…...

【前端素材】推荐优质后台管理系统DAdmin平台模板(附源码)

一、需求分析 1、系统定义 后台管理系统是一种用于管理网站、应用程序或系统的管理界面,通常由管理员和工作人员使用。它提供了访问和控制网站或应用程序后台功能的工具和界面,使其能够管理用户、内容、数据和其他各种功能。 2、功能需求 后台管理系…...

Redis高级特性详解:事务处理、发布订阅、持久化和集群

Redis(Remote Dictionary Server)是一个开源的基于内存的数据结构存储系统,被广泛应用于缓存、队列、计数器等场景中。除了基本的键值存储功能外,Redis还提供了许多高级特性,包括事务处理、发布订阅、持久化和集群。在…...

nwjs做自动化测试

分别是2个常用的自动化测试化框架 GitHub - nwutils/nw-selenium-javascript-example: An example of end-to-end testing with Selenium for NW.js apps via JavaScript GitHub - nwutils/nw-puppeteer-example: An example of using NW.js via Puppeteer. 看习惯使用哪个&…...

【前端素材】推荐优质在线特殊品牌商城电商网页eStore平台模板(附源码)

一、需求分析 1、系统定义 在线特殊品牌商城是指一个通过互联网提供特定品牌或特殊类型商品购买服务的电子商务平台。这类商城专注于某个特定品牌、设计风格或商品类型,为顾客提供独特、专业的购物体验。 2、功能需求 在线特殊品牌商城是指一个通过互联网提供特…...

Redis之一: 简介及环境安装搭建

什么是NoSQL? NoSQL,指的是非关系型的数据库。NoSQL有时也称作Not Only SQL的缩写,是对不同于传统的关系型数据库的数据库管理系统的统称。 NoSQL用于超大规模数据的存储。(例如谷歌或Facebook每天为他们的用户收集万亿比特的数据&#xf…...

关于电脑一天24小时多少度电电脑的一天用电量计算

随着这几年物价的上涨,一些地区的电价越来越高,而我们经常需要使用电脑,那么一台电脑一天24小时用多少度电呢? 如何计算电脑一天的用电量? 让我们跟随小编来了解更多吧。 1、功耗、主机箱功耗 现在的计算机中&#xf…...

Unity3D 物理引擎的基本配置详解

前言 在Unity3D中,物理引擎主要由两部分组成:碰撞检测和物理模拟。在本文中,我们将详细介绍Unity3D物理引擎的基本配置,并给出相应的技术详解和代码实现。 对惹,这里有一个游戏开发交流小组,希望大家可以…...

CSS:弹性盒子Flexible Box布局

CSS:Flexible Box弹性盒子布局 一、flex布局原理 ​ flex是flexible Box的缩写,意为 ”弹性布局“,用来为盒状模型提供最大的灵活性,任何一个容器都可以指定为flex布局。 当我们的父盒子设置为flex布局之后,子元素的 float 、clear 和 vert…...

Ubuntu系统下交叉编译openssl

一、参考资料 OpenSSL&&libcurl库的交叉编译 - hesetone - 博客园 二、准备工作 1. 编译环境 宿主机:Ubuntu 20.04.6 LTSHost:ARM32位交叉编译器:arm-linux-gnueabihf-gcc-11.1.0 2. 设置交叉编译工具链 在交叉编译之前&#x…...

C++_核心编程_多态案例二-制作饮品

#include <iostream> #include <string> using namespace std;/*制作饮品的大致流程为&#xff1a;煮水 - 冲泡 - 倒入杯中 - 加入辅料 利用多态技术实现本案例&#xff0c;提供抽象制作饮品基类&#xff0c;提供子类制作咖啡和茶叶*//*基类*/ class AbstractDr…...

【解密LSTM、GRU如何解决传统RNN梯度消失问题】

解密LSTM与GRU&#xff1a;如何让RNN变得更聪明&#xff1f; 在深度学习的世界里&#xff0c;循环神经网络&#xff08;RNN&#xff09;以其卓越的序列数据处理能力广泛应用于自然语言处理、时间序列预测等领域。然而&#xff0c;传统RNN存在的一个严重问题——梯度消失&#…...

Golang dig框架与GraphQL的完美结合

将 Go 的 Dig 依赖注入框架与 GraphQL 结合使用&#xff0c;可以显著提升应用程序的可维护性、可测试性以及灵活性。 Dig 是一个强大的依赖注入容器&#xff0c;能够帮助开发者更好地管理复杂的依赖关系&#xff0c;而 GraphQL 则是一种用于 API 的查询语言&#xff0c;能够提…...

[ICLR 2022]How Much Can CLIP Benefit Vision-and-Language Tasks?

论文网址&#xff1a;pdf 英文是纯手打的&#xff01;论文原文的summarizing and paraphrasing。可能会出现难以避免的拼写错误和语法错误&#xff0c;若有发现欢迎评论指正&#xff01;文章偏向于笔记&#xff0c;谨慎食用 目录 1. 心得 2. 论文逐段精读 2.1. Abstract 2…...

ESP32 I2S音频总线学习笔记(四): INMP441采集音频并实时播放

简介 前面两期文章我们介绍了I2S的读取和写入&#xff0c;一个是通过INMP441麦克风模块采集音频&#xff0c;一个是通过PCM5102A模块播放音频&#xff0c;那如果我们将两者结合起来&#xff0c;将麦克风采集到的音频通过PCM5102A播放&#xff0c;是不是就可以做一个扩音器了呢…...

【git】把本地更改提交远程新分支feature_g

创建并切换新分支 git checkout -b feature_g 添加并提交更改 git add . git commit -m “实现图片上传功能” 推送到远程 git push -u origin feature_g...

解决本地部署 SmolVLM2 大语言模型运行 flash-attn 报错

出现的问题 安装 flash-attn 会一直卡在 build 那一步或者运行报错 解决办法 是因为你安装的 flash-attn 版本没有对应上&#xff0c;所以报错&#xff0c;到 https://github.com/Dao-AILab/flash-attention/releases 下载对应版本&#xff0c;cu、torch、cp 的版本一定要对…...

Android15默认授权浮窗权限

我们经常有那种需求&#xff0c;客户需要定制的apk集成在ROM中&#xff0c;并且默认授予其【显示在其他应用的上层】权限&#xff0c;也就是我们常说的浮窗权限&#xff0c;那么我们就可以通过以下方法在wms、ams等系统服务的systemReady()方法中调用即可实现预置应用默认授权浮…...

uniapp中使用aixos 报错

问题&#xff1a; 在uniapp中使用aixos&#xff0c;运行后报如下错误&#xff1a; AxiosError: There is no suitable adapter to dispatch the request since : - adapter xhr is not supported by the environment - adapter http is not available in the build 解决方案&…...