软件可靠性测试及评估平台的设计与实现

设计并实现了软件可靠性测试与评估平台,支持软件可靠性测试用例自动生成,便于可靠性数据收集以及软件可靠性评估和预测,解决了软件可靠性测试难以有效开展的问题。通过与SMERFS预测结果对比,表明本平台对软件可靠性测试与评价具有较强的实用性。     

软件可靠性测试的理论分析

目前软件可靠性测试没有真正开展起来,即使重要的军用软件也没有进行软件可靠性测试。软件可靠性模型的不一致性以及软件可靠性测试时间长、费用高、资源消耗大是造成这种局面的两个主要问题。而这两个问题很大程度是由传统基于随机系统假设的软件可靠性理论导致的。因此,在该理论下对可靠性测试方法及可靠性模型的修补与改善工作很难从根本上解决问题。只有从软件可靠性理论本身入手,提出新的研究思路,才有可能摆脱目前软件可靠性测试的困境。首先介绍了软件可靠性测试的现状,然后重点对现有可靠性理论进行了分析和总结,在此基础上,提出了软件可靠性测试研究的一些新思路。     

星载软件可靠性测试实践

为验证和评估软件可靠性水平,阐述了开展软件可靠性测试的方法和过程,针对星载嵌入式软件的特点,介绍了进行软件可靠性测试的关键步骤的实现途径和方法,包括:失效的定义、测试环境的搭建、使用剖面的构造、测试过程的执行以及失效数据的收集,最后给出了该软件的可靠性定量评估结果,表明了该方法和流程的实用性和可行性,为后续开展类似的软件可靠性测试提供实践经验.     

软件可靠性测试充分性研究

在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上，形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质，重点研究了软件可靠性测试的充分性，将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则，给出将测试充分性准则用于可靠性测试流程的模型。     

星载软件可靠性工程研究与实践

为提高星载软件的可靠性,针对某星载软件的特点,讨论了开展软件可靠性工程的实施框架和过程,分别从软件可靠性设计、分析、度量和测试四个方面进行了总结和评述.重点论述了软件可靠性设计准则,软件故障模式及影响分析和软件故障树分析技术的特点,软件可靠性度量的选择方法,以及软件可靠性测试的评估规程和可靠性模型的选择方法,并给出了技术应用的结果,证明了这些方法的可行性和适用性.     

软件可靠性测试及其实践

软件可靠性测试是软件可靠性工程的一项重要工作内容,是满足软件可靠性要求、评价软件可靠性水平及验证软件产品是否达到可靠性要求的重要途径。本文探讨、研究了软件可靠性测试的基本概念,软件可靠性测试过程以及软件可靠性测试中的主要问题,还介绍了一个实际软件的可靠性测试工作。     

防空高炮数字化改进中的软件可靠性技术综述

防空高炮数字化改进是高炮实现数字化和满足信息化战争需求的重要内容,改进中软件的可靠性是影响数字化改进质量的关键因素,如何提高和保证数字化高炮软件的可靠性成为重点研究的问题.针对该问题,从数字化高炮软件系统构成及分析着手,对数字化高炮的软件可靠性设计、软件可靠性测试以及量化分析技术进行了综合探讨.具体分析了数字化高炮软件可靠性可进行分配的CSCI、软件可靠性测试的阶段、测试中的关键技术以及数字化高炮软件可靠性评估所应当采用的模型方法,通过上述研究可为数字化高炮研制过程中的软件可靠性工作提供参考.     

以软件可靠性增长测试推动软件可靠性工程的实施

针对航空机载武器系统嵌入式软件可靠性工程实施现状,提出以软件可靠性增长测试为基础。推动软件可靠性工程的实施的观点,并给出由软件可靠性增长测试推动软件可靠性工程实施的具体过程。     

软件可靠性测试加速方法分析

阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行比较。在此基础上,分别从提高输入强度、化简软件结构和输入以及提高置信水平3个方面进行了可靠性测试加速方法机理分析,得出基于改变剖面概率的方法只能起到部分加速作用,而其它两类方法可以起到整体加速作用,最后讨论了软件可靠性测试加速方法未来有前景的研究方向。     

软件可靠性测试中不确定性问题的研究

介绍了软件可靠性测试的现状,然后重点对现有可靠性理论进行了分析和总结,在此基础上,提出了基于不确定性理论的软件可靠性测试的一些新思路。探讨了为解决测试中的不确定性所采用的复用技术。结果表明,该方法可以在一定程度上缩短测试周期,降低测试成本,提高测试的可靠性以及测试效率,具有可行性。     

电子政务软件可靠性评测方法初探

电子政务已经成为政府工作自动化和智能化的重要手段。近年来,中国电子政务软件市场获得了前所未有的发展机遇。随着电子政务软件的飞速发展,软件可靠性成为了建设电子政务的重要指标。软件可靠性测试是保证软件可靠性的有效方法。目前,国内对于电子政务的可靠性研究才刚刚起步,其可靠性测试一般都交给第三方机构。分析当前电子政务软件的可靠性测试特点,基于Musa和Nelson两种可靠性模型提出了一种电子政务软件的可靠性评测方法,从可靠性的评估测试和验证测试两方面具体分析阐述了方法的流程,并使用工具实现。最后用具体案例对方法进行了分析说明。     

星载软件可靠性模型应用研究及实践

为定量评估软件的可靠性指标,介绍了利用软件可靠性模型评估软件可靠性的过程和方法;针对某星载嵌入式软件的失效趋势,根据模型的选择原则和方法,以及模型的预测质量的对比,最终选择了指数模型作为可靠性评估模型。对该软件在轨运行情况进行了可靠性评估,开展了基于该软件可靠性测试数据的可靠性评估,评估结果给出了该软件的可靠性水平。     

软件可靠性保证与评测技术

软件可靠性评测是对软件进行测试,通过采集系统运行期间的软件可靠性参数,运用统计技术进行处理并评估软件可靠性的过程。在软件生存期中,有效地控制影响软件可靠性的各种因素,才能提高软件可靠性,实现软件产品的无故障运行。文中着重介绍了提高软件可靠性的方法和技术以及软件可靠性的评测技术。     

政务服务平台的可靠性测试设计

本文根据对政务服务中心平台进行第三方测试中可靠性测试的要求,结合软件系统的特点和用户需求,运用 软件可靠性测试方法对政务服务平台进行了可靠性测试设计与评估,从成熟性、容错性、易恢复性三个方面的测试设计验证了 政务服务平台软件的可靠性。     

基于组合设计的软件可靠性测试用例设计方法

本文提出了将实验设计中的组合设计方法应用于软件可靠性测试用例设计。分析了组合设计方法在软件可靠性测试用例设计中应用的理论基础和基于组合设计的软件可靠性测试用例方法的基本思想。同时结合实例对这种方法的两个关键过程域操作剖面的开发和测试用例集的生成过程进行了描述。     

基于执行时间模型的航天飞控软件可靠性测试

航天飞行控制软件是一种具有高可靠性要求的软件系统,但是目前对航天飞控软件的可靠性还没有进行定量的度量和管理.尝试将软件可靠性的定量模型应用于航天飞控软件系统的测试过程.介绍了基本执行时间可靠性模型,提出了基于历史失效数据拟合的模型校准方法,讨论了基于基本执行时间可靠性模型的软件可靠性增长测试和可靠性检定测试.     

分布式系统可靠性模型研究

为描述分布式开发环境中的软件可靠性增长情况,提出一种分布式开发环境下软件系统的可靠性模型。在实际的软件可靠性数据集上,通过使用适应性度量和AIC准则,对所提模型进行验证和评价。实验结果证明,该模型能捕获大量的可靠性成长曲线,具备较强的适用性和灵活性,且使用该模型所描述的分布式软件开发环境更符合实际情况。     

通用无线电数据链自动测试系统软件可靠性设计

通用无线电数据链自动测试系统是为解决无线电数据链部件在设计、生产中的实际问题而研制的，系统在软件控制下工作，软件可靠性直接影响到系统安全与准确性，因此在设计中占据了重要地位；文章通过对系统可靠性要求的分析，提出了针对性地解决措施并通过模型进行了分析与测试，结果表明，系统软件可靠性达到了应用要求。     

基于环型复杂度的一种判断程序可靠性的统计方法

软件的可靠性是软件质量的一个重要技术指标。该文采用软件蓝图描述软件结构,进而给出了基于程序图的环型复杂度的计算方法。在此基础上,建立起一个软件可靠性模型。最后通过一个例子说明了如何应用这个模型,通过潜在错误的检测和环型复杂度的计算,对软件的可靠性作出预测。     

人工走查数据在软件可靠性度量中的应用

为了充分利用第三方评测数据开展航天软件可靠性度量,研究人工走查数据在软件可靠性度量中的应用。分析度量实体的确定、人工走查数据向动态失效数据的转换、数据融合和数据应用的合理性等问题,提出相应解决方法。应用结果表明,该方法具有可行性。