本发明实施例提供一种程序语句形式化转换的方法及装置。该方法包括：获取待转换的程序语句对应的语法结构；根据程序语句对应的语法结构，确定程序语句的类型；根据程序语句的类型，生成程序语句对应的逻辑表达式；其中，程序语句对应的逻辑表达式用于表示程序语句的任意一个输出变量值与各输入变量值之间的关系。本发明实施例提供的程序语句形式化转换的方法及装置，通过获取待转换的程序语句对应的语法结构，根据程序语句对应的语法结构，确定程序语句的类型；根据程序语句的类型，生成程序语句对应的逻辑表达式，实现了将程序语句自动转化为对应的逻辑表达式，大大提高了程序语句转换为逻辑表达式的效率，节省了大量时间及人力。