军用软件

摘要： 结合最新版装备试验鉴定指导性文件 TE-BTBA-004-2021《装备状态鉴定工作指南》、TE-BTBA-006-2021《装备列装定型工作指南》及 TE-BTBC-002-2021 至 TE-BTBC-028-2021《装备鉴定定型文件编制指南》等,阐述军用软件鉴定定型阶段的主要工作,阐明军用软件鉴定定型标准化工作在定型装备质量控制中的作用,并根据鉴定定型过程中标准化工作的特点,提出标准化工作建议;。

摘要： 针对现有军用软件第三方测试供应商选择评价方法存在的指标考虑不全、客观性不足等问题,提出一种新的基于准入项和评分项指标体系的评价方法。给出指标的定义,提出准入项指标的评判准则和评分项指标的采集规则,采用灰色关联分析法和变异系数法计算评分项指标的灰色加权关联度,依据关联度排序实现选择评价。实验评价显示该方法能聚焦核心评价要素,具有较好的客观性和易用性,评价结果可信。

摘要： 国防和军队现代化建设中,软件在指挥调度、作战支援、武器控制、仿真模拟和军事信息管理中发挥重要作用;传统装备系统的研制一直围绕硬件开展,对装备数字化、信息化、智能化没有足够的认识,严重影响装备以及配套软件的质量和性能的发挥[1];军用软件已经成为比硬件更为重要、地位和作用更为显著、能够直接产生战斗力的军用“产品”。GJB5000A二级可有效规范软件研制过程,提升软件产品质量。文章结合本单位现状,根据软件研制特点,在项目研发过程中实践软件工程化管理,积累软件过程管理的相关经验;对软件研制全生命周期实行有效的监督和过程质量把控,在实施软件过程的持续改进中发挥指导作用。

摘要： 本文简要介绍了GJB5000A二级模型中测量与分析的目的和内容,重点分析了测量与分析的方法和流程,并以Qone管理平台为例,描述了实施测量与分析的关键步骤。最后,讨论了实施测量与分析常见问题及解决方法。

摘要： 四川观想科技股份有限公司(证券简称:观想科技,证券代码:832584.NQ)主要从事国防信息化产品的研发、生产业务,主要产品为自主设计的军用软件。2018年7月,公司开始接受广发证券的上市辅导,2019年8月改为携手长城证券,拟登陆科创板。目前,公司正在一创投行的保荐下冲刺创业板IPO。

摘要： 随着军队信息化程度的不断提高,军用软件已被广泛应用到武器装备的各个方面,其占装备价值的比重也日益增加.为体现军用软件价值,统一军用软件计价方法,目前已经明确科研阶段和订购阶段军用软件均采用功能点方法计价.通过对目前比较常用的5种的软件功能点方法,分别从用户角度对5种方法的应用领域、方法简易性等方面进行对比,最后选取使用更为便捷、经济的NESMA功能点方法进行重点阐述,并结合军用软件实例依据相关规范要求,介绍了NESMA功能点方法在军用软件功能点估算中的具体应用.

摘要： 随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举.但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面仍然存在一些问题,软件测试工作形势依然严峻,急需得到改进和加强.本文主要分析了军用软件测试现状、存在的问题和原因,并综合设计体系结构提出对策措施,为整体推进软件测试工作提供了可行的解决方案.

摘要： 在GJB 5000A—2008军用软件研制能力成熟度模型中,软件测试是验证(Ver)和确认(Val)两个过程域中最重要的活动之一。从软件工程化的角度来看,软件测试亦是软件开发过程中保障软件产品质量最重要的工程活动之一。在军用软件日益系统化、复杂化、多样化、规模化的今天,软件测试活动应该发挥什么样的作用,存在什么样的问题,作为保障软件质量的活动应该如何确保质量,如何进行精细化质量管理?本文将结合这些问题,通过分析软件测试的质量因素,同大家一起来探索一条软件测试精细化质量管理之路。

摘要： 随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举。但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面仍然存在一些问题,软件测试工作形势依然严峻,急需得到改进和加强。本文主要分析了军用软件测试现状、存在的问题和原因,并综合设计体系结构提出对策措施,为整体推进软件测试工作提供了可行的解决方案。

摘要： 《软件工程》期刊始终以反映软件工程理论、方法和技术创新成果,传播软件知识,推广软件应用为己任,期望可以为促进中国软件工程学科和软件产业发展略尽绵薄之力。★本期重点推荐论文随着军用软件在武器装备中作用的不断提高,其在装备系统研制中也逐渐占据主导地位。本期发表的论文《工程类过程域在弹载嵌入式软件研发中的应用》,提出为提高装备软件的质量和可靠性,其研制过程需遵循GJB 5000A(军用软件研制能力成熟度模型)开展。

摘要： 随着复杂多变的军事格局及信息化的进一步深化,军用软件从固定单一的运行环境发展为需要长时间分地域在不同平台上运行,需要快速应对外部环境和作战需求的变化;由于作战方式由平台化作战向体系化作战转变,军用软件需要在各应用系统之间实现互联互通互操作.针对复杂军事系统可持续改进、可自适应演化的需求,开展军用软件自适应演化体系结构的研究,使得军用软件具有不同平台适应性、具有开放式的体系架构、具有主动适应外部环境变化的能力,以快速应对外部变化的需求、降低开发和维护成本.文章分析了软件自适应演化体系结构的国内外现状及差距,给出了一种软件自适应演化体系结构的研究内容和技术解决方案.

摘要： 为解决军用软件中存在的安全性缺陷问题,基于软件故障注入技术——静态故障注入方法,提出一种新的程序变异测试方法,并设计了该算法的测试流程.通过笔者所在软件测评实验室的源代码测试工具DTS对5个软件的源代码进行了缓冲区溢出检测的实验,结果表明该方法能够有效地、精确地检测缓冲区溢出.

摘要： 针对国家军用标准和有关规定对软件研制能力进行软件能力评价提出的新要求,提出了引信研制单位推进GJB5000A-2008军用软件能力成熟度模型的思考建议.即在推进过程中做到结合实际、制定计划;领导重视、机构合理;全所动员、加强培训;体系落地、有序推进等推进方法,以提升引信研制单位软件过程管理能力.通过方针政策、标准规范和组织机构等的制定和建立将软件过程规范化和具体化,并明确定义方法和规程,达到软件过程管理的目的,适应未来引信产品发展的管理需求.

摘要： 总结了当前国内外军用软件需求工程的过程现状,以某大型军事管理信息系统为背景,对其需求工程的过程方法及主要工作活动中存在问题进行了细化分析,指出了目前基于CMMI模型的军用软件需求工程方法存在的不足和未来发展方向.

摘要： 军用软件安全性评估是进行军用软件验收的关键.本报告通过模型给出了关键软件安全性评价过程，分别从软件视角和最终用户视角两个方面给出了软件安全性度量元与评价准则。基于软件的视角进行度量，可以确保从开发人员的角度对软件安全性进行定量评价，而基于最终用户视角进行度量，更可以确保从软件使用方对软件安全性进行定性评价，这种定量与定性相结合的评价模型，兼顾了目标软件不同的利益相关方（软件开发方、测试方、用户方），极大地提高了评价结果的可信性，也提高了评价方法的普适性。

摘要： 针对当前军用软件定型测评要求,结合总装军用软件测评实验室相关体系及各军兵种软件定型要求,对军用软件定型测试过程管理工作进行了梳理,希望通过相关工作的开展,对军用软件定型测试和软件定型工作能起到一定的推动作用.

摘要： 软件质量评价是依据质量模型对软件实体能满足特定需求的程度的系统检测,其在多个软件工程领域应用广泛,ISO/IEC9126质量模型是目前软件工程界应用最广的质量模型,本文以ISO/IEC9126质量模型为基础,结合GJB2786A军用软件开发通用要求,制定符合军用软件特点及研制过程的软件质量模型,使其能够在军用软件中得以应用。

摘要： 全面收集和共享军用软件质量信息是进行技术积累,提高军用软件研制、测试和使用能力的迫切需要,但军内关于这方面的研究尚是空白.本文以现实需求和软件特征出发,提出建立软件质量信息库的意义、主要思路和方法,并探索其应用,为进一步研究解决装备软件质量信息共享问题打下基础.

摘要： 我军正处于信息化建设加速发展的历史时期,部队要求信息系统具备快速生成、待续改进和灵活集成等能力,现有的以工程化思想为核心的信息系统建设模式,已不能很好地满足上述要求.文章从新技术与新需求给信息化建设带来的机遇与挑战入手,对我军软件研发现状进行了分析,提出以服务化理念搭建软件服务公共平台的构想,与现行模式比较后,认为服务化是我军软件的发展方向.

摘要： 军用软件的高可靠性要求,对软件测试工作提出了更高的要求,数据处理测试过程中对数据类型使用正确性的测试,显得尤为重要.本文提出一种基于RM的数据类型测试方法,并举例通过分析TMS320C6713芯片中数据类型的使用,有针对性的进行用例设计,避免由于使用错误数据类型所导致的非预期性错误.对于软件测试工作而言提供了一个不可忽视的测试角度,可以有效地提高软件编程质量,并有利于软件测试工作的质量提升.

摘要： 本申请公开了一种军用软件结构化质量数据抽取方法，包括：生成软件质量信息数据文档模板，该模板为自定义的报表或文档；获取各个节点的软件质量信息数据文档模板；以及从所述软件质量信息数据文档模板中抽取测度元素，获取质量信息数据；其中，通过调用文件解析引擎将质量信息数据转换成JSON解析数据，从而获取测度元素值。本申请还公开了军用软件结构化质量数据抽取装置及软件测试方法及装置。与现有技术相比，本申请能够实现测度元素的自动化抽取，提高了软件测试的质量及工作效率。

摘要： 本发明提出一种基于基因型谱的军用软件管理数据显示方法及系统，包括如下步骤：步骤101、获取各个管理节点的基础数据、相关方数据以及软件各阶段的质量数据；步骤102、将所述基础数据、相关方数据以及软件各阶段的质量数据封装为对象，并将对象转换为JSON格式；步骤103、采用HighCharts技术对查询出的JSON数据进行反序列化处理，解析JSON数据中每个对象的属性信息以构建基因型谱整体架构，并为基因型谱中每个节点设置事件；步骤104、对管理数据进行多维度可视化显示。

摘要： 本申请公开了一种军用软件结构化质量数据抽取方法，包括：生成软件质量信息数据文档模板，该模板为自定义的报表或文档；获取各个节点的软件质量信息数据文档模板；以及从所述软件质量信息数据文档模板中抽取测度元素，获取质量信息数据；其中，通过调用文件解析引擎将质量信息数据转换成JSON解析数据，从而获取测度元素值。本申请还公开了军用软件结构化质量数据抽取装置及软件测试方法及装置。与现有技术相比，本申请能够实现测度元素的自动化抽取，提高了软件测试的质量及工作效率。

摘要： 本发明涉及一种非嵌入式军用软件质量评价方法、系统及存储介质，属于软件开发与测试技术领域，解决了现有非嵌入式军用软件质量评价方法难以操作与实施的问题。该方法包括：根据军用软件质量准标中多个维度的评价指标建立质量度量模型；根据非嵌入式军用软件的功能特性对所述质量度量模型进行裁剪，进而根据所述非嵌入式军用软件的不同等级优化所述质量度量模型中各评价指标的权重，进而获得相应等级的非嵌入式质量度量模型；从所述待评价非嵌入式军用软件的研发阶段数据与测试阶段数据获得度量元值；基于所述待评价非嵌入式军用软件的等级及度量元值利用相应等级的所述非嵌入式质量度量模型获得所述待评价非嵌入式军用软件的质量评价结果。

摘要： 本发明涉及一种嵌入式军用软件质量评价方法、系统及存储介质，属于软件开发与测试领域，解决了现有嵌入式军用软件质量评价方法难以操作与实施的问题。该方法包括：建立质量度量模型；根据嵌入式军用软件的功能特性对所述质量度量模型进行裁剪，进而根据所述嵌入式军用软件的不同等级优化所述质量度量模型中各评价指标的权重，进而获得相应等级的嵌入式质量度量模型；从所述待评价嵌入式军用软件的研发阶段数据与测试阶段数据获得度量元值；基于所述待评价嵌入式军用软件的等级及度量元值利用相应等级的所述嵌入式质量度量模型获得所述待评价嵌入式军用软件的质量评价结果。

摘要： 本发明涉及一种军用软件研发过程符合度的计算方法及系统，包括：S1、获取军工软件处理任一项目中的每一过程所对应的检查项数；S2、基于所述每一过程所对应的检查项数以及预先检查得到的每一过程所对应的检查项数中的预先设定的第一类检查项的NCI数、预先设定的第二类检查项的NCI数以及预先设定的第三类检查项的NCI数，获取该项目的符合度；S3、根据所述项目的符合度，确定该项目的质量。本发明涉及一种军用软件研发过程符合度的计算方法，相对于现有技术而言，其可以得到与实际军工软件处理项目时的准确的过程度，达到了准确的判断出该项目处理过程的质量。

摘要： 本发明提出一种基于基因型谱的军用软件管理数据显示方法及系统，包括如下步骤：步骤101、获取各个管理节点的基础数据、相关方数据以及软件各阶段的质量数据；步骤102、将所述基础数据、相关方数据以及软件各阶段的质量数据封装为对象，并将对象转换为JSON格式；步骤103、采用HighCharts技术对查询出的JSON数据进行反序列化处理，解析JSON数据中每个对象的属性信息以构建基因型谱整体架构，并为基因型谱中每个节点设置事件；步骤104、对管理数据进行多维度可视化显示。

摘要： 本发明属于软件测评相关技术领域，具体涉及一种基于Bayes的军用软件质量度量系统，其基于国军标《GJB5236‑2004军用软件质量度量》所规定的质量模型，并利用人工智能理论中Bayes的推理网络，提出了一种基于Bayes的军用软件质量度量系统。该系统以概率的形式描述了各个度量元对军用软件质量的影响，并且以概率的形式定量描述了军用软件质量的好坏。对比国内外软件质量度量方案，本发明的技术方案提高军用软件质量度量的准确性、可靠性。

摘要： 本发明属于软件测评相关技术领域，具体涉及一种基于Bayes的军用软件质量度量方法，基于人工智能理论中Bayes的推理网络，提出了一种基于Bayes的军用软件质量度量方法。该方法以概率的形式描述了各个度量元对军用软件质量的影响，并且以概率的形式定量描述了军用软件质量的好坏。对比国内外软件质量度量方法，本发明的技术方法提高军用软件质量度量的准确性、可靠性。

摘要： 本发明涉及一种军用软件评测规范的Simulink模型设计方法，其中，包括：分解出Simulink自带规则检查工具Model Advisor中直接影响代码标准符合性的模型检查项；收集Simulink模型进行成分分析，并使用Model Advisor中直接影响代码标准符合性的模型检查项进行规则检查，将通过规则检查的模型入库；将GJB 8114强制类准则逐项分解为由代码生成器决定和由用户行为决定的两类，利用假设检验方法对该两类准则进行验证；将得到的Model Advisor中直接影响代码标准符合性的模型准则、需谨慎使用的Simulink模块集合、由用户行为决定的模型设计准则、基于Simulink自带的模块库的模型设计准则进行提炼和加工，形成Simulink模型设计准则。