面向对象的软件测试

本文结合面向对象软件的具体特点和工程实践,给出了面向对象软件测试的内容:类测试、类簇测试和系统测试。最后,给出了面向对象软件的测试策略。     

一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.     

一种基于UML/OCL的软件测试方法

根据UML/OCL和建模环境提供的软件模型信息,以一个武器装备管理信息系统的装备入库顺序图为例,在分析UML/OCL顺序图的语法和对象间的交互信息的基础上产生测试场景,提供了一种基于UML/OCL的面向对象的软件测试方法,并提出测试自动化的设想,对软件测试有一定的借鉴作用。     

软件测试方法综述

论述了软件测试技术近几年来研究的最新成果。包括软件的故障模型、白盒测试技术、黑盒测试技术、人工测试技术、可靠性测试技术和测试性设计技术等。以作为对近十几年来软件测试技术发展的总结,还初步的探讨了软件测试技术今后的发展。     

软件的测试性分析与设计

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

软件的测试性分析与设计

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

武器系统软件靶场测试方法

从软件测试在软件开发过程中的作用出发,阐述了软件测试在武器系统研制试验与鉴定过程中的重要地位,指出武器系统在靶场进行试验过程中,对武器系统软件进行系统测试的重要性。根据靶场的实际条件和武器系统在靶场进行试验时武器系统软件具有的特点,基于现代软件测试理论和软件测试方法,研究探讨了在靶场这一特殊的环境下对武器系统软件进行系统测试的试验方法和进行测试的系统步骤,对武器系统软件的靶场测试具有重要的指导意义。     

基于平台支撑流程驱动的军用软件测试过程实施

为了解决在军用软件测试过程中各项活动的生命周期过度依赖人工驱动的问题,在相关的国/军标指导下,基于军用软件测试和项目管理相关技术和理论,设计了一种基于平台支撑流程驱动的军用软件测试过程实施模型.该模型有利于在平台支撑下军用软件测试过程的自动化实施,可以提高测试效率和降低测试成本,提升军用软件测评实验室的管理能力,在军民融合的大背景下提高军费使用效率.     

基于改进Markov模型软件测试策略

针对已有软件测试Markov模型与工程实践不符的情况，通过引入软件需求覆盖率改进Markov模型。在改进的Markov模型基础上，本文以软件测试过程中测试总代价最小为控制目标，采用交叉熵方法修正测试剖面，由优化测试剖面生成测试用例序列。仿真结果表明这种方法能够有效地降低软件测试总代价，是一种有效的软件测试方法。     

软件测试质量管理设计分析与思考

本文介绍了软件生存周期的概念和特点,论述了软件测试质量管理设计的目标和主要内容,提出了软件测试质量管理设计的总体方案,并简要地阐述了测试质量管理的7个关键库的主要内容。     

鱼雷加速可靠性试验体系

随着鱼雷技术的发展,传统模拟试验越来越难以发现其潜在缺陷,从而难以提高鱼雷武器可靠性和质量水平。加速可靠性试验体系一改传统试验做法,可使鱼雷产品可靠性得到进一步提高。主要对加速试验体系中ALT、HALT、HASS试验的国内外发展现状、理论及其在鱼雷上的应用进行了概述。     

火炮炮闩击发机构可靠性强化试验技术

为提高炮闩的试验效率和可靠性,将可靠性强化试验理论引入其可靠性研究中。以火炮炮闩为强化试验载体,基于虚拟样机技术对击发机构磨损失效进行强化试验研究,依据受力分析确定了增大击针簧刚度的强化试验技术,通过仿真试验和分析,结果表明机构磨损量强化系数随强化应力水平的提高而变大,所确定的强化试验技术加快了零部件失效进程,有利于缩减可靠性试验的时间,为可靠性强化试验在装备机械系统中的应用提供理论和技术支撑。     

军用软件测试现状及对策

随着我军信息化建设深入发展,军用软件的规模和数量空前增长,军用软件的质量建设成为极端重要而紧迫的任务。软件测试是保证软件质量、提高软件可靠性的重要途径和必备手段,但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面,仍然存在着许多问题,软件测试工作形势依然严峻,急需得到改进和加强。在深入分析军用软件测试现状、存在的问题和原因的基础上,综合设计体系结构,研究提出对策措施,为整体推进软件测试工作提供了可行的解决方案。     

面向对象数据库的概念和问题

随着面向对象程序设计的广泛应用,面向对象数据库已成为数据库发展的主要方向之一。本文讨论了面向对象数据库的概念和问题,描述了面向对象数据库的数据模型及面向对象数据库的功能和特点,并对面向对象数据库与关系数据库进行了比较。     

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

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

航空电子总线测试系统的设计与实现

现代航空电子综合化系统通常建立在M IL-STD-1533B多路传输数据总线通信网络基础之上,总线控制器(BC)和各个远程终端(RT)必须满足M IL-STD-1553B规定的各项协议指标要求,才能正确地联网通讯。讨论了某型航空电子总线测试系统的设计与实现,主要探讨了此系统的软、硬件开发,系统组成及其BC和RT有效性测试的主要内容和要求。在实际应用中收到了很好的效果。     

松耦合设计在计算机脆弱性测评系统中的应用

运用松耦合设计思想,对计算机脆弱性测评系统中两个子系统的组成和实现进行了研究。提出多准则测评子系统的Web数据库实现和CVE测评子系统的多层MAS实现方法,并对其实现算法和技术要点进行了论述。     

软件测试的故障模型

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

表面类裂纹缺陷与地磁场相对空间位置对漏磁场检测的影响

采用低频电磁场的有限元单元分析方法，分析铁磁性金属零件表面类裂纹缺陷与地磁场的空间相对位置变化对缺陷处漏磁场的影响，并通过试验进行了验证。结果表明：相对空间位置对漏磁场强度值影响较大，但对漏磁场强度曲线的变化特征影响不大。当缺陷与地磁场磁力线相互垂直时，漏磁场强度值最大；当缺陷与地磁场磁力线平行时，漏磁场强度值最小。这表明当采用漏磁场检测方法进行无损探伤时，零件的空间方向可能会影响探伤结果。