一种基于高阶Markov使用模型的测试用例自动生成方法

摘要：

为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法和基于相对熵的测试充分性判定方法.实践表明,改进后的方法有效地提高了测试用例生成的稳定性和测试充分性判定的精确性,与原有方法比较更适合大规模软件的测试,提高了大规模软件自动化测试的效率.

关键词：高阶马尔可夫使用模型、快速轮盘赌、二分查找、相对熵、软件测试、测试用例自动生成

所属期刊栏目：42

分类号：TN911.23-34

资助基金：山东省研究生教育创新计划一般项目SDYC16022;国家重点研发计划课题2016YFC0801406

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

页数：共4页

页码：26-29