基于优化模型的类级测试数据自动生成研究

摘要：

研究了一种基于优化使用模型的类级测试用例的自动生成方法.首先使用基于约束的非线性规划问题的求解方法获得Markov链使用模型的状态转移概率,建立优化的使用模型;然后以使用模型的概率转移为约束采用轮盘赌算法自动生成测试用例;最后以Euclideam Distane方法度量测试的充分性.实验表明此方法能够提高测试自动化水平,提高软件的可靠性.

关键词：类级测试数据、Markov链使用模型、测试充分性

所属期刊栏目：12

分类号：TP311.52(计算技术、计算机技术)

资助基金：百色学院一般项目2010KB16

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

页数：共5页

页码：7920-7923,7930