科研之友
微信
新浪微博
Facebook
分享链接
摘要
为解决基于一阶Markov模型的软件测试充分性准则不精确、充分性判定过程容易产生误判的问题，在分析现有的软件测试充分性准则的基础上，提出一种基于二阶Markov模型的改进相对熵测试充分性判别准则。消除单纯Markov模型的“一阶无后效性”影响并将原始相对熵进行边界化处理和对称性设计，使测试执行过程更加充分和稳定。数值实验结果表明，在不降低可信性的前提下，该方法能有效解决测试用例生成过程过早收敛的问题、增强测试充分性判定的稳定性，对单元测试的测试用例生成策略的优化设计有一定的指导意义。
-
单位中国航天科工集团公司
