共查询到19条相似文献,搜索用时 125 毫秒
1.
软件可靠性测试的理论分析 总被引:2,自引:0,他引:2
目前软件可靠性测试没有真正开展起来,即使重要的军用软件也没有进行软件可靠性测试。软件可靠性模型的不一致性以及软件可靠性测试时间长、费用高、资源消耗大是造成这种局面的两个主要问题。而这两个问题很大程度是由传统基于随机系统假设的软件可靠性理论导致的。因此,在该理论下对可靠性测试方法及可靠性模型的修补与改善工作很难从根本上解决问题。只有从软件可靠性理论本身入手,提出新的研究思路,才有可能摆脱目前软件可靠性测试的困境。首先介绍了软件可靠性测试的现状,然后重点对现有可靠性理论进行了分析和总结,在此基础上,提出了软件可靠性测试研究的一些新思路。 相似文献
2.
3.
4.
5.
6.
为提高软件可靠性测试效率,在分析软件可靠性测试以及测试用例设计方法的基础上,提出一种基于混合测试的软件可靠性加速测试方法.该方法将软件可靠性测试分为两个阶段,第一阶段为传统可靠性测试,第二阶段为针对性测试,并通过过渡准则将软件可靠性测试和针对性测试结合起来,由软件可靠性测试向针对性测试过渡.在针对性测试中提供了一个测试策略接口,使得各种用例设计方法都可以在软件可靠性测试中使用.根据重要性抽样理论求得混合测试加速因子,在减少测试代价的同时实现了利用混合测试失效数据进行软件可靠性评估.实验结果表明该方法较传统软件可靠性测试有较大提高. 相似文献
7.
软件可靠性测试及其实践 总被引:6,自引:1,他引:5
软件可靠性测试是软件可靠性工程的一项重要工作内容,是满足软件可靠性要求、评价软件可靠性水平及验证软件产品是否达到可靠性要求的重要途径。本文探讨、研究了软件可靠性测试的基本概念,软件可靠性测试过程以及软件可靠性测试中的主要问题,还介绍了一个实际软件的可靠性测试工作。 相似文献
8.
科学、合理的软件可靠性测试流程有助于测试工作有条不紊地展开,而现有的可靠性测试流程普遍存在可靠性分配方法不明确、过程不完善等问题,针对此问题展开了软件可靠性测试流程的研究;在分析软件可靠性测试与软件测试的区别、并借鉴现有软件可靠性测试流程的基础上,提出了一个由可靠性测试准备、可靠性测试执行和可靠性测试结果分析三大部分构成的比较全面的可靠性测试流程,并详细阐述了流程中的每一步具体操作;在该流程的指导下进行"虚拟维修训练系统"可靠性测试,充分验证了该流程的可行性和实用性. 相似文献
9.
软件架构切片在软件可靠性评估中的应用 总被引:1,自引:0,他引:1
本文针对软件可靠性评估基于测试的现状,依据软件可靠性工程理论,参考软件架构切片的思想,提出一种改进的架构切割方法对整个软件架构进行切割,得到结构简单的面向可靠性的切片,根据组件间的影响概率运用递推公式预测软件可靠性,最终得到包括组件可靠性和影响概率的表达式. 相似文献
10.
SRMET测试工具作为研究对象,阐述了软件可靠性测试理论,采用SRMET3.0进行可靠性评估,得到了可靠性评估指标。 相似文献
11.
马海云 《自动化与仪器仪表》2009,(6):30-31,35
软件复用是提高软件开发效率和改善软件质量的一项重要技术。把领域工程中可复用思想应用到测试用例的复用中,提出了测试用例的复用技术模型。通过实例说明,该模型能提高测试的可靠性以及测试效率,具有可行性。 相似文献
12.
面向对象软件测试方法研究 总被引:1,自引:1,他引:0
面向对象软件开发是一种新的减少成本、提高可用性、灵活性和高效的软件系统开发方法。软件测试是改善软件质量和正确性的重要技术,但目前还没有成熟的用于面向对象软件开发的测试方法。本文首先通过继承图描述面向对象软件测试方法,然后讨论了单元重复继承算法,该算法的时间复杂性为O(n3),并给出了具体实例,最后提出了继承层次测试方法。 相似文献
13.
测试用例描述语言研究 总被引:4,自引:2,他引:2
软件测试是软件开发生命周期的一项重要活动,也是保证软件质量和可靠性的重要手段。测试用例是软件测试的核心和关键。而迄今为止,在测试领域,还没有统一的测试用例描述语言。虽然目前大量的测试工具引入了测试用例描述技术,但也是五花八门、各自为政,这成为提高软件测试的效率和软件测试复用程度的瓶颈。在对国内外的测试用例描述语言进行了广泛调研后,作了简要的总结。提出了设计测试用例描述语言的准则,同时阐述了测试用例描述技术在嵌入式软件测试领域的应用情况。 相似文献
14.
基于构件的软件开发(CBSD)是一种新的软件开发方法,构件技术是它的核心。构件技术以面向对象技术为基础,并很好地发展了面向对象技术。使用基于构件软件开发可以设计出质量好、可靠性高、可重用性好、可维护性好的软件。现在有很多应用软件都是采用基于构件的开发方法。文中概述了构件及CBSD方法的系列核心概念,比较了基于构件软件开发和面向对象软件开发(OOD)的异同。 相似文献
15.
一种基于本体的测试用例研究与应用 总被引:3,自引:1,他引:3
测试用例是软件测试的重要组成,也是软件测试成败的关键性因素之一。测试用例的完备性和复用性研究已经成为当前软件测试领域的两大热点。论文提出一种基于本体论的测试用例分析与刻画方法,它统一了测试用例的内涵,并为测试用例提供了可穷举的外延选择。该方法解决了软件测试用例完备性和复用性问题。 相似文献
16.
基于覆盖与故障注入的飞控软件测试技术研究 总被引:3,自引:3,他引:0
无人机飞控软件是典型的实时嵌入式软件系统,其可靠性、安全性测试与评估是军用软件保障工作与无人机技术发展中的重点与难点。针对飞控软件的特点,介绍基于覆盖与故障注入的测试方法.分析其测试与可靠性评估中的关键技术,并简要介绍应用于测试数据分析过程的软件可靠性建模工具MEADEP的构成与建模方法。实践证明对安全关键软件严格的测试与评估可大大降低错误隐藏数,减少不必要的经济损失与灾难性事件发生。 相似文献
17.
基于Markov链使用模型的软件可靠性测评方法研究 总被引:1,自引:1,他引:1
基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法.论述了该方法中使用链与测试链的构建技术,基于使用模型的统计分析计算,基于测试链的软件可靠性评估,操作可靠性和使用可靠性评估,以及它们在实际应用中需要注意的若干问题. 相似文献
18.
19.
孙巨 《计算机应用与软件》2006,23(11):67-69
契约式设计DBC是面向对象程序设计的一项技术,其目的在于提高软件的质量、可靠性与可复用性。Java语言本身还不直接支持契约式设计,但借助一些外部辅助工具可以使该项技术获得应用。对此,给出了两种实现方法:一种是使用预编译器;另一种是使用面向方面的程序设计技术。 相似文献