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

发表于:2013-6-21 11:59

字体: | 上一篇 | 下一篇 | 我要投稿

 作者:马海云    来源:51Testing软件测试网采编

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

  关键词:软件测试;可靠性测试;

  引言

  目前主流的软件可靠性研究方向是基于随机系统假设的传统软件可靠性理论,其在应用时存在严重的不一致性问题。因此,改变传统可靠性建模思路,采用新的观点方法和新的数学工具来研究软件失效过程,摆脱传统建模理论假设的束缚,不受其制约,才有可能建立较普适的软件可靠性模型。事实上, 有许多学者已经意识到传统可靠性理论可能存在不足。文中总结了一些不确定性可靠性研究理论或方法,例如模糊可靠性理论、未确知可靠性建模、混沌可靠性建模。针对当前软件测试过程中存在的不确定性问题,提出了解决的方法。

  1、现有软件可靠性理论的分析

  1.1 传统可靠性理论

  基于随机系统假设的传统软件可靠性理论认为系统是随机系统,系统的失效符合特定的统计规律,比如二项分布或泊松分布。在这种理论下,根据对系统失效强度变化的不同分布假设可得到不同的软件可靠性模型。目前已经提出的软件可靠性统计模型近百种,但其应用过程中的不一致性问题一直是该理论难以解决的问题。产生软件可靠性模型应用不一致性的根源在于模型建立的前提假设各不相同,每种可靠性模型都有关于故障过程中失效强度变化规律的假设。只有在软件失效强度按假定规律变化时,模型的精度才比较高,相反,一旦软件的失效强度与假设的情况有所出入,模型的预测精度就难以保证。

  1.2 模糊可靠性理论

  无论是系统还是环境、人都存在模糊性,因此在可靠性研究中引入了模糊方法,并根据系统辨识的两个基本假设,对可靠性理论进行了分类。基于这种理论提出的软件可靠性模型也得到一些成功的验证。

  1.3 未确知可靠性建模

  未确知软件可靠性研究基于未确知数学理论。未确知数学理论主要研究表达和处理未确知信息。这种信息的特点在于:它的不确定性主要不是客观的,而是决策者主观的、认识上的不确定性。这种由于主观或客观原因,决策者不能完全认识事物的真实状态或确定的数量关系,在心目中产生的主观认识上的不确定性,称为未知性。具有这种未确知性的信息称为未确知信息。

  由于软件系统对测试者存在不确定信息,例如程序中的Bug、软件输入组合对于测试者都不确定,因此可将未确知数学理论应用于可靠性研究。未确知软件可靠性模型虽然在一些实验中具有较高的预计精度和较好的适应性。但没有从理论上证明新模型的预测能力和适用性优于经典模型, 因此不能说明新模型的优越性具有普适性。因此, 在这方面尚待做进一步研究。

  1.4 混沌可靠性建模

  混沌指在确定的系统中出现的一种貌似无规则或类似随机的现象, 是普遍存在的复杂运动形式和自然现象。它表现了系统内部的复杂性、随机性和无序性, 但它无序之中又有序, 具有结构的分形性,标度的不变性, 对初始条件的敏感依赖性。混沌方法对软件可靠性进行了建模。

  2、不确定系统

  随机、模糊、未确知、混沌理论是目前软件可靠性研究主要使用的理论基础。但无论是随机系统还是模糊、未确知、混沌系统,本质上都是不确定性系统。因此可以总结得出,目前的软件可靠性理论都构建在不确定系统的基础上。事实上, 除了上述不确定性系统外,还有其他类型的不确定性系统。不确定性系统除了随机、模糊、未确知系统外,还有粗糙、灰色和泛灰系统。

  粗糙系统中的粗糙集理论,是波兰学者Pawlak 提出的用来刻画不完整性和不确定性数据的工具。它能有效地分析和处理不精确、不一致和不完整信息。从中发现隐含的知识,揭示潜在的规律。自提出以来,特别是近几年,粗糙集理论得到了长足的发展。不仅建立了严格的数学模型和完整的理论体系,在数据挖掘、机器学习、决策分析、故障诊断、智能控制等领域也取得了众多成功的应用。

  灰色系统理论由邓聚龙提出。按照人们对信息系统的知晓程度,通常可以将信息系统分为3 类,即白色系统、灰色系统和黑色系统。完全未知的信息系统称其为黑色系统;完全确知的系统称其为白色系统;而介于两者之间的部分信息已知、部分信息未知的系统称为灰色系统。灰色系统理论通过已知的信息,研究和预测未知领域,从而达到了解整个系统的目的。

  总的来看,各种不确定性理论侧重不同的方面,但又相互关联,具有走向统一的可能。

21/212>
《2023软件测试行业现状调查报告》独家发布~

关注51Testing

联系我们

快捷面板 站点地图 联系我们 广告服务 关于我们 站长统计 发展历程

法律顾问:上海兰迪律师事务所 项棋律师
版权所有 上海博为峰软件技术股份有限公司 Copyright©51testing.com 2003-2024
投诉及意见反馈:webmaster@51testing.com; 业务联系:service@51testing.com 021-64471599-8017

沪ICP备05003035号

沪公网安备 31010102002173号