监控系统的软件测试可靠性分析

针对舰船上的监控系统软件的实时性和高可靠性的特点，提出了这类软件的测试方法和可靠性分析方法。包括软件测试用例生成，测试最优中止时间,软件可靠性模型选择，可靠性模型分析。     

提高实时测控软件系统可靠性方法研究

针对靶场实时测控软件系统多进程多线程并发运行、信息流量大、接口关系复杂、实时性强、可靠性高的特点,在分析实时测控软件可靠性风险的基础上,提出了把好软件研制质量关、加强软件测试、建立多路IP数据互为备份的传输模式、设计高可靠性软件架构等方面提高可靠性方法。     

软件可靠性分析的模块分析方法

本文借鉴组件可靠性分析（Component reliability analysis)提出一个用来分析软件可靠性的模块分析方法,该方法的思路是先将软件分解为模块,然后在模块层次上应用EET可靠性增长模型,最后进行可靠性叠加从而得到软件的可靠性模型,所需的模型参数可以由软件的历史版本信息,软件模块的静态属性和动态属性得到。该方法可以在进行软件测试之前实施,并在测试中完善,本文详细描述了该方法的6个步骤,最后总结了该方法的优点。     

软件测试技术在舰船使用维修管理系统开发中的运用

针对软件开发的要求，在舰船使用维修管理系统开发过程中，运用软件测试技术，提高软件开发的效率和软件的可靠性。本文详细介绍舰船使用维修管理系统软件测试的过程、方法以及测试经验，以供参考。     

软件测试模型介绍

软件测试是软件质量保证的重要手段之一，软件测试模型则是软件测试的工作框架，用于指导软件测试过程。较为详细地介绍了V-模型、W-模型和前置测试模型。     

基于VXI总线的测试软件的软件测试与可靠性评估

随着科学技术的飞速发展,软件的应用越来越广泛,其功能越来越强大,复杂性也越来越高,从而大大增加了软件测试与可靠性评估的难度。当前基于VXI总线的测试软件使用广泛,为保证此类测试软件的质量,有必要针对此类测试软件的软件测试与可靠性评估方法进行专门的研究。     

基于故障树的靶标回收系统软件可靠性测试分析

目前嵌入式软件系统在各类装备中大量运用,软件与硬件平台的结合也越来越紧密,工作过程中一旦出现失效,可能导致严重后果。论文采用故障树分析方法,对嵌入式平台的靶标回收系统的可靠性进行测试分析,建立故障树模型,根据计算故障树的最小割集、径集和基本事件的重要度,帮助软件测试人员快速判断影响系统可靠性的关键事件和关键状态,分析导致系统失效的潜在故障发生路径,对系统的可靠性验证和测试用例设计提供有效指导,提高软件测试的效率。     

基于VxWorks平台的嵌入式实时软件测试方法

嵌入式实时系统以其优异的实时性和可靠性,已经被广泛应用在军工、通信、军事、航空、航天等领域,其中VxWorks在行业内的应用最为成功。嵌入式实时软件的质量和效率,对于保证嵌入式实时系统的质量和功能性具有不可替代的作用。然而,由于嵌入式软件所运行的硬件环境复杂多变,并且硬件资源比较匮乏,所以嵌入式实时软件的测试一直缺乏有效的方法和工具。本论文深入分析了嵌入式实时软件测试的特点,提出了嵌入式实时软件测试的经典结构,并以LDRA Testbed/TBrun软件测试工具为例,介绍了基于VxWorks平台的嵌入式实时软件测试的一般方法。     

信息化装备软件测试

随着装备的信息化的发展，各种软件密集型装备接连出现，软件在装备系统中所占比重越来越大，软件的质量问题成为制约装备系统性能的重要指标之一。从某种意义上说，离开软件，就谈不上装备信息化，软件质量是高可靠性装备的前提，加强软件测试是保证装备软件质量的重要手段。     

基于嵌入式系统的软件结构覆盖测试技术

在软件测试过程中有效地监控代码覆盖率是提高软件测试有效性的一个重要途径，介绍了利用LDRA Testbed测试工具进行嵌入式软件结构覆盖测试的方法和技术。     

软件测试及关键技术探讨

软件测试是提高软件可靠性最有效、最直接的方法之一。首先描述了软件测试的概念，给出了软件测试的四个根本特性，即动态性、有限性、选择性和预测性，在此基础上，对软件测试中的关键技术进行了探讨，最后对现有测试方法进行了相关总结。     

浅析军用软件可靠性

在说明军用软件可靠性的重要意义的基础上，分析了影响军用软件可靠性的主要因素，并提出了提高军用软件可靠性的途径，其中重点说明了如何将软件可靠性工程运用于军用软件的开发和测试过程。     

基于系统功能的雷达探测能力软件测试方法

用软件测试角度,从雷达系统专业背景考虑,对雷达系统软件探测能力指标进行考核验证,测试用例设计基于雷达系统功能和作战使用,以期通过软件测试发现系统缺陷,体现装备软件测试的专业背景.基于系统功能的软件测试方法,将装备软件测试与装备专业理论结合起来,符合信息化装备发展的要求,符合装备软件测试按专业领域划分的要求,有利于保证测试的充分性和有效性,提升装备软件测试对装备软件质量的保障.     

形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

软件测试方法和实践综述

针对黑盒测试、白盒测试、灰盒测试、人工测试、自动测试、静态测试和动态测试等测试用例设计技术进行了分析和比较，给出了软件测试技术的一种分类方式，并给出这些技术与各类测试之间的关系。介绍了行业内软件测试的基本情况，提出了一些建议。     

舰载软件在不确定操作剖面下的可靠性评定

针对舰载软件的高可靠性特点讨论了在软件可靠性评估中研究操作剖面不确定性的必要性。在软件分域测试时，建立不确定操作剖面下的软件可靠性评估模型。当测试结果无失效时，利用序求解软件可靠度的精确置信限。对于不确定问题使用网格分析法，将其转化为在确定性问题下进行分析。最后通过实例将本方法得到的结果与文献[6]中方法得到的结果进行比较。     

嵌入式软件测试

软件测试是软件工程的一个重要组成部分。阐述了嵌入式软件测试的目的、分类和工作流程,按照测试步骤详细地分析了单元测试、集成测试、确认测试和系统测试方法。