软件测试的故障模型

故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为2个方面:①计算结果错误;②系统"死机".导致第1类错误的故障相对来说是比较容易检测的.导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较小,也往往难以检测.死循环故障是最常见的能引起系统死机的故障,但这种故障由于其复杂性难以对其模型化,同时在许多情况下,死循环故障也比较容易暴露.对C 中几种能导致系统死机的典型故障进行了分析,这种故障的检测其意义重大,将这些典型的故障组合在一起,就构成了面向软件系统死机故障的故障模型.     

单片机软件测试方法研究

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

可复用构件模型探讨

针对软件复用中构件模型的建立,介绍了构件模型的基本概念,分析了几个现存的构件模型,并对构件模型技术提出了一些展望。     

基于最优投影与形态学滤波技术的引信安全性软件识别算法

以数字化图像处理与识别技术为基础,利用最优投影及形态学滤波技术,根据某型惯性保险引信X光图像中所反映的零部件位置、灰度和形态等特征,建立保险钢珠和保险簧状态的识别算法,应用C语言进行算法编程,应用C＋＋Builder完成程序界面设计,实现惯性保险引信安全性在无损状态下的自动识别．     

前门耦合仿真平台的设计

从天线接收等效电路出发,用专业的电磁电路仿真软件设计并构建一类前门耦合仿真平台．该平台能弥补传统仿真中天线辐照与敏感设备传导之间的割裂,反映耦合过程,为整机电磁兼容与防护提供丰富细节和数据．该类仿真极具开放性,可依据敏感设备特点与候选仿真软件功能,自选相关软件构建该平台．最后以某型接收机为例,用三维电磁仿真软件CSTMWS完成天线辐照,在基于CSTDS和ADS的仿真平台下实现前门耦合模拟,得出接收机内部耦合数据,验证该类平台的实用性．     

装备需求论证工具化研究

以体系工程思想和DoDAF2．0为指导,在系统分析国内外装备需求论证工具软件研制现状和存在的问题基础上,提出了装备需求论证工具化概念及其软件功能需求,优化设计了工具软件体系结构框架,并着重探讨了软件集成和数据模型等关键支撑技术,为装备需求论证工具化实践奠定了理论基础。     

基于MapInfo软件平台的海战场无线电频率管理系统设计

以海战场无线电频率管系统为实际背景,通过分析其完成战场频谱管理任务时对数据和地理信息的要求,确定以地理信息系统为管理平台的支撑软件,同时还深入分析了桌面地理信息系统软件MapInfo的主要特性与技术支持,并结合上述应用背景,提出了一个基于MapInfo软件平台的海战场无线电频率管理系统设计方案。     

高可靠性软件的极值统计分析

提出了极值统计分析的方法.对于失效数据极值分布函数的拟合检验,采用了相关系数法;对于母体分布的参数估计,则分别采用了最小二乘估计(LSE)和极大似然估计(MLE);最后通过一个实例说明了统计过程,并用模拟的方法证明了最小二乘估计较好.     

引信软件安全性仿真测试系统研究

首先分析了引信软件的特点,结合引信的高安全性要求,对引信软件安全性进行分析。然后详细讨论了构建引信软件安全性仿真测试系统的难点,提出了系统工作原理,对其特点进行了分析,指出了系统要实现的功能,描述了系统体系结构。     

遥控两栖车控制系统的软硬件设计

遥控两栖车的控制系统由控制端和受控端2部分组成.控制端负责采集各种驾驶信号,然后通过电台将控制信号传输到受控端.受控端接收到控制信号后,使相应的执行机构动作,达到车辆的遥控驾驶.本文着重进行了控制端的软硬件设计.该系统在试验中各项性能达到了使用要求.