[发明专利]一种基于场景描述的自动测试系统及其实现方法

摘要

本发明公开了一种基于场景描述的自动测试系统，包括：规则库；对象属性抽取器；场景模型构建器；解析引擎；路径约束抽取器；核心控制器；约束求解器；求解器适配器；测试用例生成器；测试用例库；优化引擎。本发明根据特定的规则库抽取测试对象的属性添加到场景模型中，结合模型本身信息和从测试用例库中提取的启发式信息解析模型，自动生成测试路径，使用约束求解器生成对应的测试输入，整合测试路径和测试输入生成测试用例，并对测试用例进行优化，在保证测试充分性的同时，降低了手工测试的测试成本，提高了测试的效率。本发明还公开了一种基于场景描述的自动测试系统的实现方法。

主权项

1.一种基于场景描述的自动测试系统的实现方法，其特征在于，包括以下步骤：步骤一：对象属性抽取器(2)获取待测试软件中的对象，根据规则库(1)抽取相关的对象属性信息，并进行对象属性信息的清洗和存储；步骤二：场景模型构建器(3)依据所述待测试软件的基础信息和所述对象属性抽取器(2)抽取的对象属性信息构建场景模型；步骤三：解析引擎(4)解析所述场景模型构建器(3)构建的场景模型，获取模型的基本信息，结合优化引擎(11)反馈的启发式信息，搜索获取场景模型中的测试路径；步骤四：根据所述解析引擎(4)搜索得到的测试路径，路径约束抽取器(5)抽取对应路径上的所有约束条件集合，判断是否需要增加额外的约束条件；若不需要，直接将抽取的约束条件提交到核心控制器(6)；若需要，补充新的约束条件并将抽取的约束条件和补充的约束条件全部提交到所述核心控制器(6)；步骤五：所述核心控制器(6)将获得的约束条件集合提交到求解器适配器(8)，调用多种约束求解器(7)进行求解，所述求解器适配器(8)将求解结果反馈给所述核心控制器(6)，判断是否有解；若有解，所述核心控制器(6)将测试路径和求解结果提交到测试用例生成器(9)；若无解，判断测试是否结束；若测试未结束，所述核心控制器(6)通知所述解析引擎(4)重新选择新的测试路径，执行步骤三；若测试结束，终止测试；步骤六：所述测试用例生成器(9)组合所述核心控制器(6)提交的测试路径和测试输入，生成完整的测试用例并添加到测试用例库(10)中，测试输入是所述求解器适配器(8)的求解结果；所述测试用例生成器(9)通知所述核心控制器(6)生成测试用例完毕；步骤七：所述核心控制器(6)通知所述优化引擎(11)评估和简化测试用例库，同时提取有效的测试信息作为启发式信息反馈给所述解析引擎(4)；所述核心控制器(6)判断测试是否结束；若测试未结束，所述核心控制器(6)通知所述解析引擎(4)重新选择新的测试路径，执行步骤三；若测试结束；终止测试。