简介这份资源是东南大学软件学院编译原理课程的实验项目面向计算机相关专业学生及希望系统理解编译器工作流程的自学者。它以完整编译流程为主线覆盖词法分析、语法分析、语义分析、中间代码生成、目标代码生成与代码优化等环节帮助读者从源代码出发逐步构建可执行代码的模拟系统适合作为课程实验参考或编译原理实践练手项目。压缩包共28个文件以12个java源文件和12个class文件为核心另含2个txt说明、1个iml工程配置与1个md文档整体约20KB结构紧凑便于直接导入IDE运行与调试。目前已有63人学习下载。读者可借此梳理各编译阶段的衔接关系理解抽象语法树构建、语义检查、中间表示转换及指令选择与寄存器分配等关键问题并参考现有实现完成自己的编译器实验在动手实践中巩固理论知识并提升工程能力。1. 从一份课程实验包说起编译原理全流程到底能跑通到什么程度很多人对编译原理课设的印象停留在“写个词法分析器交差”但东南大学软件学院这份编译原理课程实验项目把词法分析、语法分析、语义分析、中间代码生成、目标代码优化串成了一条完整链路最终输出一个从源代码到可执行代码的编译器模拟系统。换句话说它不是单点练习而是一个能让你把龙书里那些抽象概念真正落地成可运行代码的综合性实践平台。适合正在上编译原理课、需要交大作业的学生也适合想补全编译全流程认知的后端或工具链方向从业者。我拿到这个包之后第一反应是终于不用自己从零搭框架了但能不能跑通、坑在哪还得拆开看。2. 编译流程拆解五个阶段的输入输出与衔接逻辑2.1 词法分析从字符流到 Token 序列词法分析是整个编译器的入口负责把源代码的字符流切分成有意义的 Token 序列。这份实验项目里词法分析器通常采用有限自动机DFA实现支持关键字、标识符、常量、运算符和界符的识别。我一般会先看它的 Token 定义文件确认支持的语言子集范围——比如是否支持浮点数、字符串转义、注释嵌套这些边界情况。常见做法是用正则表达式先描述词法规则再手工构造 DFA 或者用工具生成。这份项目里大概率是手工实现的因为课程实验通常要求体现构造过程。核心逻辑是读入一个字符根据当前状态和字符类型决定下一个状态直到进入终态就吐出一个 Token。# 词法分析器核心状态机片段示意 # 状态转移表state - {char_type: next_state} TRANSITIONS { START: {digit: IN_NUM, alpha: IN_ID, op: IN_OP}, IN_NUM: {digit: IN_NUM, dot: IN_FLOAT, other: END_NUM}, IN_ID: {alpha: IN_ID, digit: IN_ID, other: END_ID}, IN_FLOAT: {digit: IN_FLOAT, other: END_FLOAT}, } def next_token(source, pos): state START token_val while state not in (END_NUM, END_ID, END_FLOAT, END_OP): ch source[pos] if pos len(source) else \0 ctype classify(ch) # digit / alpha / op / other state TRANSITIONS.get(state, {}).get(ctype, ERROR) if state.startswith(END): break token_val ch pos 1 return token_val, state, pos这段代码的关键在于状态转移表的维护每加一种新 Token 类型就要在表里补对应的转移路径。参数pos是全局扫描指针每次调用后必须返回新位置否则会死循环。实际项目里还会有一个symbol_table用来存标识符遇到重复标识符直接复用表项避免后续语义分析阶段重复建表。2.2 语法分析从 Token 序列到语法树语法分析阶段把 Token 序列组织成抽象语法树AST这份项目大概率采用递归下降分析法或 LL(1) 分析法。递归下降的好处是代码结构清晰每个非终结符对应一个函数调试时能直接定位到哪条产生式出了问题。LL(1) 则需要先算 FIRST 集和 FOLLOW 集构造预测分析表。我一般会先检查文法是否有左递归——递归下降遇到左递归会直接栈溢出。消除左递归是动手前必须做的预处理。另外运算符优先级和结合性要在文法里体现清楚否则生成的 AST 结构会跟预期不一致后面语义分析全乱套。# 递归下降语法分析表达式解析片段 def parse_expr(tokens, pos): # expr - term ((|-) term)* node, pos parse_term(tokens, pos) while pos len(tokens) and tokens[pos].type in (PLUS, MINUS): op tokens[pos].value right, pos parse_term(tokens, pos 1) node BinOpNode(op, node, right) return node, pos def parse_term(tokens, pos): # term - factor ((*|/) factor)* node, pos parse_factor(tokens, pos) while pos len(tokens) and tokens[pos].type in (MUL, DIV): op tokens[pos].value right, pos parse_factor(tokens, pos 1) node BinOpNode(op, node, right) return node, pos这里parse_expr和parse_term的分层设计就是为了处理优先级加减在顶层乘除在下一层括号和原子在parse_factor里。参数pos是 Token 数组下标每次解析完一个子结构必须返回新下标否则会重复解析同一个 Token。如果项目里用的是 LL(1) 表驱动方式那就要重点看预测分析表的构造代码确认 FOLLOW 集计算是否正确——这是最容易翻车的地方。2.3 语义分析与中间代码生成类型检查与三地址码语义分析阶段要做类型检查、作用域分析和符号表管理。这份项目里语义分析通常和中间代码生成耦合在一起遍历 AST 的同时检查类型是否匹配并生成三地址码或四元式。三地址码的形式是x y op z每条指令最多一个运算符方便后续优化和目标代码生成。符号表的管理是重点进入一个新作用域就压栈离开就弹栈。变量引用要先查当前作用域再逐层往外查找不到就报未定义错误。类型检查要覆盖赋值兼容性、函数调用参数匹配、返回值类型等。# 语义分析遍历 AST 生成三地址码 temp_count 0 def new_temp(): global temp_count temp_count 1 return ft{temp_count} def gen_code(node, symtab): if isinstance(node, NumNode): return str(node.value) if isinstance(node, BinOpNode): left gen_code(node.left, symtab) right gen_code(node.right, symtab) temp new_temp() print(f{temp} {left} {node.op} {right}) return temp if isinstance(node, IdNode): if node.name not in symtab: raise SemanticError(f未定义变量: {node.name}) return node.namenew_temp()负责生成临时变量名保证每条三地址码最多一个运算符。symtab是符号表字典查不到就抛语义错误。实际项目里还会有一个quad_table存四元式方便后续优化阶段遍历。注意临时变量编号不能重复否则优化阶段会串数据。2.4 目标代码优化从三地址码到可执行指令优化阶段是这份实验项目的加分项通常包括常量折叠、公共子表达式消除、死代码删除、循环不变式外提等。常量折叠最简单如果两个操作数都是常量直接算出结果替换掉整条指令。公共子表达式消除需要先做可用表达式分析把重复计算的表达式用同一个临时变量替代。我一般会先跑一遍常量折叠和死代码删除这两项收益最明显且不容易出错。循环不变式外提要谨慎搞不好会把本该在循环里执行的语句提到外面导致逻辑错误。优化前后一定要有对比测试确认程序输出一致。# 常量折叠优化遍历四元式表 def constant_folding(quads): result [] for q in quads: if q.op in (, -, *, /) and q.arg1.isdigit() and q.arg2.isdigit(): val eval(f{q.arg1} {q.op} {q.arg2}) result.append(Quad(, str(val), None, q.result)) else: result.append(q) return result这段代码只处理两个操作数都是数字字面量的情况。eval在这里是安全的因为已经确认了操作数都是数字。实际项目里还要处理负数、浮点数、除零异常等情况。优化后的四元式表要重新做一遍活跃变量分析否则可能删掉还有用的变量定义。3. 环境搭建与跑通步骤从解压到看到输出3.1 依赖确认与目录结构拿到压缩包后先别急着跑第一步是看目录结构和 README。常见结构是src/放源码、test/放测试用例、docs/放文档、Makefile或CMakeLists.txt负责构建。如果是 Java 项目会有pom.xml或build.gradle如果是 Python会有requirements.txt。我一般会先确认语言和构建工具版本。Java 项目注意 JDK 版本Python 项目注意 Python 2 还是 3——编译原理老课设用 Python 2 的概率不低直接跑会报语法错误。C 项目注意编译器标准C11 和 C17 的写法差异可能导致编译失败。# 查看项目结构以 Linux/macOS 为例 find . -maxdepth 2 -type f | head -30 # 查看构建文件 cat Makefile 2/dev/null || cat pom.xml 2/dev/null || cat requirements.txt 2/dev/nullfind命令列出前两层文件快速判断项目类型。cat依次尝试读取常见构建文件看到哪个就说明用哪套工具链。如果都没有大概率是纯脚本项目直接找入口文件即可。3.2 编译与运行以测试用例驱动跑通的标准是给一个测试源文件编译器能输出目标代码或直接执行结果。我一般会先跑项目自带的测试用例确认基线能过再自己写新用例。# 假设项目是 Python 实现入口为 main.py python main.py test/sample1.c # 如果输出三地址码或汇编说明前端流程通了 # 如果项目有 Makefile make ./compiler test/sample1.c参数说明test/sample1.c是测试源文件路径具体文件名以项目实际为准。如果报“文件不存在”先确认测试用例目录名和文件名。如果报语法错误但源文件没问题大概率是词法分析器的 Token 定义没覆盖到某个字符。3.3 验证输出对比预期结果跑通之后要验证输出是否正确。常见验证方式是编译器输出三地址码手工推演一遍结果是否和源程序语义一致或者编译器直接生成可执行文件运行后对比输出。如果项目带了预期输出文件如.expected直接 diff 即可。# 对比实际输出和预期输出 python main.py test/sample1.c actual.txt diff actual.txt test/sample1.expecteddiff无输出说明完全一致。有差异时先看差异行号定位到具体哪条指令生成错了。常见原因是临时变量编号不一致或运算符优先级处理反了。4. 避坑与排查编译原理课设里最容易翻车的五个点4.1 现象词法分析器把关键字识别成标识符原因关键字匹配顺序错了。很多实现先匹配标识符再查关键字表但如果标识符规则写成了“字母开头任意字母数字组合”那if、while这些会被当成普通标识符。解决在标识符识别完成后查一张关键字表命中就改 Token 类型。关键字表用哈希集合O(1) 查询。4.2 现象语法分析栈溢出或死循环原因文法存在左递归递归下降分析器无限递归。解决消除左递归把A - Aα | β改写成A - βAA - αA | ε。或者改用 LL(1) 表驱动方式但要注意 FOLLOW 集计算不能出错。4.3 现象语义分析报“未定义变量”但变量明明声明了原因符号表作用域管理有问题。进入新作用域时没压栈或者离开时没弹栈导致变量声明写到了错误的作用域层级。解决在语法分析生成 AST 时给每个作用域块打上标记语义分析遍历到块节点时压栈/弹栈。查符号时从栈顶往下查。4.4 现象优化后程序输出变了原因优化阶段误删了有副作用的指令或者常量折叠时忽略了浮点精度。解决做任何优化前先做副作用分析函数调用、赋值、输入输出指令不能随便删。常量折叠只处理整数和确定精度的浮点不确定的一律不折叠。优化前后必须跑回归测试。4.5 现象目标代码生成后无法执行或结果不对原因寄存器分配冲突或者指令选择错了。比如把乘法生成成了加法指令。解决先检查指令选择逻辑确认每个 AST 节点映射到正确的目标指令。寄存器分配如果用了图着色算法检查冲突图构造是否正确。简单项目可以直接用栈式分配避免寄存器冲突。5. 进阶技巧用差分测试验证编译器正确性编译器最怕的是“大部分情况对少数情况错”这种 bug 最难查。我一般会用差分测试同一个源程序分别用这份课程编译器和系统自带编译器如 gcc编译执行对比输出。如果输出不一致说明编译器某处有问题。具体做法是写一个脚本自动生成或收集一批测试用例逐个跑两个编译器记录差异。测试用例要覆盖边界情况空语句、嵌套括号、多层循环、递归函数、类型转换、数组越界等。#!/bin/bash # 差分测试脚本对比课程编译器和 gcc 的输出 for src in test/*.c; do # 用课程编译器编译执行 python main.py $src out_course.txt 21 # 用 gcc 编译执行 gcc $src -o /tmp/test_bin /tmp/test_bin out_gcc.txt 21 # 对比 if ! diff -q out_course.txt out_gcc.txt /dev/null; then echo 差异用例: $src diff out_course.txt out_gcc.txt fi done这个脚本的关键是diff -q静默对比只在有差异时输出。21把错误输出也重定向到文件避免编译器报错信息干扰对比。实际使用时要注意课程编译器可能只支持语言子集gcc 支持的语法更多所以测试用例要限制在子集范围内。另一个技巧是给编译器加调试开关比如-d参数输出每个阶段的中间结果Token 序列、AST 结构、符号表快照、四元式表。这样出问题时能快速定位到哪个阶段错了。我一般会在词法分析后打印 Token 流语法分析后打印 AST 缩进树语义分析后打印符号表和四元式。这些调试输出用环境变量控制不影响正常编译。从那以后我每次拿到编译原理课设都强制先跑一遍自带测试用例再跑差分测试最后才看代码细节。这个习惯帮我省了很多“看起来能跑但结果不对”的排查时间。希望帮到你。本文还有配套的精品资源点击获取
简介这份资源是东南大学软件学院编译原理课程的实验项目面向计算机相关专业学生及希望系统理解编译器工作流程的自学者。它以完整编译流程为主线覆盖词法分析、语法分析、语义分析、中间代码生成、目标代码生成与代码优化等环节帮助读者从源代码出发逐步构建可执行代码的模拟系统适合作为课程实验参考或编译原理实践练手项目。压缩包共28个文件以12个java源文件和12个class文件为核心另含2个txt说明、1个iml工程配置与1个md文档整体约20KB结构紧凑便于直接导入IDE运行与调试。目前已有63人学习下载。读者可借此梳理各编译阶段的衔接关系理解抽象语法树构建、语义检查、中间表示转换及指令选择与寄存器分配等关键问题并参考现有实现完成自己的编译器实验在动手实践中巩固理论知识并提升工程能力。1. 从一份课程实验包说起编译原理全流程到底能跑通到什么程度很多人对编译原理课设的印象停留在“写个词法分析器交差”但东南大学软件学院这份编译原理课程实验项目把词法分析、语法分析、语义分析、中间代码生成、目标代码优化串成了一条完整链路最终输出一个从源代码到可执行代码的编译器模拟系统。换句话说它不是单点练习而是一个能让你把龙书里那些抽象概念真正落地成可运行代码的综合性实践平台。适合正在上编译原理课、需要交大作业的学生也适合想补全编译全流程认知的后端或工具链方向从业者。我拿到这个包之后第一反应是终于不用自己从零搭框架了但能不能跑通、坑在哪还得拆开看。2. 编译流程拆解五个阶段的输入输出与衔接逻辑2.1 词法分析从字符流到 Token 序列词法分析是整个编译器的入口负责把源代码的字符流切分成有意义的 Token 序列。这份实验项目里词法分析器通常采用有限自动机DFA实现支持关键字、标识符、常量、运算符和界符的识别。我一般会先看它的 Token 定义文件确认支持的语言子集范围——比如是否支持浮点数、字符串转义、注释嵌套这些边界情况。常见做法是用正则表达式先描述词法规则再手工构造 DFA 或者用工具生成。这份项目里大概率是手工实现的因为课程实验通常要求体现构造过程。核心逻辑是读入一个字符根据当前状态和字符类型决定下一个状态直到进入终态就吐出一个 Token。# 词法分析器核心状态机片段示意 # 状态转移表state - {char_type: next_state} TRANSITIONS { START: {digit: IN_NUM, alpha: IN_ID, op: IN_OP}, IN_NUM: {digit: IN_NUM, dot: IN_FLOAT, other: END_NUM}, IN_ID: {alpha: IN_ID, digit: IN_ID, other: END_ID}, IN_FLOAT: {digit: IN_FLOAT, other: END_FLOAT}, } def next_token(source, pos): state START token_val while state not in (END_NUM, END_ID, END_FLOAT, END_OP): ch source[pos] if pos len(source) else \0 ctype classify(ch) # digit / alpha / op / other state TRANSITIONS.get(state, {}).get(ctype, ERROR) if state.startswith(END): break token_val ch pos 1 return token_val, state, pos这段代码的关键在于状态转移表的维护每加一种新 Token 类型就要在表里补对应的转移路径。参数pos是全局扫描指针每次调用后必须返回新位置否则会死循环。实际项目里还会有一个symbol_table用来存标识符遇到重复标识符直接复用表项避免后续语义分析阶段重复建表。2.2 语法分析从 Token 序列到语法树语法分析阶段把 Token 序列组织成抽象语法树AST这份项目大概率采用递归下降分析法或 LL(1) 分析法。递归下降的好处是代码结构清晰每个非终结符对应一个函数调试时能直接定位到哪条产生式出了问题。LL(1) 则需要先算 FIRST 集和 FOLLOW 集构造预测分析表。我一般会先检查文法是否有左递归——递归下降遇到左递归会直接栈溢出。消除左递归是动手前必须做的预处理。另外运算符优先级和结合性要在文法里体现清楚否则生成的 AST 结构会跟预期不一致后面语义分析全乱套。# 递归下降语法分析表达式解析片段 def parse_expr(tokens, pos): # expr - term ((|-) term)* node, pos parse_term(tokens, pos) while pos len(tokens) and tokens[pos].type in (PLUS, MINUS): op tokens[pos].value right, pos parse_term(tokens, pos 1) node BinOpNode(op, node, right) return node, pos def parse_term(tokens, pos): # term - factor ((*|/) factor)* node, pos parse_factor(tokens, pos) while pos len(tokens) and tokens[pos].type in (MUL, DIV): op tokens[pos].value right, pos parse_factor(tokens, pos 1) node BinOpNode(op, node, right) return node, pos这里parse_expr和parse_term的分层设计就是为了处理优先级加减在顶层乘除在下一层括号和原子在parse_factor里。参数pos是 Token 数组下标每次解析完一个子结构必须返回新下标否则会重复解析同一个 Token。如果项目里用的是 LL(1) 表驱动方式那就要重点看预测分析表的构造代码确认 FOLLOW 集计算是否正确——这是最容易翻车的地方。2.3 语义分析与中间代码生成类型检查与三地址码语义分析阶段要做类型检查、作用域分析和符号表管理。这份项目里语义分析通常和中间代码生成耦合在一起遍历 AST 的同时检查类型是否匹配并生成三地址码或四元式。三地址码的形式是x y op z每条指令最多一个运算符方便后续优化和目标代码生成。符号表的管理是重点进入一个新作用域就压栈离开就弹栈。变量引用要先查当前作用域再逐层往外查找不到就报未定义错误。类型检查要覆盖赋值兼容性、函数调用参数匹配、返回值类型等。# 语义分析遍历 AST 生成三地址码 temp_count 0 def new_temp(): global temp_count temp_count 1 return ft{temp_count} def gen_code(node, symtab): if isinstance(node, NumNode): return str(node.value) if isinstance(node, BinOpNode): left gen_code(node.left, symtab) right gen_code(node.right, symtab) temp new_temp() print(f{temp} {left} {node.op} {right}) return temp if isinstance(node, IdNode): if node.name not in symtab: raise SemanticError(f未定义变量: {node.name}) return node.namenew_temp()负责生成临时变量名保证每条三地址码最多一个运算符。symtab是符号表字典查不到就抛语义错误。实际项目里还会有一个quad_table存四元式方便后续优化阶段遍历。注意临时变量编号不能重复否则优化阶段会串数据。2.4 目标代码优化从三地址码到可执行指令优化阶段是这份实验项目的加分项通常包括常量折叠、公共子表达式消除、死代码删除、循环不变式外提等。常量折叠最简单如果两个操作数都是常量直接算出结果替换掉整条指令。公共子表达式消除需要先做可用表达式分析把重复计算的表达式用同一个临时变量替代。我一般会先跑一遍常量折叠和死代码删除这两项收益最明显且不容易出错。循环不变式外提要谨慎搞不好会把本该在循环里执行的语句提到外面导致逻辑错误。优化前后一定要有对比测试确认程序输出一致。# 常量折叠优化遍历四元式表 def constant_folding(quads): result [] for q in quads: if q.op in (, -, *, /) and q.arg1.isdigit() and q.arg2.isdigit(): val eval(f{q.arg1} {q.op} {q.arg2}) result.append(Quad(, str(val), None, q.result)) else: result.append(q) return result这段代码只处理两个操作数都是数字字面量的情况。eval在这里是安全的因为已经确认了操作数都是数字。实际项目里还要处理负数、浮点数、除零异常等情况。优化后的四元式表要重新做一遍活跃变量分析否则可能删掉还有用的变量定义。3. 环境搭建与跑通步骤从解压到看到输出3.1 依赖确认与目录结构拿到压缩包后先别急着跑第一步是看目录结构和 README。常见结构是src/放源码、test/放测试用例、docs/放文档、Makefile或CMakeLists.txt负责构建。如果是 Java 项目会有pom.xml或build.gradle如果是 Python会有requirements.txt。我一般会先确认语言和构建工具版本。Java 项目注意 JDK 版本Python 项目注意 Python 2 还是 3——编译原理老课设用 Python 2 的概率不低直接跑会报语法错误。C 项目注意编译器标准C11 和 C17 的写法差异可能导致编译失败。# 查看项目结构以 Linux/macOS 为例 find . -maxdepth 2 -type f | head -30 # 查看构建文件 cat Makefile 2/dev/null || cat pom.xml 2/dev/null || cat requirements.txt 2/dev/nullfind命令列出前两层文件快速判断项目类型。cat依次尝试读取常见构建文件看到哪个就说明用哪套工具链。如果都没有大概率是纯脚本项目直接找入口文件即可。3.2 编译与运行以测试用例驱动跑通的标准是给一个测试源文件编译器能输出目标代码或直接执行结果。我一般会先跑项目自带的测试用例确认基线能过再自己写新用例。# 假设项目是 Python 实现入口为 main.py python main.py test/sample1.c # 如果输出三地址码或汇编说明前端流程通了 # 如果项目有 Makefile make ./compiler test/sample1.c参数说明test/sample1.c是测试源文件路径具体文件名以项目实际为准。如果报“文件不存在”先确认测试用例目录名和文件名。如果报语法错误但源文件没问题大概率是词法分析器的 Token 定义没覆盖到某个字符。3.3 验证输出对比预期结果跑通之后要验证输出是否正确。常见验证方式是编译器输出三地址码手工推演一遍结果是否和源程序语义一致或者编译器直接生成可执行文件运行后对比输出。如果项目带了预期输出文件如.expected直接 diff 即可。# 对比实际输出和预期输出 python main.py test/sample1.c actual.txt diff actual.txt test/sample1.expecteddiff无输出说明完全一致。有差异时先看差异行号定位到具体哪条指令生成错了。常见原因是临时变量编号不一致或运算符优先级处理反了。4. 避坑与排查编译原理课设里最容易翻车的五个点4.1 现象词法分析器把关键字识别成标识符原因关键字匹配顺序错了。很多实现先匹配标识符再查关键字表但如果标识符规则写成了“字母开头任意字母数字组合”那if、while这些会被当成普通标识符。解决在标识符识别完成后查一张关键字表命中就改 Token 类型。关键字表用哈希集合O(1) 查询。4.2 现象语法分析栈溢出或死循环原因文法存在左递归递归下降分析器无限递归。解决消除左递归把A - Aα | β改写成A - βAA - αA | ε。或者改用 LL(1) 表驱动方式但要注意 FOLLOW 集计算不能出错。4.3 现象语义分析报“未定义变量”但变量明明声明了原因符号表作用域管理有问题。进入新作用域时没压栈或者离开时没弹栈导致变量声明写到了错误的作用域层级。解决在语法分析生成 AST 时给每个作用域块打上标记语义分析遍历到块节点时压栈/弹栈。查符号时从栈顶往下查。4.4 现象优化后程序输出变了原因优化阶段误删了有副作用的指令或者常量折叠时忽略了浮点精度。解决做任何优化前先做副作用分析函数调用、赋值、输入输出指令不能随便删。常量折叠只处理整数和确定精度的浮点不确定的一律不折叠。优化前后必须跑回归测试。4.5 现象目标代码生成后无法执行或结果不对原因寄存器分配冲突或者指令选择错了。比如把乘法生成成了加法指令。解决先检查指令选择逻辑确认每个 AST 节点映射到正确的目标指令。寄存器分配如果用了图着色算法检查冲突图构造是否正确。简单项目可以直接用栈式分配避免寄存器冲突。5. 进阶技巧用差分测试验证编译器正确性编译器最怕的是“大部分情况对少数情况错”这种 bug 最难查。我一般会用差分测试同一个源程序分别用这份课程编译器和系统自带编译器如 gcc编译执行对比输出。如果输出不一致说明编译器某处有问题。具体做法是写一个脚本自动生成或收集一批测试用例逐个跑两个编译器记录差异。测试用例要覆盖边界情况空语句、嵌套括号、多层循环、递归函数、类型转换、数组越界等。#!/bin/bash # 差分测试脚本对比课程编译器和 gcc 的输出 for src in test/*.c; do # 用课程编译器编译执行 python main.py $src out_course.txt 21 # 用 gcc 编译执行 gcc $src -o /tmp/test_bin /tmp/test_bin out_gcc.txt 21 # 对比 if ! diff -q out_course.txt out_gcc.txt /dev/null; then echo 差异用例: $src diff out_course.txt out_gcc.txt fi done这个脚本的关键是diff -q静默对比只在有差异时输出。21把错误输出也重定向到文件避免编译器报错信息干扰对比。实际使用时要注意课程编译器可能只支持语言子集gcc 支持的语法更多所以测试用例要限制在子集范围内。另一个技巧是给编译器加调试开关比如-d参数输出每个阶段的中间结果Token 序列、AST 结构、符号表快照、四元式表。这样出问题时能快速定位到哪个阶段错了。我一般会在词法分析后打印 Token 流语法分析后打印 AST 缩进树语义分析后打印符号表和四元式。这些调试输出用环境变量控制不影响正常编译。从那以后我每次拿到编译原理课设都强制先跑一遍自带测试用例再跑差分测试最后才看代码细节。这个习惯帮我省了很多“看起来能跑但结果不对”的排查时间。希望帮到你。本文还有配套的精品资源点击获取
