基于二阶Markov模型的改进相对熵测试充分性准则

摘要：

为解决基于一阶Markov模型的软件测试充分性准则不精确、充分性判定过程容易产生误判的问题,在分析现有的软件测试充分性准则的基础上,提出一种基于二阶Markov模型的改进相对熵测试充分性判别准则.消除单纯Markov模型的"一阶无后效性"影响并将原始相对熵进行边界化处理和对称性设计,使测试执行过程更加充分和稳定.数值实验结果表明,在不降低可信性的前提下,该方法能有效解决测试用例生成过程过早收敛的问题、增强测试充分性判定的稳定性,对单元测试的测试用例生成策略的优化设计有一定的指导意义.

关键词：马尔可夫模型、软件测试、测试充分性准则、二阶马尔可夫、改进相对熵、测试用例生成、单元测试

所属期刊栏目：43

分类号：TP302.7(计算技术、计算机技术)

资助基金：国家重大工程支持基金项目2020D204007

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

页数：共7页

页码：3428-3434