一种C语言核心语句转换到一阶公式的方法

摘要

一种C语言核心语句转换到一阶公式的方法：(1)使用现有的编译技术统计输入的C语言程序中使用的不同变量，将用于有序状态变元集合的生成；(2)逐条输入语句，判断语句的类型，并根据判断结果调用相应的转换模块，包括赋值语句转换模块，条件语句转换模块，while语句转换模块，过程调用语句转换模块，各模块根据相应语句的语义解释进行转换，并返回生成的新公式NewFormula；(3)处理完该条语句后，使用顺序语句规则，把得到的新公式NewFormula同当前公式CurFormula合并，结果存储在CurFormula中，然后转到步骤2。本发明根据程序语义的一种解释方法，把C语言核心语句转换成一阶公式，为基于R演算的软件测试机械化提供了前期的技术支持。