-
题名基于受控马尔科夫链的软件缺陷优化测试策略
被引量:3
- 1
-
-
作者
包晓安
姚澜
张晓文
曹建文
-
机构
浙江理工大学信息电子学院
中国科学院软件研究所并行软件实验室
-
出处
《计算机科学》
CSCD
北大核心
2012年第5期117-119,136,共4页
-
基金
浙江省自然科学基金项目(Y1100289
Y1100726
+2 种基金
Y12F020198
Y12F020194)
浙江省科技厅公益技术研究项目(2011C3005)资助
-
文摘
目前许多文献都讨论的受控马尔科夫链软件测试模型,是通过对部分假设条件进行特殊化处理后得到的,这将导致模型的适用范围较小且偏离实际应用。依据软件控制论思想,通过一系列新的制约条件的转换,提出一种改善的、测试资源约束下的受控马尔科夫链模型来消除已有模型的缺陷。同时,该模型能够在高效性、复杂性和适用性3方面达到一个平衡点。为了证明其有效,根据该模型设计了一种新的软件缺陷优化测试策略,并对该策略进行了仿真实验,将其与传统的随机测试策略进行了比较。实验结果表明,该模型具有较高的实用性和有效性。
-
关键词
软件控制
软件缺陷测试
优化测试
受控马尔科夫链
-
Keywords
Software cybernetics
Software defects test
Optimal testing strategy
Controlled Markov chain
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-