昨天知道这个消息之后就很难受,早晨起来刷了群里聊天直接哭成狗,玩COC在群里认识五年,几个相熟的小伙伴唯独没见过他,之前一个多月没说话,我们都开玩笑说不能被传销组织抓走了吧,他们打了电话没人接。直到他弟弟上线说是肺部感染得了急病,ID辅助的命,是个温润如玉的人,这个时代能能多为别人着想真的很难得吧。希望我们能努力生活,珍惜一切美好的,不负此生[泪][蜡烛]

日本修验道之藏王权现(中为释迦如来、左为弥勒菩萨、右为千手观音)为一体本觉,一而生二,二而生一,三者合一,同生虚空,即凡即圣,无凡无圣,如一本真,化身无数,觉如如是。因之缘起,果之体性,无因无果,法身自见。心如如是,随缘无累,凡圣不执,一相即道。断无明障,生本来事,即事即身,即身即佛。
(藏王权现为日本修验道之本尊,为日本独有的佛。)
——选自《指正契义合篇》唐如山居士著。[鲜花][鲜花][鲜花]
(图片为藏王权现像,来自网络。)[鲜花][鲜花][鲜花] https://t.cn/RxDcoRl

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

航空工业综合所 今天

导语

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

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


发布     👍 0 举报 写留言 🖊   
✋热门推荐
  • 17、陈红军(已故)中国人民解放军某部原分队长,34岁他是新时代革命军人的杰出代表,坚守高原边防10年,带领官兵完成各种急难险重任务。[心][心]最全丨29名“
  • #顾季的看书日记# 这本我看了一点有点看不下去主要因为我是比较极端的受妈,但是客观来讲我觉得这本还其实算可以的你说这几个攻很坏那当然也没有,但是我就是看的我有点
  • 农村客运小车载我们沿海塔湖绕行一周,只见桃花向着蓝天猛长,人面桃花相映红,在花的海洋中荡漾往返,更加使人恋上了这美景诱人的 “世外桃源”。这里是既有“海”又有“
  • 听到这里,我恍然大悟,原来追男神需要这么多技巧啊,要不是今天被小姐姐问到,我就要错过一段美好的恋情了。咨询师小姐姐:小傻瓜,你不能让男生感受到自己是在和另一个老
  • 看IP全是自己转发的[苦涩][苦涩][苦涩][苦涩][苦涩][苦涩][苦涩] 我的七个崽崽 妈咪想你们 我们六月见,七个崽崽合体好么 @时代少年团队长-马嘉祺
  • #重庆警事# 【凌晨小车撞监控立柱 又是油门当刹车惹祸】近日凌晨,刘某驾车途经和平路支路时,直接越线进入对向车道掉头,因其将油门当成刹车,导致车辆径直冲上人行道
  • 一、相关情况和活动轨迹病例3男,为海口市病例1的密切接触者,居住地址为琼山区凤翔东路龙瀛康居,已接种2剂新冠疫苗,同住1人(女儿)27、28、29日曾与病例1在
  • 5.不满意就换,不喜欢就分,不舒服就走,不高兴就撤,人生哪有那么多痛苦,无非是你不放过自己。今年好起来了,同框比以前加起来都要多(还是没说过话,不过做人要有梦想
  • 中国政法大学教授曹明德发言如下:为爱捐赠,请点击首先要搞明白对于“虐待”的定义,我以列举加概括的方式,动物不应该受到无理由的痛苦,在动物保护方面,我期间参加过多
  • 每个人都会经历异常艰难的时光,既然厄运来袭,跑不掉,也躲不开,那么不如敢于直面惨淡的人生,敢于正视淋淋的鲜血,跨越心里这片海,把苦水一并咽下。回头看,人这一生,
  • 开通运营后,宁夏与全国8个国际性综合交通枢纽之一的陕西西安实现互联,结束了无外接高铁的历史,首次进入全国高铁“朋友圈”。银西高铁开通不仅降低了陕西企业的“回家”
  • 《此生,未完成》已读完庆幸自己有一个相对健康的身体,原来病痛是如此的痛,我不知道怎么形容,文字在它面前太苍白无力了,那是我没有体会过的痛。它确实也是一种情感,但
  • #每日一句# 吴树燕云断尺书,迢迢两地恨何如?【释义】吴地的树,燕山的云,南北相隔,隔断了音信,两地迢迢万里,思念的愁恨有多少,让人如何去诉说。
  • 今天吃的!!
  • 独居带给我的是无限快乐与自由,踏实和幸福:每次工作结束回家后,开门的那一瞬间都会被自己的小家治愈;亦或是放空大脑,放肆且随心地做自我。我把我的独居故事分享在LA
  • 尤其这个小柴胡汤,方才我们讲了,有健胃药,这个石膏害胃呀,可在它有些健胃药在里头呢,它没有什么大问题,那么这个方子治什么呢?就我们上边所讲那个,胸肋满呀,呕而发
  • 大早愉快的四人去摘草莓,驱车20多分钟,老老少少走进一个温室棚,草莓不大,也没有想象中到处都是,随便摘,总是要弯腰仔细查看,吩咐他们要挑红的,其次是大的,但
  • #任嘉伦[超话]# rjl#任嘉伦粉丝的公益故事# rjl#任嘉伦公益正能量#「再累也只想给你们看开心的一面。」任嘉伦粉丝公益故事,“任”意绽放你的光和热,守护
  • 这‮想样‬,就说明你不‮人是‬家的客户本质上‮爱,‬马仕和茅台,卖的‮是都‬稀缺性,以及附带‮金的‬融属性、社交‮性属‬。我们做‮售销‬的,卖不卖得掉‮瓶一‬
  • 过去那些独觉罗汉就是这样的,他自己看到河水的流动、花开花落,就能悟到万法的无常性,就会说这句话了:“逝者如斯夫,不舍昼夜”。一般人理解不了,悟性好的人听到这句话