基于受控马尔科夫链的软件缺陷优化测试策略

摘要：

目前许多文献都讨论的受控马尔科夫链软件测试模型,是通过对部分假设条件进行特殊化处理后得到的,这将导致模型的适用范围较小且偏离实际应用.依据软件控制论思想,通过一系列新的制约条件的转换,提出一种改善的、测试资源约束下的受控马尔科夫链模型来消除已有模型的缺陷.同时,该模型能够在高效性、复杂性和适用性3方面达到一个平衡点.为了证明其有效,根据该模型设计了一种新的软件缺陷优化测试策略,并对该策略进行了仿真实验,将其与传统的随机测试策略进行了比较.实验结果表明,该模型具有较高的实用性和有效性.

关键词：软件控制、软件缺陷测试、优化测试、受控马尔科夫链

所属期刊栏目：39

分类号：TP301(计算技术、计算机技术)

资助基金：浙江省自然科学基金项目Yl100289,Yl100726,Y12F020198,Y12F020194;浙江省科技厅公益技术研究项目2011C3005

在线出版日期：2012-10-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：117-119,136