基于代数规格说明的OOP测试用例生成算法研究

• 作者: 朱丹江 王黎明
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 软件测试 代数规格化说明 基本项 范式
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 计算机软件与数据库
• 页码范围: 815-821
• 页数: 7页
• 分类号: TP311
• 字数: 9816字
• 语种: 中文

摘要

现阶段面向对象软件系统占据了很大的比重,在软件测试方面,形式化规格说明通常作为正确性验证的基础.本文主要研究了基于程序的代数规格化说明生成测试用例的方法.首先,根据代数规格化说明得到一组基本项.为了避免从理想基本项集合中选择一组基本项时受理想基本项集合的制约,本文用基本项模型图生成基本项,然后,从基本项集合中得到等价的范式集合.针对用范式模型树生成范式时,生成的不完全是范式,并且范式的长度可能无穷大的问题,本文提出对基本项模型图路径拆分的方法.最后,用范式替换规格化说明公理系统中的变量,生成测试用例.对于公理中的条件语句和循环语句,还提出一种公理变换方法,保证了测试路径的覆盖.实例分析和实验验证表明,本文的方法可以生成一个范式的最小集合,减少了生成测试用例的数量,提高了测试用例的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王黎明	郑州大学信息工程学院	81	602	14.0	20.0
2	朱丹江	郑州大学信息工程学院	1	1	1.0	1.0