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

权利要求书

1.一种基于Petri网中可达树分析方法的软件测试验证方法，其特征在于包括如下步骤：

1)第一步，提交被测对象、用户需求文档、测试环境文档；所有提交的文档需要安装标准格式录入，即：被测的结构化程序区的宏定义，包含文件，入口函数及子函数等各个部分分别录入；用户需求按照文档各个分类的要求填写需求文档；

2)第二步，对被测对象(结构化语言程序)进行语法分析，查找关键词及函数入口、出口点，并依据以上的关键点完成插桩；依照Petri网建模规则对程序自动建立Petri网模型；并收集和存储Petri网模型结构的相关信息；

3)第三步，根据第三步得到的模型结构信息生成可达树及可达图模型；

4)第四步，对可达树及可达图模型进行可达性特性的分析与验证；

5)第五步，将分析结果与需求比较，并整理测试报告。

2.本发明提出了按照结构化程序的语法结构进行Petri网自动建模的方法。该方法首先需要对语法结构中的顺序结构、条件结构(if、switch)、循环结构(while、for)分别建模，再根据插桩信息对程序结构分块建模，最后组合，得到整个程序的Petri网模型。这种自动建模方法解决了Petri网模型分析中建模难的问题，提供了自动化的建模机制。

3.本发明将Petri网理论应用于软件测试验证，用可达树、可达图的方法分析程序的可达性，并实现了整个分析过程的自动化。