[发明专利]一种基于可达树的软件测试验证方法

摘要

本发明公布了一种基于可达树的软件测试验证方法，属于软件测试自动化的技术领域。本发明所述方法包括如下步骤：1.第一步，提交被测对象、用户需求文档、测试环境文档；并按照规定格式录入；2.第二步，对被测对象关键点插桩；依照Petri网建模规则对程序自动建立Petri网模型；3.第三步，根据第三步得到的数据生成可达树及可达图模型；4.第四步，对可达树及可达图模型进行可达性的分析与验证；5.第五步，对分析结果进行处理。

主权项

一种基于Petri网中可达树分析方法的软件测试验证方法，其特征在于包括如下步骤：1)第一步，提交被测对象、用户需求文档、测试环境文档；所有提交的文档需要安装标准格式录入，即：被测的结构化程序区的宏定义，包含文件，入口函数及子函数等各个部分分别录入；用户需求按照文档各个分类的要求填写需求文档；2)第二步，对被测对象(结构化语言程序)进行语法分析，查找关键词及函数入口、出口点，并依据以上的关键点完成插桩；依照Petri网建模规则对程序自动建立Petri网模型；并收集和存储Petri网模型结构的相关信息；3)第三步，根据第三步得到的模型结构信息生成可达树及可达图模型；4)第四步，对可达树及可达图模型进行可达性特性的分析与验证；5)第五步，将分析结果与需求比较，并整理测试报告。