毕业设计-编程考试机器评卷系统论文.doc

编程考试机器评卷系统1 前言1.1 课题背景及意义目前全国计算机应用能力等级考试及各省的高校计算机教学水平考试都有上机操作考试，编程考试是其主要内容之一。在编程考试中，一方面，由于考生人数多，必须采用机器评卷；另一方面，由于考生之间水平差距较大，针对同一问题编写的程序千姿百态。编译、连接、运行都可能出错，尤其是运行过程可能会产生死循环，因此，目前还没有采用完整的源程序作为机器评卷的依据。现在已投入使用的采用机器评卷的考试题型有填写问题的结果和填写少量语句两种。前一种题型的缺点一是容易舞弊，二是有些问题不编程也可得到结果；后一种题型的缺点是，难以看出考生独立解决问题的能力。因此有必要提出一种基于完整源程序分析且能采用机器阅卷的考试题型及评卷算法，吸取以前机器评卷系统的优点,运用其部分设计思路,结合了自己的思想设计完善编程考试机器评卷系统。加强自身对计算机系统知识运用能力的锻炼。此编程考试机器评卷系统通过对考生编制的每个源程序的分析过程给出评分。1.2 课题相关技术的研究现状1.2.1编译原理简介在计算机科学的课程中，编译原理占有非常重要的位置，它是每个优秀的计算机专业人员必修的一门课程。它主要介绍编译程序的基本构造、一般设计方法和常用实现技术，讲解编译程序自动构造的原理和工具。具体内容包括：形式语言、有穷自动机原理及词法分析程序的自动构造、自上而下和自下而上的语法分析、语法制导翻译及中间代码生成，目标程序运行时的存储组织策略及代码生成等等。并结合教授内容，安排学生在剖析一个简单的编译程序的基础上，完成编译程序的有关实验。经过本课程的学习，要求学生不但掌握一般高级语言编译程序的初步设计和实现的基本技能，并能为不同模式和不同领域的语言的实现方案寻找解决途径，另外还能运用编译程序构造的原理和技术完成相关软件工具的设计和开发工作。词法分析阶段的任务是对构成源程序的字符串从左到右进行扫描和分解，根据语言的词法规则，识别出一个一个具有独立意义的单词( 也称单词符号, 简称符号 )。语法分析的任务是在词法分析的基础上, 根据语言的语法规则从单词符号串中识别出各种语法单位( 如表达式、说明、语句等 ) ,并进行语法检查,即检查各种语法单位在语法构上的正确性。语义分析与中间代码的生成。语义分析的任务是首先对每种语法单位进行静态的语义审查，然后分析其含义，并用另一种语言形式 (比源语言更接近于目标语言的一种中间代码或直接用目标语言 ) 来描述这种语义。代码优化的任务是对前阶段产生的中间代码进行等价变换或改造，以期获得更为高效即省时间和空间的目标代码。编译程序在工作过程中需要建立一些表格，以登记源程序中所提供的或在编译过程中所产生的一些信息，编译各个阶段的工作都涉及到构造、查找、修改或存取有关表格中的信息，因此，在编译程序中必须有一组管理各种表格的程序。图1.1编译程序的总体结构图1.2.2 c语言基本语法总结（1）标识符 由字母、数字和下划线组成。标识符必须以字母或下划线开头。大、小写的字母分别认为是两个不同的字符。不同的系统对标识符的字符数有不同的规定，一般允许7个字符。（2）注释/和/必须成对出现；注释不能嵌套；注释可出现在程序的任何位置。（3） 常量整型常量十进制常数(八进制常数、十六进制常数、长整型常数)；字符常量(用单引号括起来的字符)；字符串常量(用双引号括起来的字符序列)；浮点型常量(小数形式、指数形式)。（4） 表达式算术表达式(整型表达式、实型表达式)；逻辑表达式(用逻辑运算符连接的整型量，结果为一个整数0或1，逻辑表达式可以认为是整型表达式的一种特殊形式)；字位表达式；强制类型转换表达式(用类型运算符使表达式的类型进行强制转换)；逗号表达式；赋值表达式(将赋值号=右侧表达式的值赋给赋值号左边的变量)；条件表达式；指针表达式(对指针类型的数据进行运算)。（5） 数据定义对程序中用到的所有变量都需要进行定义。对数据定义其类型，需要时要指定其存储类别。类型标识符可用：int、short、long、unsigned、char、float、double、struct 结构体名、union 共用体名等；存储类别可用：auto、static、register、extern(如不指定存储类别，作auto处理)。注意：外部数据定义只能用extern或static，而不能用auto或register。（6） 函数定义形式为：存储类别数据类型函数名(形参表列)；形参说明；函数体。函数的存储类别只能用extern或static。函数体是用花括弧括起来的，可包括数据定义和语句。（7） 变量的初始化可以在定义时对变量或数组指定初始值；静态变量或外部变量如未初始化，系统自动使其初值为零(对数值型变量)或空(对字符型数据)；对自动变量或寄存器变量，若未初始化，则其初值为一不可预测的数据；只有静态或外部数组才能初始化。1.3 本文主要研究内容对考生编制的每个源程序的分析过程包括编译、连接、运行和结果评分。控制被评程序相应进程的运行。由于编译、连接、运行考生的被评程序都是在评卷程序的召唤下进行的，因此控制被评程序相应进程的运行是评卷算法的主要任务。对被评程序运行过程中可能存在的死循环进行识别。为了避免因考生的被评程序中可能含有死循环而使评卷无法继续，算法中采取修改定时中断的方法。当被评程序相应进程运行足够长时问后仍未结束，则判定它含有死循环，可强行终止它。然后对该程序记分。当考生的一个程序被评分后，就可以对考生的下一个程序或下一个考生开始评分。为便于机器阅卷，可在试题类型上做如下要求：(1)源程序中主程序与所有子程序均存入同一文件且只能取规定的文件名；(2)所有的输入均由与试题相应的某一文件提供；(3)所有的输出结果均按指定的格式存入一个与试题相应的文件中。2.开发平台及工具简介2.1 visual c+简介：几乎所有世界级的软件，从业界领先的web浏览器到面向任务的企业应用，都是使用microsoft visual c+开发系统来开发的。要用c+来开发windows和web上的高性能应用程序，visual c+是效率最高的首选工具。visual c+ 6.0在不牺牲灵活性、性能和控制力度的同时，给c+带来更高水平的生产效率。除了intellisense technology（智能感应技术）和edit and continue（即编即调）等显著缩短开发时间的新特性外，visual c+ 6.0还为web开发和企业开发提供更良好的支持。microsoft visual c+ 6.0专业版的健壮的构件开发、强大的数据库工具和完备的internet支持将使您从中受益，创建出策略性的商务解决方案来。visual studio c+6.0采用一种非常巧妙的方法将原本非常复杂的windows编程步骤封装起来，使编程人员可以轻松容易地编写windows应用程序。visual c+6.0是microsoft visual studio6.0的一个子集，他对低版本开发程序兼容。它有如下的特点：(1) visual c+6.0提供了用于开发windows环境下的应用程序和简捷、快速的开发环境。利用visual c+6.0开发windows应用程序具有很高的效率。(2) visual c+6.0提供了mfc类，开发者只需要做少量的工作就可以得到功能齐全的windows应用程序。与使用c和windows sdk开发windows应用程序相比，使用visual c+6.0建立一个完美的windows应用程序所花费的时间要少得多。(3) visual c+6.0还提供了一个高度集成的工具集，使得在开发应用程序的全过程中都保证了较高的效率。集成化便于程序开发，开发者可以同时在编辑、建立、调试等不同任务之间快速切换，甚至可以同时进行。（4）调试方便：在程序调试时，在遇到编译错误时，会在输出窗口显示出错误类型、行号及错误提示等信息。在输出窗口中双击错误提示时，光标会自动指向出现错误的代码所在行应方便快速找出错误。visual c+支持断点调试，同时也可以在调试窗口观察有关变量的值，以方便查找出有关的逻辑错误。2.2 ado技术1) ado的技术特点 ado的全称是activex data object，它是微软公司为数据库应用程序开发的新接口。ado基于com，提供编程语言可利用的对象，它不仅面向visual c+,同时还提供面向其他开发工具的应用，如visual basic、vj等，甚至还提供面向诸如 vbscript、javascript等脚本语言的应用。ado的底层是ole db,不仅能访问关系数据库,也能访问非关系型数据库。ado对ole db的包装是相当成功的，相对于ole db中众多的接口来说，ado对象模型简明扼要，没有一点多余的东西，并且其功能还要比dao强大的多。并且可以说到目前为止，ado是目前最快的数据库访问的中间层。2) ado的结构ado模型包含了7个对象和4个集合，ado的结构图如图2.1所示。2.3 sql语句简介sql是一种面向数据库的通用数据处理语言规范，能完成以下几类功能：提取查询数据，插入修改删除数据，生成修改和删除数据库对象，数据库安全控制，数据库完整性及数据保护控制。本文用到的sql语句主要为select语句和insert语句。连接对象(connection)错误集合(errors)错误对象(error)属性集合(properties)属性对象(property)命令对象(command)参数集合(parameters)参数对象(parameter)属性集合(properties)属性对象(property)记录集对象(recordset)域集合(fields)域对象(field)属性集合(properties)属性对象(property)图2.1 ado的结构图3 需求分析与概要设计3.1系统需求分析本课题的名称为：编程考试机器评卷系统。编程考试是计算机等相关专业的常见考试，其具体要求为对指定的题目设计算法并使用考试所规定的编程语言（如：c语言、java语言、python语言）编写程序实现其设计的算法以完成题目的要求。由此我们可以把本课题按照要求分为两大功能模块来完成：某种编程语言的解析（语法分析、词法分析等）；评分系统的设计（如何针对错误来打分、分数如何存储与显示给用户）。a) 某种语言的解析：本模块是系统中最重要的模块也是最难实现的模块是其他模块的基础。在这里选用最熟悉的、使用也最为广泛的c语言进行解析。c语言有着较为复杂的语法与词法规则。在本课题中拟模仿微软的经典编译器vc+的设计，来完成对c语言的解析，包括语法词法分析、关键字的高亮现实、输出程序中出现的错误等等。显示风格模拟vc+6.0的界面设计。b) 评分系统的设计：机器评卷永远也代替不了人来评卷，使用机器评卷系统终归会遇到很多机器很难解决的问题。例如在程序中某一处发生用户丢失标点符号，这个现象对于评卷来说是一个小问题，但是对于程序来说就是一个大的问题（语法错误程序无法通过编译）。而且机器评卷永远也不可能如人评卷那样准确。因此，在本课题中评卷系统的设计遵守两大原则：尽量体现人性化设计对于小错误、小问题不给予严重的扣分；模拟vc+6.0的编译功能，已其检查的出的错误为评分标准。3.2 系统整体框架图c语言解析模块总体结构图如图3.1所示。程序运行后用户选择其所需要评阅的试卷，点击评卷开始阅卷。首先进入的就是c语言的解析部分。 首先，程序将对用户打开的c语言编程试卷.c文件，进行词法和语法的分析。然后通过特定的数据结构生成语法树，在这个阶段将检查出基本的语法词法错误，语法树是进行解析的基础。其作用与原理在后文中讲继续详细说明。在语法树生成成功之后，解析程序建立起关于考卷（c语言程序）的符号表。在符号表的基础上，程序能够对考卷进行类型匹配等表复杂的错误的检查。例如，函数的参数传递错误，结果返回错误等。图3.1 c语言解析模块总体结构图评卷系统总体框架如图3.2所示，当解析程序对源程序分析完毕后，系统根据解析结果对源程序进行评分。在评分中尽量体现人性化设计，例如源程序中如果出现标点符号漏掉等错误按照其他错误的一半分来扣。评分结束后根据分数写出对应的评语，为了方便分数的管理，将对应的分数、评语、源程序名存入到数据库中。评分系统还提供评卷成绩列表用于现实所有的分数。图3.2 评卷系统总体框架图3.3 系统目标本系统为编程考试的机器评卷。系统中最为核心的目标为：对考生的c语言源程序进行解析。这就需要实现几个核心的算法，例如语法分析、词法分析、类型匹配等等。同时要实现评分的智能化、人性化，仅仅检查出语法、词法上存在错误是不够的。还需准确地获取错误的具体情况，根据不同的情况进行打分。因此本系统模拟vc+6.0编辑器，实现对c语言源程序的解析，并输出错误类型。为了方便用户的使用，在系统主界面中还添加一些类vc+编辑器的辅助功能，例如关键字高亮、错误行数提示等。在完成评分后，为了方便成绩的管理，系统添加数据库功能，用数据库存储考试成绩，以方便管理与维护。本系统用vc开发，连接数据库采用ado方式与access进行连接。4. 详细设计4.1 数据库的创建本系统采用access数据库来存储相关信息，建立数据库的过程如下：在工程所在目录下点击鼠标邮件，在弹出的快捷菜单中将鼠标移到“新建”，再在弹出的字菜单中点击“新建microsoft office access 应用程序”。到此数据库就建立好了，将改access文件改名c语言考试评分成绩.mdb。数据库表格的建立：本系统中数据库是用于存储考试成绩信息。本系统建立一张表：成绩表。成绩表只包含三个字段：题目、分数、评语，设计如表4.1所示。表4.1 成绩表字段含义字段名数据类型c语言源程序标题题目text程序得分分数int评语评语text4.2 mfc连接数据库本系统在进行数据库连接时采用的是ado方式进行连接。ado(activex data object)是microsoft数据库应用程序开发的新接口，是建立在ole db之上的高层数据库访问技术，即使你对ole db，com不了解也能轻松对付ado,因为它非常简单易用，甚至比你以往所接触的odbc api、dao、rdo都要容易使用，并不失灵活性。ado数据库开发的基本流程，它的基本步骤如下：1）初始化com库，引入ado库定义文件2）用connection对象连接数据库3）利用建立好的连接，通过connection、command对象执行sql命令，或利用recordset对象取得结果记录集进行查询、处理。4）使用完毕后关闭连接释放对象。接下来详细介绍连接过程：com库的初始化我们可以使用afxoleinit()来初始化com库，这项工作通常在cwinapp:initinstance()的重载函数中完成，代码：bool cadotest1app:initinstance()afxoleinit();. 2）用#import指令引入ado类型库为了引入ado类型库，需要在项目的stdafx.h文件中加入如下语句：#import c:program filescommon filessystemadomsado15.dll no_namespace rename(eof,adoeof)这一语句的作用同我们已经十分熟悉的#include类似，编译的时候系统会为我们生成msado15.tlh,ado15.tli两个c+头文件来定义ado库。开发环境中msado15.dll不一定在这个目录下，要按实际情况修改；在编译的时候可能会出现如下警告，对此微软在msdn中作了说明，并建议我们不要理会这个警告：msado15.tlh(405) : warning c4146: unary minus operator applied to unsigned type, result still unsigned。3）创建connection对象并连接数据库为了首先我们需要添加一个指向connection对象的指针_connectionptr m_pconnection，下面的代码演示了如何创建connection对象实例及如何连接数据库并进行异常捕捉：bool cadotest1dlg:oninitdialog()cdialog:oninitdialog();hresult hr;tryhr = m_pconnection.createinstance(adodb.connection);/创建connection对象if(succeeded(hr)hr = m_pconnection-open(provider=microsoft.jet.oledb.4.0;data source=test.mdb,admodeunknown);/连接数据库/上面一句中连接字串中的provider是针对access2000环境的，对于access97，/需要改为：provider=microsoft.jet.oledb.3.51;catch(_com_error e)/捕捉异常cstring errormessage;errormessage.format(连接数据库失败!rn错误信息:%s,e.errormessage();afxmessagebox(errormessage);/显示错误信息在这段代码中我们是通过connection对象的open方法来进行连接数据库的。4）执行sql命令并取得结果记录集为了取得结果记录集，我们定义一个指向recordset对象的指针:_recordsetptr m_precordset;并为其创建recordset对象的实例: m_precordset.createinstance(adodb.recordset)，sql命令的执行可以采用多种形式，本文采用了recordset对象进行查询取得记录集。m_precordset-open(sql语句,_variant_t(idispatch *)m_pconnection,true),adopenstatic,adlockoptimistic,adcmdtext);插入操作采用的是connection对象的execute方法执行sql命令。execute（）方法的原型如下所示：recordsetptr connection15:execute ( _bstr_t commandtext, variant * recordsaffected, long options ) 其中commandtext是命令字串，通常是sql命令。参数recordsaffected是操作完成后所影响的行数, 参数options表示commandtext中内容的类型，options可以取如下值之一：adcmdtext表明commandtext是文本命令；adcmdtable表明commandtext是一个表名；adcmdproc表明commandtext是一个存储过程；adcmdunknown表明commandtext内容未知。execute（）函数执行完后返回一个指向记录集的指针。5）关闭记录集与连接 记录集或连接都可以用close（）方法来关闭：m_precordset-close();/关闭记录集m_pconnection-close();/关闭连接本系统在设计对access进行操作时为了方便将上述操作写成了一个类。4.3源程序运行检测算法的描述 源程序运行检测算的程序流程图如下所示：图 4.3.1程序运行算法流程图上图中描述了本系统程序运行主算法的数据流程。其中包括了详细了，c语言源程序文件导入后的基本处理、词法分析的数据流程与具体方式、语法分析的数据流程、语法树的定义与生成、类型匹配的检测方式等等。在这一章中，本章中将重点从全局的角度对本系统主算法进行一个分析与实现的说明。由于涉及到的内容过多，与代码有关的设计与实现在下面的章节将详细的给出。首先，系统需要获取c语言源程序的代码信息。程序实现中通过mfc的cfile类导入一个c语言的源程序文件.c文件。存储到mfc为文件提供的专用buffer中，注意这个时候文件的存储是以一个一个字符的形式存储的。系统需要进行一些简单的处理把其翻译成一个一个的字符串。完成第一步之后，系统已经得到了一个关于c语言源程序的字符串存储结构。下面进入到的是c语言的词法分析阶段。词法分析大致分为两个部分：c语言保留字的查找特殊字符的查找与翻译(翻译成token字符)，变量、函数等程序对象的词法检测。在这里首先需要解释一下的是为什么要把所有的东西都翻译成token字符？因为本系统是使用vc+去分析检查c语言程序，c+与c语言中的关键字有非常多的重复，如果不加翻译的话c+语言进行时会发生语法的错误。例如，在c语言源程序中存在/n字符，如果在本系统中直接将/n不进行分析进行下述语法树建立操作时，语法树的生出读到/n会自动换行，产生错误。关于构词法的算法，按照c语言构词法的所有要求上文中已经提到过，在这里就不再重复说明了。在完成上述查找翻译词法检测之后，在这个部分还有一个特殊的功能。按照每一个token的类型（关键字、变量、函数等等）给出不同颜色的提示。具体算法为查找到token的类型返回不同的颜色，在输出界面中显示出来。该功能能够帮助评卷人更好地认识与识别程序中的错误。在这里如果检测到构词法的错误，则记录该错误的位置token，并通过给出错误的输出。在完成上述步骤之后，系统进入到语法分析的阶段。语法分析较之词法分析更为复杂因为仅从局部无法完全准确的进行判断。语法分析算法的核心是建立一个关于c语言源程序的语法树。语法树结构的定义是本步骤的重点。在本程序中采用嵌套递归的设计思路，来设计语法树的结构。首先，将每一个语法元素看做是一个基本的树对象。(例如，if语句整个是一个基本树对象而if语句中的表达式也是一个基本树对象，两者之间是一个嵌套的关系) 4.4 源程序的导入与解析c语言原程序的解析是本系统的重点，是系统其他部分执行的基础。编译原理的基础知识在本文的第二部分已做了介绍，这里就不再重复。根据本文中第三部分的设计，本模块的总体框架如图3.1所示，本模块大致分为以下4个功能模块实现：词法分析、语法分析、建立文档符号表、类型匹配检测。下文将针对每一个具体功能模块进行详细讲述。4.4.1词法分析：c语言的构词法规则为:由字母、数字和下划线组成。标识符必须以字母或下划线开头。大、小写的字母分别认为是两个不同的字符。不同的系统对标识符的字符数有不同的规定，一般允许7个字符。同时c语言中拥有大量的保留字，在定义变量时不能与这些关键字重复。在本程序中也同样建立了一个关于c语言关键字的对应表词法分析功能主要由以下两个类来完成：l class ctokenizer：这个类的主要作用为：从一个字符串中（这里把一个文件看作是一个字符串，mfc中cfile-cstring获取用户调入的c语言源程序）分离出一个一个token来，配上简单的类型再通过nexttoken（）获取返回值。返回值与其宏定义如下：code#define tt_eol n#define tt_eof -1#define tt_integer -2#define tt_real -3#define tt_word -4#define tt_string #define tt_charl class cscaner：这个类的作用为：获取c语言源程序中具体具体的的token类型。token类型的定义必须与c语言关键字相对应用于词法的检测。c语言关键字如下表：autodoubleintstructbreakelselongswitchcaseenumregistertypedefcharexternreturnunionconstfloatshortunsignedcontinueforsignedvoiddefaultgotosizeofvolatiledoifstaticwhile表1 c关键字表token类型的定义分为以下5类与c语言相对应。code：enum tokentype程序关键字定义_auto, _double, _int, _struct,_break, _else, _long, _switch, _case, _enum, _register, _typedef,_char, _extern, _return, _union,_const, _float, _short, _unsigned,_continue, _for, _signed, _void,_default, _goto, _sizeof, _volatile,_do, _if, _static, _while,_read, _write, _printf,操作关键字assign, plus, minus, times, div, mod,bitwise_and, bitwise_or, bitwise_not, logical_not, lt, gt,中断关键字lparan, rparan, lbrace, rbrace, lsquare, rsquare, comma, dot, semi, colon,混合操作符eq/* = */, neq/* != */, plus_plus/* + */, minus_minus/* - */,plus_assign/* += */, minus_assign/* -= */, times_assign/* *= */, div_assign/* /= */,ngt/* = */, logical_and/* & */, logical_or/* | */,其他_eof, _id, _num, _string, _character, _label, _error, _none;cscaner实现词法分析的查找与反向查找是通过函数cmap来实现的。成员变量m_keyindex 把c语言源程序（cstring）的关键字和tokentype对应。例如：当系统查找到+时，自动把它翻译成token类型plus。l 变量标识符构词法分析原理:例如标识strid1，根据c语言的变量命名法则，系统先检查变量名的开头部分是否由正确的字母或符号组成。（_ a b c d e f g h i j k l m n o p q r s t u v w x y za b c d e f g h i j k l m n o p q r s t u v w x y z）。然后再检查变量的其他部分是否含有0 1 2 3 4 5 6 7 8 9。4.4.2语法分析：本系统中语法分析的功能是由类cparser来完成的。l class cparser完成的主要功能是：在词法分析的基础上，通过文法与相应的规则起建立语法树。具体实现如下：首先定义数据结构ctreenode，结构ctreenode是建立语法树的基础。ctreenode的由以下代码实现。code：#define max_children 3class ctreenodepublic:ctreenode*child max_children ;/ point to child nodectreenode*father;/ point to father nodectreenode*sibling;/ point to sibling nodeintlineno;nodekindnodekind;union stmtkindstmt;expkindexp; kind;enum tokentypetype;cstringszname;cstringszscope;/ node function scopeboolbarray;/ is this an array declarationintiarraysize;/ array size;l grammar分析与函数返回：1. program-declaration_list2. declaration_list-declaration_list declaration | declaration3. declaration-var_declaration | fun_declaration4. var_declaration-type_specifier id(, .); | type_specifier id num (, .);5. type_specifier-int | void | char, actually this step is in declaration_list()6. fun_declaration-type_specifier id ( params ) compound_stmt7. params-param_list | void | empty, void is thought as empty8. param_list-param_list , param | param9. param-type_specifier id | type_specifier id 10. compound_stmt- loal_declarations statement_list | expression_stmt11. local_declarations-local_declarations var_declaration | var_declaration12. read ( var ) ;13. write ( expression ) ;14. printf ( string ) ;15. expression_stmt-expression ; | ;16. expression-var = expression | logic1_expression17. logic1_expression-logic1_expression | logic2_expression | logic2_expression18. logic2_expression- logic2_expression & simple_expression | simple_expression19. simple_expression-additive_expression relop additive_expression | additive_expression20. relop- = | | = | = | !=21. additive_expression - additive_expression addop term | term22. addop- + | -23. term-term mulop logic3_expression | logic3_expression24. mulop- * | / | %25. logic3_expression- ! logic3_expression | factor26. factor-( expression ) | var | call | num27. var-id | id expression 28. call-id ( args )29. args-args_list | empty30. args_list-args_list , expression | expression31. sub_compoundstmt-id : | call ; | expression_stmt32. if_stmt-if ( expression ) compound_stmt33. | if ( expression ) compound_stmt else compound_stmt34. while_stmt-while ( expression ) compound_stmt35. for_stmt-for ( var = expression ; expression ; var = expression ) compound_stmt36. goto_stmt-goto id ;37. break_stmt-break ;38. continue_stmt-continue ;39. return_stmt-return ; | return expression ;l 基本树形结构：if语句： if语句表达式语句语句while语句：while语句表达式语句表达式语句表达式for语句表达式for循环语句：复合语句：语句复合语句语句语句声明l 支持的语句及运算：1) 数据类型：int，char void，pcode里支持float，在80x86 asm里不支持2) 语句：赋值（=），if, while，for，return，break，continue3) 数学运算：+，*，/4) 关系运算：= =，=，szname, t-szscope ) = -1 ) / not defined, so add it to the symbol tablem_symboltable.st_insert( t-szname, t-szscope, t-type, t-lineno, location+ );/ add it to function declaration listm_funargs.fa_insert( t ); else / redefinition函数重定义theapp.score=theapp.score-10;outputerrmsg( error in line %d: function %s() redefinition, t-lineno, (lpctstr)t-szname );.以上为函数发生重定义时的扣分情况。系统按照解析的顺序依次扣分，在解析完成之后即得出考试的最终成绩。