基于混合测试的软件可靠性加速测试方法研究

为提高软件可靠性测试效率,在分析软件可靠性测试以及测试用例设计方法的基础上,提出一种基于混合测试的软件可靠性加速测试方法.该方法将软件可靠性测试分为两个阶段,第一阶段为传统可靠性测试,第二阶段为针对性测试,并通过过渡准则将软件可靠性测试和针对性测试结合起来,由软件可靠性测试向针对性测试过渡.在针对性测试中提供了一个测试策略接口,使得各种用例设计方法都可以在软件可靠性测试中使用.根据重要性抽样理论求得混合测试加速因子,在减少测试代价的同时实现了利用混合测试失效数据进行软件可靠性评估.实验结果表明该方法较传统软件可靠性测试有较大提高.     

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

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

软件可靠性测试的加速机理研究

从软件的失效机理出发,对比硬件失效分析了软件失效的特性,结合软件测试的机理,阐述了软件可靠性测试的机理,并在此基础上研究了软件可靠性测试存在加速的可能性,提出了实现加速的思想和方法。     

软件可靠性测试方法新探

针对传统软件可靠性测试方法在对软件因长期使用软件性能下降,甚至完全失效这种严重影响软件可靠性的测试存在不足的现状,通过对软件自身特性以及软件可靠性估算面临问题的深入分析和研究,结合传统的软件可靠性测试方法,提出了基于操作剖面的软件可靠性压力测试思想和操作剖面、压力测试点相互结合、互为补充的软件可靠性测试方法,并给出了软件可靠性测试新方法实施的技术途径.该思想与方法既是对传统软件可靠性测试方法的一个大胆探索,也是对软件可靠性测试方法的一个有益补充.     

基于使用模型的软件可靠性加速测试

给出了一种使用分层抽样和重要抽样方法并基于Markov链使用模型的软件可靠性加速测试的方法,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过大的问题.实例仿真结果表明,该方法可以有效地提高软件可靠性关键操作的测试效率.     

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

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

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

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

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

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

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

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

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

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

软件可靠性分析、测试与评估工具--SRATE介绍

软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。     

软件可靠性研究与进展

综述了软件可靠性研究的主要内容 ,包括软件可靠性设计、测试与管理 -软件可靠性数据收集以及硬软件系统可靠性等方面的发展现状 ,提出了软件可靠性研究有待于进一步探讨的主要问题     

软件可靠性度量方法

分析软件故障暴露率与软件测试次数之间的关系,提出在保证可靠性测试结果客观准确的前提下,有效减少验证测试次数的方法。结合软件可靠性和体系结构相关理论,提出基于组件的软件失效率定量计算方法。研究并利用软件可靠性度量方法,提高了软件可靠性测试效率和可靠性评估准确性。     

实时多任务软件高可靠性测评方法

为了克服传统可靠性测试方法在验证高可靠性指标时测试持续期太长的困难,针对实时多任务软件的特点,提供了一种融基于体系结构的系统可靠性建模、最大熵原理、贝叶斯统计推断为一体的多级高可靠性测评方法。数值仿真表明,该方法在不降低验证测试置信水平的基础上,能有效缩短验证测试持续期。     

软件使用统计测试方法的研究

软件开发实践表明,传统软件统计测试方法在提高软件可靠性和度量软件质量方面显现很多不足,阐述了一种改进的基于Markov链模型的软件统计测试方法的技术细节和实施步骤,用此方法对某控制软件的测试进行了具体的研究,对实例软件运用此方法进行测试提出了一个框架方案.实例验证表明,软件使用统计测试方法能够更加经济有效地保障软件质量.     

软件可靠性测试中最小测试量的确定方法

分析了软件可靠性测试中确定最小测试量的重要意义,阐述了基于操作剖面的软件可靠性测试数据生成方法和软件可靠性测试数据统计特征原理下的确定最小测试量的理论依据和具体方法,提出了该理论指导下的测试数据生成流程,通过实例给出了方法的具体应用过程.     

国产基础软件可靠性分析及验证

国产基础软件通过常规测试后仍存在诸多质量或可靠性问题,为此,针对国产基础软件的特性及现有可靠性测试技术的不适应之处,结合Musa剖面模型和Markov链模型设计出一种带标记的Markov链运行剖面建模技术来构建操作系统的运行剖面,研究并给出相应的可靠性测试用例生成方法,最后选取典型操作系统进行了分析验证,证明了研究成果的有效性.