C~3l系统软件质量保障技术研究

针对C~3I 软件系统设计实现中所存在的问题,文章重点对软件质量保障方法进行了分析研究,同时提出一种简化任务评审阶段的软件质量综合保障建议。对从事C~3I 系统工程软件质量保障的人员可供参考。     

单片机软件测试方法研究

单片机(Single Chip Microcomputer:SCM)软件的可靠性是影响系统和设备可靠性的关键因素.以80C51单片机系统一个C51应用为例,针对单片机软件测试的特点,提出了单片机软件测试方法.     

软件质量保证技术研究综述

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题     

软件开发自动化

软件开发到底是一个什么过程?这个过程中的哪些工作能自动化?这是软件开发自动化的两个核心问题。本文以这两个问题为中心来展开讨论,试图提出一些见解以改进过去的研究工作。值得指出的是;基于这里的思想,我们已经实现了一个用于开发Ada 软件的支持系统。实验表明:在该系统的支持下,开发者能以最少的干预半自动地实现从问题的自然语言描述到程序包规范的转换。     

一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

火控系统软件测试和质量评估

在火控系统硬件技术日益成熟的今天,软件的质量问题愈发显得突出。如何测试火控系统的软件和评估软件质量是当前亟待解决的问题。该文提出了火控系统软件生存周期各阶段的质量工作,着重研究了火控系统的软件测试的方法和进行质量评估的基本原则。     

软件开发若干问题分析

随着各种MIS系统的需求量急剧增加,MIS系统质量的高低决定着计算机应用所产生效益的大小,提高软件质量已是用户和计算机工作者均特别关注的问题。分析了目前MIS系统开发中存在的问题及影响软件质量的因素,并提出了相应的解决办法。     

基于VxWorks双核应用的导弹火控系统软件设计方法

针对单核应用的火控系统软件多任务设计架构在提升性能和扩展功能方面存在的不足，提出了一种将目前的火控系统软件多任务设计架构以较少的设计更改即实现双核应用的方法，实现了基于VxWorks双核应用的火控系统软件设计架构，该方法已经在某型导弹武器系统中得到了应用，验证结果表明该方法效果良好，软件运行稳定可靠，极大地提升了火控系统扩展功能和性能的水平。提出的方法对于将单核应用转移到双核应用或开发新的双核应用均具有一定的参考意义和实用价值。     

通信对抗装备软件质量保证若干问题探讨

论述了通信对抗装备软件质量保证的基本内涵 ,在分析软件质量保证实施中存在的突出问题的基础上 ,提出了加强软件质量保证工作应该采取的对策     

基于数据库和构件技术的通用ATS软件框架

针对当前测试软件中存在的通用性、扩展性和升级性差的问题,提出了通用ATS软件框架的设计准则,设计了基于数据库与构件技术的通用ATS软件框架,即＂框架＋数据库＋构件＂的软件体系结构,该结构降低了系统的复杂性,解决了ATS软件的通用性、灵活性、可靠性、扩展性差的问题。     

武器装备作战控制软件管理方法

随着科学技术不断进步 ,微处理器及其作战控制软件已被现代武器装备大量采用 ,作战控制软件发挥的作用越来越大 ,对软件的管理亦更加重要 ,通过对作战控制软件管理方面存在的问题的分析 ,提出了加强武器装备作战控制软件管理的方法     

PowerBuilder环境下开发MIS系统时软件复用技术的应用

结合开发MIS系统时遇到的具体问题,阐述了在PowerBuilder环境下软件复用技术的具体应用,并对以后利用软件复用技术进一步开发MIS提出了设想。     

分布式计算机网络数据加密研究

针对C~3I 系统对分布式计算机网络数据加密的特定需求,重点对网络加密方式,密码装置、软件编程设计等核心问题进行了研究。可对数据加密总体设计与软件概要设计提供参考。     

概述数学教师教学必备软件及软件平台

本文阐述一个数学教师教学所用到的软件及软件平台,主要有:1)平台类:数学软件平台、课件开发平台、素材创作平台、编程语言平台、Internet操作平台;2)软件类:试卷排版软件、试卷批改软件、组卷评测软件、成绩统计软件及排课软件。     

分布式计算机网络数据加密研究

针对C~3I 系统对分布式计算机网络数据加密的特定需求,重点对网络加密方式、密码装置、软件编程设计等核心问题进行了研究。可对数据加密总体设计与软件概要设计提供参考。     

军用无线电的发展方向——软件无线电

在讨论无线电系统的发展以及军用无线电现状的基础上,提出了利用软件无线电解决现存主要问题的方法.详细分析了软件无线电的基本概念、原理和典型软件电台的基本结构,并介绍了由美国空军负责研制的Speakeasy计划.     

面向EUP的军用软件保障机制研究

软件保障是软件密集型装备和系统持续可靠地发挥作战效能的有力保证。从软件保障原则、保障组织和保障过程等方面,研究了面向EUP过程(Enterprise Unified Process,EUP)的军用软件保障机制,初步探讨了在EUP全生命周期中规划、组织和实施军用软件保障的方法。     

火控计算机的软件支持

针对机载、舰用以及地面火控计算机,阐述软件和软件支持的概念,强调软件支持应该遵守的前提原则,讨论软件支持的发展替续,并例举软件支持的实现过程。给出的结论和模式,对于火控软件的低成本获取具有参考价值,对于火控任务的高效率完成具有重要意义。     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。     

软件分域测试可靠性评估的注记

软件可靠性评估是软件可靠性研究的重要问题.文中通过反例证明了分域测试的Thayer Lipow Nel son评估方法是不正确的,将样本点排序法用于分域产生可靠性评估,获得了软件可靠性置信下限.最后给出一个实例说明该方法的可行性.