[发明专利]一种基于条件值的软件静态预测方法及工具

权利要求书

1.一种基于条件值的软件静态预测方法及工具，已经开发包含该方法的软件自动化测试工具，其特征在于包括如下步骤：

1、第一阶段分析。其中包括：

1.1)将预处理代码输入测试工具中；

1.2)根据C语言文法自定义一个关键词列表，并对照关键词列表对预处理代码进行词法分析；

2、第二阶段分析。其中包括：

2.1)根据第一阶段分析步骤(1.2)中的词法分析结果，对照C语言中预处理指令集，为预处理指令后的变量创建相应的结点并且创建代码行的条件表达式；

2.2)根据第二阶段分析步骤(2.1)中的结点类型，对不同的预处理指令进行处理，利用条件值存储条件编译指令，最后通过对条件值的整合，得到条件值形式表示的预处理变量值和代码行的可达性条件表达式。

2.根据权利要求1所述的针对条件编译指令的静态预测方法新技术，其特征在于增加了条件值模块(利用整合处理后的条件值形式正确描述了预处理变量的值)。