软件可靠性增长测试的研究

研究、探讨了软件可靠性增长测试的基本概念及其实施过程中的若干问题,按照实际运行剖面选取测试用例、软件可靠性增长预计,以及正确收集故障数据的问题。     

灰盒测试方法在软件可靠性测试中的应用

 阐述了软件可靠性测试的概念和灰盒测试方法在软件可靠性测试中生成测试数据方面的应用,给出了方法用于可靠性测试中的工作流程,分析了其与传统的可靠性测试方法相比的优越性以及尚未解决的局限性,展望了未来的研究方向。     

嵌入式分区操作系统可靠性技术的研究与应用

嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的,是支持综合化航空电子系统的嵌入式实时操作系统,该操作系统是基于分区的高安全、高可靠操作系统,其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手,深入研究了嵌入式实时多分区操作系统开发过程中涉及的可靠性设计技术,给出了软件可靠性应用的示例,并研究了操作系统软件研发中使用的可靠性管理方法,对软件的可靠性进行了总结。     

基于自组织神经网络的软件功能测试数据自动生成

针对面向软件功能的测试数据自动生成问题,提出了一种动态自组织特征映射方法,用于生成揭示软件功能故障的测试数据(简称故障数据)。该方法主要有两部分组成,①采用具有全局多峰搜索特性的小生境遗传算法,在输入空间内搜索功能测试数据,生成少量的初始故障数据;②由初始故障数据,采用具有联想和分类能力的可变结构自组织特征映射,不断迭代生成大量相近而不同的故障数据,以便给开发者提供引发这些软件故障的信息,从而确定软件故障行为的模式或假设。用某型空空导弹发射控制软件进行了实验,运行结果表明了方法的有效性,故障数据生成效率高于遗传算法和随机法。     

实时软件测试用例构造的充要策略研究

机空与国防领域正呈现实时软件密集的趋势。这些软件可靠性要求高且通常规模较大，测试是一项艰巨的工作。如何使测试做到充分且必要是十分重要的研究课题。本文在分材实时软件特征的基础上，针对程序正确性测试，从任务组合等价类划分两个主要环节，探讨了测试用例构造的充要策略，并举出一具体实例。     

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

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

航天飞控软件操作概图开发

航天飞控软件是具有高可靠性要求的软件系统,对其进行可靠性测试是航天飞控任务的基本要求。操作概图是进行软件可靠性测试的基础。由于开发大型软件系统的操作概图比较复杂,使其成为了制约开展软件可靠性测试的主要困难之一。本文以地面航天飞控软件为例,介绍了实时飞控软件操作概图的开发步骤和方法。首先是确定软件系统的操作模式,并确定每个操作模式所运行的相关软件;然后给出了识别每个软件的操作发起者和操作方法;最后对不同类型的操作给出了确定其发生概率的方法。     

软件可靠性控制及关键环节

以实例和统计数据说明了软件可靠性的重要性 ;阐述了软件可靠性的有关概念 (如软件工程、软件寿命分布、软件可靠性验证、软件过程等级等 ) ;介绍了软件方案设计阶段可靠性设计工作的主要内容和软件可靠性设计的主要措施 ,以及保证软件可靠性的几个关键环节。     

军用嵌入式软件的可靠性分析

论述了军用软件的特点,对软件可靠性的性质和特征进行了具体分析,提出了提高军用软件可靠性的方法.     

J7L最短时间三元上升转弯轨迹的实时生成

首先应用奇异摄动方法，编制了Ｊ７Ｌ非实时的最短时间三元转弯的优化软件，然后利用速率调度的方法，实现了软件的实时，在Ｊ７Ｌ飞行模拟器上进行的飞行试验结果表明，该优化软化是成功的，生成的最优轨迹的变化趋势是正确的。     

某测试软件输入模块的可靠性测试方法研究

采用黑盒测试方法对某数据采集系统的测试软件进行了测试.通过对软件需求和性能的分析,建立了软件的运行剖面和测试案例,进行了可靠性测试,得到了该软件输入模块的可靠性测试结果.     

一类基于神经网络技术的软件故障静态测试方法

对测控软件可靠性增长模型的现状进行了分析,提出了基于神经网络的可靠性增长模型,选用了具有良好泛化能力和强大的非线性逼近能力的 BP 神经网络,对测试软件进行拟合,并对软件故障数进行静态预测和验证,实验表明,该模型具有很高的预测精度和良好的对非线性映射的逼近能力。     

机载计算机软件的测试

测试是保证机载软件质量可靠性的关键工作,但由于其复杂性和特殊性,机载软件的测试存在许多特殊的困难。本文对机载软件的特点进行归纳并分析其对软件测试的影响,针对机载软件的特点提出了相应的测试策略,特别地对机载软件可靠性测试的关键技术进行了讨论,提出了机载软件可靠性测试的完整方案。     

基于概率断裂力学的耐久性分析及软件开发

以概率断裂力学和可靠性理论为基础,依照美国空军耐久性设计手册所建立的三参数Weibull模型,对飞机结构耐久性试验数据进行分析和处理,并编制了相应的计算软件。软件能够给出裂纹扩展寿命的统计特性,在给定可靠度要求下结构经济寿命的预测、损伤度评估,以及可靠度随时间的变化。最后结合某型号飞机进行了具体分析,分析结果表明,该软件分析结果合理、可靠,具有良好的应用价值和应用前景。     

涡轮泵故障检测系统

1引言随着可重复使用运载器(RLV)的出现与发展,要求涡轮泵具有较高的可重复使用率,因此,它的故障检测与状态监控工作也变得越来越重要[1]。马歇尔飞行中心(MSFC)和波音-加州坎诺加帕克(BCP)正在研究航天飞机主发动机(SSME)涡轮泵的先进实时振动监控系统(ARTVMS)[2]。我国也针对     

固体火箭发动机试验综合软件系统设计

介绍一种固体火箭发动机试验用综合软件系统。该软件系统除具有标定、数据采集、试验数据分析处理功能外,还具有固体火箭发动机性能预估、参数辨识,以及试验数据库管理功能。该系统能自动快捷地分析处理各类试验数据,有效提高了试验效率。      

自动测试系统中状态参数的一种实时监测方法

对关系到测试资源和被测对象（UUT）安全的一些状态参数进行实时监控是自动测试系统开发中必须解决的一个关键问题，本文应用共享内存技术实现了对关键数据的实时监测，结果表明，该方法能有效地对关键数据实时监测，提高了测试系统的安全性。     

Eurocat—X软件可靠性建模分析及预测

根据软件可靠性的建模过程对Eurocat—X软件的失效数据进行分析。通过非线性回归方法估计模型参数,比较3种模型的拟合度,得出最适用于该软件的可靠性模型．并预测其软件可靠性。