-
题名基于缺陷关联度的Markov模型软件优化测试策略
被引量：22
- 1
-
-
作者
包晓安
谢晓鸣
张娜
曹建文
桂宁
-
机构
浙江理工大学信息电子学院
中国科学院软件研究所并行软件实验室
Distrinet Laboratory
-
出处
《软件学报》
EI
CSCD
北大核心
2015年第1期14-25,共12页
-
基金
国家自然科学基金(61202050,61379036)
浙江省自然科学基金(LY12F02041,Y13F020175)
+2 种基金
浙江省钱江人才计划(2013R10015)
浙江理工大学521人才培养计划
浙江省新苗计划(2012R406071)
-
文摘
软件测试过程通常期望以最小的成本检测尽可能多的缺陷.为了降低建模复杂度,多数文献通常假设缺陷之间相互独立.但在实际测试中,缺陷之间往往存在关联,并且每个缺陷引发软件失效的严重程度也不相同.充分利用缺陷之间的关联信息,有助于增加相关缺陷的可检测率,提高软件测试效率.因此,提出一种新的思路:利用软件缺陷之间的关联构造缺陷相关系数,引入回扣机制,量化不同严重等级的缺陷所被检测到的价值,综合考虑缺陷相关系数、检测率、回扣三者的权值,以构造基于缺陷关联的最优测试策略.同时,提出复合的优化算法来构造相应的最小生成树,将测试剖面转换成带权的路径问题,以有效地寻找具有最大权值的最优测试路径.另外,改进了已有的剔除策略,以更有效地删除关联缺陷.通过实验仿真,并与其他测试策略相比较,证明了该方法的有效性.
-
关键词
软件测试
受控马尔可夫链
关联缺陷
优化算法
-
Keywords
software testing
controlled Markov chain
correlated defects
optimization algorithm
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于受控马尔科夫链的软件缺陷优化测试策略
被引量：3
- 2
-
-
作者
包晓安
姚澜
张晓文
曹建文
-
机构
浙江理工大学信息电子学院
中国科学院软件研究所并行软件实验室
-
出处
《计算机科学》
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
[自动化与计算机技术—计算机系统结构]
-
