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

• 作者: 吴惜华 唐金辉 莫英红 钟诚
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 类测试 用例生成 多线程 多核计算机 并行处理
• 年，卷（期）: 2010,（19）
• 页码范围: 90-92
• 分类号: TP311
• 字数: 3197字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.19.031

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟诚	广西大学计算机与电子信息学院	195	1023	14.0	21.0
2	莫英红	广西大学计算机与电子信息学院	3	19	2.0	3.0
3	唐金辉	广西大学计算机与电子信息学院	3	19	2.0	3.0
4	吴惜华	广西大学计算机与电子信息学院	3	19	2.0	3.0