一种面向对象的类测试数据生成方法

摘要

本发明公开了一种面向对象的类测试数据生成方法，该方法包含以下步骤：根据被测程序的类定义信息和类继承关系图，构建对象虚拟存储模型；创建类成员方法与对象抽象存储模型的语义映射，生成类成员方法的方法摘要信息；依据函数流程图和函数调用关系图生成程序逻辑路径集合；采用静态符号执行方法，执行程序逻辑路径集合中的路径；获取对象抽象存储模型中约束集；计算类成员满足的约束集解，并调用特定构造方法组装生成类对象测试数据；通过本发明的技术方案，可以克服现有技术无法精确支持面向对象软件测试，提高软件测试数据生成效率和测试自动化，实现面向对象的类测试数据自动生成的目的。

主权项

一种面向对象的类测试数据生成方法，其特征在于：包含如下步骤：步骤一、分析被测程序获取类定义信息和类继承关系图，构建对象抽象存储模型；步骤二、依据类成员方法逻辑信息，创建类成员方法与对象抽象存储模型的语义映射，生成类成员方法的方法摘要信息；步骤三、依据函数流程图和函数调用关系图，生成程序逻辑路径集合；步骤四、采用静态符号执行方法，执行所述程序逻辑路径集合中的一条路径，收集类成员约束集；步骤五、通过约束求解器求解所述类成员约束集，生成类成员可能值并调用构造方法，生成一组类测试数据；此时若程序逻辑路径集合不为空，返回步骤四执行。