关于HB6466—90《软件质量保证计划编制规定》的几点说明

软件质量问题是“软件危机”的主要症结之一,也是软件工程研究的核心。严密制定、切实执行一个适当的软件质量保证计划,不仅能保证和提高软件开发的质量,而且有助于提高软件的可维护性,减少返工,降低成本,提高软件的开发效率。为此我部参照采用ANSI/IEEE std730—1984《软件质量保证计划》,参考MIL-S-52779A《软件质量保证大纲》,并吸取我国军标以及各专业部门有关软件质量标准和计划的执     

软件测试与软件测试工具FORTE

1 引言软件测试是软件开发过程中一个非常重要的阶段,在开发复杂的软件系统的过程中,面对着极其错综复杂的问题模式,人的分析、处理能力毕竟还达不到绝对周密的程度。在开发过程中,各类人员之间的通信和配合也不可能完美无缺,因此,在软件生存周期的每个阶段都不可避免地会产生差错。虽然在每个阶段都要求有严格的技术审查,以图尽可能早地发现并纠正错误;但是经验表明审查并不能发现所有差错,此外在编码过程中还不可避免地会引入新的错误,统计表明即使是优秀的程序设计也会在百分之一语句中发现有问题。测试的目的就是要尽可能地发现软件中的错误。目前软件测试仍然是保证软件质量的关键步骤,它是对软件需求、设计和编码的最后复审。本文介绍作为当前发现软件错误主要手段的测试技术的基本原理,并详细叙述了我们研制的 FORTRAN 程序测试工具的原理、构成和用法。     

基于DO-178C的机载软件质量保证与管理

DO-178C 作为机载软件适航可接受的符合性标准,明确要求机载软件综合过程中必须包含软件质量保证（SQA）过程。以机载软件的软件生命周期定义、过程和数据为基础,从目标、活动和符合性评审三个方面分析基于DO-178C 的软件质量保证过程的实施;结合软件项目质量管理技术和工具,从规划软件质量管理、管理软件质量和控制软件质量三个过程研究基于DO-178C 的软件质量管理方法并给出工程实践建议。结果表明：本文将软件质量保证与质量管理紧密结合,形成了适航要求的相关证据,提供了符合需求的民用机载软件,有效保证了机载软件的质量和持续改进措施。     

软件开发过程中的项目管理

随着信息技术的飞速发展，软件应用范围越来越广，软件产品的规模也日益庞大，软件复杂度越来越高。传统“作坊式”开发模式已经不能适应大型软件的开发需要，大型软件项目必须按软件工程的开发模式，由团队共同协作完成。如果软件开发过程中缺乏统一有效的项目管理，将造成软件成本日益增长，开发进度难以控制以及软件质量差、软件维护困难等情况。因此，为了使软件项目能够按照预定的成本、进度、质量顺利完成，必须对软件开发过程实施项目管理，规范软件开发的过程。     

谈MIS软件开发中的程序模块复用技术

本文从ＭＩＳ软件程序结构的一般特点，论述了以通用程序模块为基本部件的模块复用技术对软件开发的影响。无论采用那种软件开发方法。这一技术作为软件设计阶段的基本手段之一，对于提高软件质量和开发效率，促进软件开发的规范化、程序化、自动化和软件的商品化都是切实可行的。     

样本标签污染条件下的雷达辐射源个体识别技术

针对辐射源个体识别(Specific Emitter Identification,SEI)中由于数据集存在错误标签导致识别率下降的问题,提出了 1种有监督和无监督融合的错误标签识别和纠正方法。首先采用无监督密度峰值聚类方法将数据集中出现的标签错误样本找出,再使用 K折交叉实验对这些标签异常的样本进行预测投票,将得票数多的标签作为错误标签纠正的结果。经过清洗的数据集再通过卷积神经网络进行训练,得到 1个较为理想的辐射源个体识别的网络模型,保证了在样本污染条件下,辐射源个体识别网络仍能具有较好的识别率。文章所提方法的识别率相比未经处理的数据集的识别率在标签错误率小于 30%时平均提高 3.3%;在标签错误率大于 30%时,也能使个体识别率达到 90%左右,验证了文章所提方法在对错误标签的识别和纠正上可以取得较好的效果。     

基于有限状态机模型的飞控软件测试方法浅析

对有限状态机模型(FSM)在飞控软件测试中的应用进行探索。在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件质量和可靠性起到一定保障作用,可作为型号产品中其它控制类软件测试的借鉴。     

基于LDRA Testbed的软件单元测试

通过对LDRA Testbed的分析及采用LDRA Testbed进行软件单元测试,表明LDRA Testhed是一个可以有效应用于软件开发和测试阶段的软件测试工具,使用LDRA Testbed进行软件单元测试可以有效提高软件质量.     

软件容错及一个N文本容错系统的实现

软件容错是提高软件可靠性的重要方法之一。我们可以认为软件可靠性提高技术有两种:容错技术与非容错技术。非容错技术是应用各种方法使软件不舍错误,即力求使软件在成为产品以前达到完美无缺,软件说明书设计、结构设计、软件测试等避错、除错方法都属于非容错技术。可是随着计算机的应用领域越来越广。软件越来越复杂。而人的思维是有局限性的,因而软件设计的缺陷是不可避免的。同时软件的复杂性又决定了我们不可能进行软件的“穷举测试”。因此对要求高可靠性的系统,仅仅用非容错方法是不够的。如核反应堆系统、飞行控制系统、航空专业应用。都必须采用容错技术来进一步提高其可靠性,因为容错软件可以系统发生错误的情况下,保证系纯正常运行。     

全抽象监控软件实现

提出了Win32环境下实时控制软件的一种抽象实现法,将所有接入计算机的硬件传感器全视为流设备,按流类型实现一个全数字式抽象监控软件框架。在该架构上再开发具体的工程项目软件,绝大部分实时系统的后台控制逻辑已由该架构完成,将极大节约整个系统开发的成本。经这样的抽象后,任何复杂控制系统和任何接口形式硬件传感器,在这种软件架构下都使用统一的简洁软件方法处理。     

自动测试系统软件平台发展现状及建议

自动测试系统(ATS)的一个重要组成部分是软件,在自动测试系统的总成本中,软件成本是极其重要的成本因素.通常在ATS中提到软件,很容易想到测试程序,但实际上,更关键的是为测试程序提供开发和运行环境的软件平台,又称ATS软件环境.随着ATS在国防工业各个领域、各个阶段中的广泛使用,ATS软件环境也得到了越来越多的理解和重视.     

设计模式在测控通信构件设计中的应用

为了有效缩短开发周期并提高软件质量,必须提升测控软件的复用性和可扩展性。针对实际通信软件开发中的僵化性问题,提出了使用设计模式进行构件化设计的思路。结合具体通信应用完成了可扩展通信构件的分解和设计,测控协议的更改周期从传统开发方式的数月缩减为几个工作日,测控软件的维护成本得以大幅降低。通过对通信构件搭建过程的逐步介绍可以看出,设计模式是大规模构件化结构设计的基础,能够解决航天测控软件中常见的突出问题。     

军用嵌入式软件测试技术研究

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

RTCA DO-178C标准中的软件验证过程分析

研究了DO-178C中软件验证过程活动的开展及方法,提出了在工程实践中开展软件验证活动和提升软件质量的建议。指出DO-178C与航空工业标准体系融合及应用,对提升我国机载软件质量有重要意义。     

谈飞机气动性能的退化

解决好飞机的气动性能退化,是保证航空公司安全运营和降低运营成本的一个不容忽视的问题.制造商在设计阶段都尽量预计到所有可能的退化情况,并采用对使用中产生的退化最不敏感的设计形式,和通过不断的研究与更改,将飞机的退化控制在一个可接受的程度内.使用人的责任是使飞机保持一个良好的状态,确保其使用达到可能的最佳状态.     

基于UML构件分析的软件复用技术

软件复用是提高软件生产力和软件质量的重要途径。本文主要介绍了用面向对象的UML方法来分析构件,并从中提取可复用构件,进而将其封装为EJB构件的开发流程。为快速、高效地构建系统提供了一种可行的解决方案。     

美国的空天飞机与冲压发动机

美国空天飞机计划的近期目标是在试验飞行器上研究和发展为使美国能研制出在大气层中以高超音速持续飞行的军用和民用飞机以及把有效载荷送往轨道的航天器运载火箭所必需的技术.到1989年底或者1990年初将选定一个弹体承包商和一个推进系统承包商,要制成两架X-30试验飞行器,并在1993年首次试飞.到作飞行试验时所花的钱估计约为33亿美元.     

机载软件质量评价方法研究

本针对当前软件质量评价中度量元不具体、数据不易采集等问题,在分析机载软件特点和项目总体单位对软件产品质量管控需求的基础上,提出一种完整的、工程上易实施的软件质量评价方法,采用工程上易实施的度量元指标构建软件质量评价模型,通过加权平均的方法逐层计算软件质量评价模型中各级指标度量结果,最终得到软件综合质量评价结果,解决了定量评价软件的难题。     

基于GJB2786A-2009的军用软件质量评价技术研究

以ISO/IEC9126软件质量模型为基础,结合GJB 2786A军用软件开发通用要求,研制符合军用软件特点及研制过程的软件质量模型,使其能够在军用软件中得以应用。     

CMM管理体系在航天器海上测控软件工作中的应用探讨

软件质量三分靠技术七分靠管理,软件过程的规范管理和过程改善成为当前软件管理工作的棱心,CMM正是通过不断优化软件过程来实现软件质量控制的目的。本文主要阐述了CMM的概念和内涵,分析了CMM在我国的应用现状、CSMTC软件工作的现状和影响其软件质量的因素,探讨了CMM管理体系在CSMTC软件开发和维护工作中的应用意义和方法,给出了实施CMM管理需注意的几个问题。