多核计算机上并行生成类测试用例

摘要：

通过类的数据流分析计算出实例变量的"定义-使用"对信息以及成员函数的前置和后置条件,利用类的继承多态性对被测试类进行预处理.在JPF 中设置搜索环境,将测试用例生成问题简化成模型检测中寻找反例的问题,提出一种在多核计算机上实现的线程级并行生成类测试用例的方法.实验结果表明,该方法可以减少测试生成所需的状态数和运行时间,算法可使用的处理核心越多、测试生成所需的时间越少.

关键词：类测试、用例生成、多线程、多核计算机、并行处理

所属期刊栏目：36

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

资助基金：广西科学基金资助项目桂科自0728033;广西研究生教育创新计划基金;广西高校人才小高地建设创新团队基金资助项目桂教人[2007]7 号

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

页数：共3页

页码：90-92