典型文献
基于二阶Markov模型的改进相对熵测试充分性准则
文献摘要：
为解决基于一阶Markov模型的软件测试充分性准则不精确、充分性判定过程容易产生误判的问题,在分析现有的软件测试充分性准则的基础上,提出一种基于二阶Markov模型的改进相对熵测试充分性判别准则.消除单纯Markov模型的"一阶无后效性"影响并将原始相对熵进行边界化处理和对称性设计,使测试执行过程更加充分和稳定.数值实验结果表明,在不降低可信性的前提下,该方法能有效解决测试用例生成过程过早收敛的问题、增强测试充分性判定的稳定性,对单元测试的测试用例生成策略的优化设计有一定的指导意义.
文献关键词：
马尔可夫模型;软件测试;测试充分性准则;二阶马尔可夫;改进相对熵;测试用例生成;单元测试
中图分类号：
作者姓名：
张凡;李福川;陈丽容;吕中凯
作者机构：
中国航天科工集团第二研究院 七〇六所,北京 100854;中国人民解放军 93160部队,北京 100166
文献出处：
引用格式：
[1]张凡;李福川;陈丽容;吕中凯-.基于二阶Markov模型的改进相对熵测试充分性准则)[J].计算机工程与设计,2022(12):3428-3434
A类：
改进相对熵,测试充分性准则,二阶马尔可夫
B类：
Markov,软件测试,误判,判别准则,无后效,边界化,测试执行,执行过程,数值实验,不降,可信性,测试用例生成,生成过程,过早收敛,单元测试,生成策略,马尔可夫模型
AB值：
0.222647
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
