【首个全规模海上PCR核酸检测实验室落地维京游轮】近日,维京游轮宣布已完成首个全规模的海上PCR核酸检测实验室(以下简称“PCR实验室”)的安装工作。据悉,PCR实验室被安装在“维京之星号”海轮上,该船将于11月中旬抵达挪威奥斯陆。在不久前,美国疾病控制和预防中心宣布“禁航令”解除,邮轮复航的条件之一为在船上设置检测实验室。https://t.cn/A6GM7Ve2

【航空标准化~~浅议航空武器装备软件测评质量评估方法】

航空工业综合所 今天

导语

航空武器装备软件多为嵌入式软件,具有特定运行环境,实时性强,而且多为高安全、高可靠性软件。作为武器装备的“神经中枢”,其地位和作用日益突出,软件质量已成为决定航空装备战斗力生成的关键因素。软件测评作为保证软件质量的重要手段,已成为航空武器装备软件研制和定型中的一个重要环节。

1分析影响软件测评质量的主要因素

结合航空武器装备软件(简称:航空软件)测评的特点,立足以往开展航空软件测评工作的基础,分析测试准入条件、测试技术、测试过程控制三个方面对航空软件测评质量的影响。

1.1测试准入条件对测评质量的影响

《航空军用软件定型测评进入条件评估标准》包括文档适用性、软件技术状态有效性、内部测试充分性和定型测评环境完备性四个方面的内容。文档适用性主要评估软件研制文档完整性,软件技术状态有效性主要评估软件技术状态已确定并纳入配置管理,内部测试充分性主要评估文档审查与代码审查充分性、单元测试充分性、配置项测试充分性、系统测试充分性,定型测评环境完备性主要评估配置项测试环境有效性、系统测试环境有效性、测试环境可用性。此外,测评人员是否符合要求也是测试准入条件的重要方面,测评人员的素质直接影响测评质量。

1.2测试技术对测评质量的影响

针对适航标准,结合航空软件测试流程,对航空软件单元测试、配置项测试、部件集成测试和系统测试的技术要求进行分析,从技术层面总结出影响软件测评质量的因素,主要集中在测试需求的确定、测试环境的准备、测试用例的设计三个方面。航空软件测试需求分析质量将直接影响被测软件的测试充分性。测试环境的准备是否有效,是否支持所有测试项的测试,以及与实装环境的差异,也会影响航空软件测评质量。测试用例设计是否合理,是否覆盖被测试软件需求,对软件测试有效性、充分性和测试效率均产生影响。

1.3测试过程控制对测评质量的影响

测试过程控制中的项目策划、项目监督、质量保证和配置管理,是影响航空软件测评质量的主要因素。项目策划贯穿于测评过程每个阶段,由项目负责人组织测评项目组进行阶段实施策划,拆分技术活动,编制和分配任务描述表。项目监督是在进行里程碑节点任务统计分析的同时,组织例会和内部评审,并与委托方、军代表、研制方沟通和评价项目的进展情况。质量保证是依据测评质量保证计划,评审软件测评活动,审核测评工作产品,验证其符合性,及时通报结果,跟踪不符合项的解决情况。配置管理是对整个测评项目生存周期内的被测件和测评项目的工作产品、测试工具和测试环境进行版本控制,维护其完整性。

2研究确定软件测评质量度量指标

一个良好成熟度的软件测评过程不仅是定性描述,而且是可量化的过程,选取可表针其质量状况的度量指标是关键。在分析影响航空软件测评质量主要因素的基础上,本着有效性和可实施性的原则,把测试准入条件、测试技术和测试过程控制三个方面,归纳总结为测评管理和测评技术两个维度,分析确定影响软件测评质量的可度量指标。

2.1测评管理过程

航空软件测评管理过程,主要是围绕持续改进测评项目的质量、提高生产率和降低成本三方面,开展软件测评全过程的监控和管理。管理是全过程的,度量是发生在项目实施过程中和结束后。通过加强航空软件测评过程管理和考核,一方面可作为测评项目承担单位的资产库内容,指导后续项目的执行;另一方面可以评估正在进行的测评项目的质量状况、跟踪阶段测评发现问题的解决情况、预测项目执行过程中存在的风险、调整优化工作进度和流程。把测试准入条件中规定的四个方面,以及测试过程控制中总结的四个因素,进行分析研究,归纳概括为测评实施前、实施中、实施后三个阶段的管理活动,可以分别用测评策划有效性、进度偏差、评审发现的问题跟踪这三个指标,作为测评管理过程质量度量指标。

2.2测评技术过程

航空软件测评技术过程,主要包括测试需求分析、测试策划、测试设计与实现、测试执行、测试总结等环节开展的测评技术活动。测试需求分析针对被测软件测试需求的充分性以及测试类型选取的充分性进行评估。测试策划主要对测试组织设置的合理性、测试进度估计的有效性、测试环境构建的合理性,以及对测试需求的跟踪性等方面进行评估。测试用例设计与实现是软件测评开展的关键阶段,测试用例的有效性依赖于测试环境支持情况,测试用例充分性取决于用例对软件所有功能点的覆盖情况,测试用例设计效率依赖于测试团队人员能力水平等。测试执行主要是按照测试计划进行测试,测试执行的有效性依赖于测试用例缺陷的发现率、有效性和检错率等,测试执行的充分性取决于测试用例对需求的覆盖率、用例执行率、代码走查/审查力度的检错率等,测试执行的效率依赖于代码审查的效率、测试人员的工作效率等。测试总结是对测试工作和被测软件进行分析和评价,分类和总结测试结果及软件缺陷,报告软件测评过程和结果。

测评技术过程的质量可以从测试充分性、测试有效性、测试效率三个维度进行度量考核。测试充分性的度量可以分解为测试需求充分性、测试类型充分性、代码走查审查充分性、测试用例设计充分性、动态测试充分性等五个二级指标度量;测试有效性的度量可以分解为测试环境搭建有效性、测试用例实际有效性、测试执行有效性等三个二级指标度量;测试效率可以分解为测试用例设计效率、测试执行效率、测试项目效率等三个二级指标度量。

3构建航空软件测评质量评估模型及实例验证

3.1 航空装备软件测评质量评估模型

从航空软件测评管理过程和技术过程两个维度,分析影响测评质量的主要因素,总结提炼出二级度量指标,构建航空软件测评质量评估模型如下(如图1所示)。

图1 航空软件测评质量评估模型

3.2 实例验证

以一个实际的航空软件测评项目为实例,对软件测试项目管理的质量和测试过程充分性、有效性、效率的量化评估模型及其技术实现进行验证。由于软件配置项测试过程具有典型性并且测试类型齐全,另外航空软件多为嵌入式软件,故选取某型装备嵌入式软件配置项测试进行说明。

被测软件基本情况如下:被测软件类型为嵌入式软件、规模11009行、开发语言为C、开发平台为VC33(芯片的开发平台)、测试级别为配置项测试、使用的测试工具为Klockwork9.2。

在该实例测试工作完成后,采集实例测试过程基础数据。本次测试项目设计并执行测试用例数为790个,发现软件缺陷共83个(致命缺陷1个,严重缺陷4个,一般缺陷78个),动态测试发现缺陷数为64个,代码审查发现软件缺陷数为19个,测试总工时为582人时,需求涉及的测试类型为11种。

实例中的软件测评项目总体评价通过测评项目管理质量和测试充分性、测试有效性、测试效率四个方面进行评价,得到以下评价结论,见表1。测评项目管理质量等级为{差 一般 较好 好},对应分值为[0,0.5]、[0.5,0.8]、[0.8,0.9]、[0.9,1];测试充分性等级为{不充分、基本充分、较充分、充分},对应分值为[0,0.6]、[0.6,0.8]、[0.8,0.9]、[0.9,1];测试有效性等级为{无效、基本有效、较好、好},对应分值为[0,0.5]、[0.5,0.7]、[0.7,0.9]、[0.9,1];测试效率等级为{无效、低、中、高},对应分值为[0,0.3]、[0.3,0.6]、[0.6,0.8]、[0.8,1]。本测评项目质量评价最终得分为[0.35 0.35 0.2 0.1]*[0.98 0.81 0.54 0.64]=0.80。

4 总结提升航空软件测评质量的建议

4.1 建立航空软件测评项目资产库

航空武器装备软件第三方测评、鉴定测评、定型测评,积累了大量的测评项目数据和历史资料,在对这些数据进行整理、归类、分析的基础上,建立航空软件测评项目资产库。一方面可以为项目决策提供依据,对项目的规模、进度、成本的评估提供参考;也可以与类似项目进行数据比对,借鉴、引用、复用资产库中的项目资源,为项目的持续改进提供帮助。另一方面为了探查软件测评发现的深层次的设计问题,提高软件质量管理能力,将大量数据进行深度挖掘,整合历史数据,加工转化成知识库,达到软件质量管理数据资产化、知识化目的,从而进行影响域分析、编制预示性的质量规则、实现通知报警、趋势分析以及决策管理,将从一定程度上预防软件问题的发生,减少修复软件缺陷的成本,进而提高航空软件产品质量。资产库的建立可以为测评任务分包提供依据,为监督测评项目进展提供手段,为测评单位交流共享测评经验提供平台。

4.2 规范航空软件测评机构管理

当前,软件测评机构在技术能力、管理水平等方面良莠不齐,给主管部门和决策机关评价、选择测评机构带来不少困难。为了规范软件测评机构管理,提升软件测评质量,应建立完善机制,加强对软件测评机构的评价。督促测评机构建立质量管理体系,并按要求开展软件第三方测评。测评机构应依据GJB2725A《测试实验室和校准实验室通用要求》,建立并规范软件测评全过程。研究提出软件测评能力成熟度模型,对软件测评机构进行评价和审查。通过对软件测评情况进行跟踪问效,尤其是在航空装备交付部队使用后,收集因软件造成的技术质量问题,统计分析因测评质量不过关引起的比例,及时反馈软件测评机构,建立软件测评质量信息闭环沟通机制。一方面,有利于软件测评机构及时知悉测评软件的实用质量,不断迭代改进软件测评工作;另一方面,也有利于主管机关了解掌握测评机构的工作质量,为科学评价管理测评机构提供有力支撑。

4.3 加强航空软件测评质量监督

当前,软件质量监督已上升为军代表质量监督工作的重要内容,但软件测评质量监督,军代表参与不够,是个质量监督的“盲区”。作为军代表,加强航空软件测评质量监督,应在以下三方面下功夫。一是明确软件测评质量监督职责。在测评过程各阶段,明确审查文件的类别和评审内容,并提出合理建议;参与软件定型(鉴定)测评,监督研制单位的软件配置管理和缺陷修复、归零工作,把关回归测试质量;协调测评机构与研制方、总体单位等各方在测评进度、测评资源等方面的问题,保证测评项目顺利实施。二是严格把控软件测评条件准入。按照航定〔2012〕4号《航空军用软件定型测评进入条件评估标准》,开展软件测评前的审查把关,确认测评条件、测评环境建立,督促研制单位按程序开展软件自测试、内部评审和提交审查。三是加强军方监督方的内部沟通。军方决策机关、研究院,驻研制方、测评方、总体单位军代表,相互之间应建立测评信息沟通机制,可以参照GJB3889《大型复杂装备军事代表质量监督体系工作要求》,建立软件测评质量监督管理体系,加强航空装备软件测评工作的沟通和协调,合力提升软件测评质量。

4.4 构建航空软件测评管理体系

国内目前还没有建立基于DO-178B系列标准的航空软件测评实施规范,因此在分析借鉴适航标准中对软件验证要求的基础上,建立适合我国航空武器装备现状的软件管理体系,将有利于航空软件测评质量的提升。从软件测评技术的角度,重点关注软件的功能验证,主要包括基于需求的功能测试和分析,性能和可靠性测试,代码的结构覆盖率分析。与之相对应的是审查、分析和测试三种技术,以及静态审查和分析、单元测试、集成测试、系统测试、确认测试等五个测试级别。参考DO-178B中测试目标要求与软件测试的对应关系,可以建立符合DO-178B的软件开发与软件验证关系,规范指导软件测试工作。从软件测评过程的角度,重点关注测试需求分析、测试策划、测试设计与实现、测试执行和测试总结等五个阶段。结合适航标准,可以建立五个测评阶段与测评文档之间的映射关系,细化明确测评过程,规范指导测评工作。从以上两个角度,制定软件测评技术和过程实施方案,规范构建软件测评管理体系,全面提升航空软件测评质量。

5结束语

依托国内软件测评中心积累的大量软件测评项目历史数据和测评项目实施案例,在研究软件测评通用过程模型和测试技术基础上,结合航空软件嵌入式、实时性、高安全性等特点,研究了影响软件测评质量的因素,建立了航空武器装备软件测评质量的度量指标体系和量化评估模型,评价了软件测试的充分性、有效性、效率和测评项目管理质量,提出了提升软件测评质量的途径和方法,最终达到提高航空武器装备软件测评质量的目标。对规范提升软件测评单位的测评工作质量、加强军方对软件测评质量的监督管理,都具有很好的理论引导和应用价值。

稿件来源:《航空标准化与质量》期刊

namo-amitabhaya! https://t.cn/RyhTm9c

8号线一期工程先行段为一里井站-荷塘路站段,线路起自既有3号线一里井站,沿阜阳北路、清河路、蒙城北路敷设,止于荷塘路站,全长7.3公里,设车站5座,其中换乘站2座。

一里井站-荷塘路站段是轨道交通8号线一期工程的重要控制性工程,先行启动该项目建设,有利于优化施工组织安排,顺利实现全线整体工期目标。

下一步,市轨道集团将根据工程可行性研究报告,进一步完善线路和车站设计方案,为广大市民提供更加安全、优质、高效、便捷、环保的轨道交通出行服务。 https://t.cn/R2WxOni


发布     👍 0 举报 写留言 🖊   
✋热门推荐
  • 【#马斯克将特斯拉副手调至SpaceX# 此前曾因秘密项目被特斯拉内部调查】伊隆・马斯克 (Elon Musk) 在特斯拉的高级副手奥米德・阿夫沙尔 (Omea
  • 立刻领取 ,仅限1张大额优惠券          无门槛优惠券10元:  #周边收纳整理# #好物发现官# 大部分人都会为厨房狭小、脏乱而烦恼,而且看到这样的状
  • 若能奉道修心,識法性,行正法,不著色相,清靜無爲,卽可達到寂滅境界,成就法身,永無憂患。心是矿中金,法是炼金火,金成,无火、无矿、也无金。
  • ”“你现在不是一个人了,有我在,你不用再浑身带刺地去对抗世界了。”啊啊啊最最喜欢上面这段朱韵说的旁白[爱你] 这两集真的太美好了 美好得不忍心让人打破 这一段刚
  • 哪怕是我们吵架,ok有工作了,那先暂停⏸️感觉两个人好像没什么架吵哎……可能在一起太久了,也成熟了,安全感满满……我有他定位但是我从来不去看,他去哪里干嘛都第一
  • 无论在头脑的世界依靠金钱,还是在心灵的世界依靠神通,都不能真正地解决你的苦恼,获得你的安宁……真正彻底全然的解脱,只有一条路可走:那就是了悟真相,识破所有的幻象
  • ”绿星星一来,汽车们都高兴地嘟嘟叫,可是,谁也不开。“微”就“微”在粗心大意的人他看不懂,一定要小心翼翼,你才能体会出其中的法味叫‘微’如果一看就懂,一听就明白
  •   有一次在城区送炸鸡,何婷婷偶遇一名骑手,对方看到了她的车,说:“你这小车不行,根本跑不动。#母亲给儿子送饺子途中被撞身亡外卖员被公诉#  大街上,一辆辆疾驰
  • 我们的生活总是很拥挤,总是很忙碌,过去的已成为历史,而未来还是未知,我们不须为昨日而哀叹,也不必为明天而担忧,我们要活在今天,活在过去与将来的隔仓里,才能把今天
  • ”平时说话就是非常mean很容易得罪人 总会脱口而出各种刻薄又自恋的话让别人感到难堪 还爱开黄腔不管对象是男是女 并且说的内容是我从来完全无法想象竟然会有人说得
  • 作为新希望乳业回归“创造美味,愉悦心灵”的初心体现,“味蕾游记·云朵慕斯”新品全新上市,带领消费者一起“精神出逃”让消费者在不能远行的日子里带着味蕾和心灵去旅行
  • 除了电影的主线,电影中的很多细节部分也非常精彩,比如摄影师说:有时候我不拍,如果我喜欢一个时刻,我不喜欢相机让我分心,我只想沉浸在那个时刻,享受那当下。最后送给
  • 用作人名寓意才能,智慧,品性等方面的出类拔萃之义;(琰博)琰——指一种上端尖锐的玉圭,是帝王主持典礼时手握的礼器,因此有尊贵显耀,温文尔雅,珍贵纯洁的寓意。【昱
  • 两个月前见了你那一面,已经圆了我的执念,所以最后关系怎么样,我很在意但也不是那么在意。我想,答应你的事情,除了暑假去迪士尼没有完成,以及keep的那个奖牌,这个
  • 受疫情影响,餐饮企业推新进度放缓,我们预计从下半年开始推新速度将加速,明年或为餐饮行业推新大年,建议关注千味央厨、日辰股份和宝立食品;小B规模化竞争优势带来的强
  • 刚回到房间就见他趴在垃圾桶上,他让我给他拍个照片发给他老板,让我帮忙解释下明天上不了班,可是我真的是不知道怎么开口,后来还是勉强发了几个字过去了。我都不知道他怎
  • 所以你会看到一直在寻找树叶的两个孩子,然后凑一起用力扯,然后赢得哈哈大笑,输的人继续找......当然也没有永远的“王”再结实的树叶被扯几次也会断的.....希
  • [允悲]哈哈哈,不过没关系,不管怎样,生日最大呀。说不上什么太有文采的祝福,也说不上什么太华丽的措辞,就普普通通的祝福吧,祝福你平平安安,祝福你健健康康,祝福你
  • ——首先他们在我头里边儿发出声音,让我看到或听到,不管是听到好的东西还是不好的东西,这都能把我给折磨成精神病和疯子, 其实他们算个什么东西,脸比他们强的无数倍的
  • 一醒就起床我们大人都很难做到何况孩子,所以提前10分钟叫醒孩子,给孩子10分钟时间一边听音乐一边和被窝告别。我们可以给孩子准备一个小本子,写好时间孩子每天早上按