研究生上机作业实施大纲.pptVIP

研究生上机作业实施大纲 软件工程研究所 刘坚 2005年4月 第一部分：题目与要求 2.3 先设计后实现 2.5 最终提交 第二部分：上机作业实例 一、需求分析大纲与任务划分 1.1 minipascal程序设计语言 1.1.1 程序程序总体结构与程序例子 1.1.1 程序程序总体结构与程序例子（续） 1.1.2 词法 1.1.2 词法（续） 1.1.3 语法 1.1.3 语法（续1） 1.1.3 语法（续2） 1.1.3 语法（续3） 1.1.3 语法（续4） 1.1.3 语法（续4） 1.1.4 语义（略） 1.2 任务划分 二、解释器的设计与实现 2.1 符号表2.1.1 对符号表的基本要求 2.1.3 符号表的数据结构 2.1.3 符号表的数据结构（续1） 2.1.3 符号表的数据结构（续2） 2.1.4 符号表上的操作 2.1.4 符号表上的操作（续） 2.1.5 测试用例与测试（看实际操作） 2.2 词法分析器与语法分析器的编写 2.3 符号表的填写（声明语句的处理） 2.3.3 语义设计（看实例，包括符号表的操作与符号的填写） 2.4 四元式设计与四元式序列生成（可执行语句的处理） 2.4.4 参数与参数传递的处理（简化为值调用） 2.4.6 实例 2.4.6 实例（续1） 2.4.6 实例（续2） 2.4.6 实例（续3） 2.6 可行的一种分工方式2.6.1 任务划分与接口设计 三、测试与分析 结束（2005年4月12日） 8 gcd的活动记录：（rpc, a, b, t） 9 gcd的四元式序列： (gcd+0) (:= sp-rpc-5, , a) // 简化表示，实现时会增加 (gcd+1) (:= sp-rpc-4, , b) (gcd+2) (jnz b, , (pc)+3) (gcd+3) (:= a, , sp-next-t)// 保存返回值 (gcd+4) (return , , sp-rpc) // 返回（注） (gcd+5) (mod a, b, t) (gcd+6) (param , , b) (gcd+7) (param , , t) (gcd+8) (new sp, , sp) // 生成新的活动记录 (gcd+9) (:= pc+2, , sp-rpc) // 保存指令计数器 (gcd+10)(call 2, , gcd) // 将pc改为gcd所指四元式 (gcd+11)(retval , , t) // 接收返回值 (gcd+12)(:= t, , sp-next-t)// 保存返回值 (gcd+13)(return , , sp-rpc) // 返回 注：解释为：恢复pc，pop(sp)，goto pc三个动作 运行轨迹 （第一列：调用时push，第二、三列：返回时pop） sp1-(rpc,6,3,t) sp1-(rpc,6,3,t) (t7):sp1-(rpc,6,3,3) (t4):sp2-(t7,6,3,0) (g11):sp2-(t7,6,3,3) (g8):sp3-(g11,3,0,0） 11 四元式运行轨迹 [t0,t6]-[g0,g2],[g5,g10]-[g0,g4] [g11,g13] [t7,t9] 10 栈中的活动记录排列与内容 2.4.7 语义设计（略）2.5 四元式解释器（略） 任务划分： 符号表设计与实现 词法分析器与语法分析器的编写 符号表的填写（声明语句的处理） 四元式设计与四元式序列生成（可执行语句的处理） 四元式解释器 接口设计： 符号表与符号表的操作；四元式序列与相关存储分配。 2.6.2 两人组 （1,5）（2,3,4）或（1,2,5）（3,4） 2.6.3 三人组 （1, 5）（2, 3,）（4） * 一、 题目 设计一个Pascal子集（minipascal）的解释器（Aho 86） 二、要求（提示） 2.1 需求明确 认真阅读题目，明确需要做什么；自己应该做什么和能够做什么；定一个最低目标并编写需求分析报告大纲。 2.2 分工协作 根据最低目标划分任务模块（注意：不是指程序模块），使得各模块的设计与实现可以并行； 协商制定模块之间的接口。 2.4 注重测试与系统集成 每个模块进行相应的测试，包括：测试方案、测试环境、测试例子、测试过程、测试结果、测试分析； 系统集成测试，分别包括：接口和集成环境下的测试方案、测试环境、测试例子、测试过程、测试结果、测试分析。