简介《软件工程理论与实践第2版》配套习题答案PDF面向使用吕云翔教材的高校学生、考研复习者及软件工程课程备考人员用于核对课后练习、梳理章节重点与查漏补缺。压缩包内仅含1个PDF文件大小约1.49MB内容以附录C部分习题参考答案为主覆盖选择题、判断题和应用题等题型并涉及需求分析、数据流图、数据字典、状态转换图、E-R图、结构图、Jackson图、程序流程图与N-S图等核心知识点。已有6000余人学习下载适合课后自测、期末复习和教师备课参考。答案按章节组织应用题给出建模过程与图示说明可帮助读者对照教材理解软件工程方法掌握从需求分析到设计建模的解题思路提升习题训练与知识复盘效率。1. 画完那张借书 0 层图我盯着屏幕改了四遍借书证有效性、借书次数、超过 10 本就拒借——逻辑都写在题干里可一落到数据流图上就犯难查询加工到底该连借书文件还是库存目录文件工作人员这个外部实体在 0 层图里还要不要再出现一次。这类卡壳不是不会而是没有对照物。这份《软件工程——理论与实践第 2 版》附录 C 的书籍答案 PDF正好把第 1 章到第 11 章的选择题、判断题、应用题参考答案集中放在一处从图书管理系统的顶层图、0 层图与四份数据字典到最小公倍数的流程图、N-S 图、PAD 图再到公务员招聘顺序图、领书用例图、馆藏出版物对象模型以及第 11 章那张 14 个等价类的划分表。它适合正在做课程设计、备考或者自学图形建模的人——你可以不用它抄答案但你很难在没有对照物的情况下判断自己画的图到底漏了哪条流。下面按“这资源怎么拆、图怎么复现、哪里会翻车”的顺序往下走。2. 答案 PDF 的章节地图11 章拆成三类题型再动笔2.1 为什么先做题型地图而不是从第 1 页翻起这份资源的排版是线性的第 1 章、第 2 章选择题判断题第 3 章继续第 4 章开始出现应用题一直到第 11 章的测试用例表。但你的问题从来不是线性出现的——你今天卡的是数据流图明天卡的是等价类划分如果按页翻翻到第 7 章和第 9 章时第 4 章那张图早就忘了。我一般会先把整份答案按“产出物”重新切一遍切完再决定花多少时间。切法是看每章末尾有没有“4应用题”这个小节有就是图形题或表格题没有就是纯客观题。这份资源里带应用题的章节集中在第 4 到第 7 章、第 9 到第 11 章客观题集中在第 1、2、3、8 章。章节题型构成交付物判分关注点第 1、2、3、8 章选择题 判断题错题归因记录概念边界、否定词第 4 章选择题 判断题 应用题顶层图、3 张 0 层图、4 份数据字典、状态转换图、E-R 图实体是否齐全、数据流是否平衡、字典是否覆盖第 5 章选择题 判断题 应用题结构图、Jackson 图、流程图 / N-S 图 / PAD 图层次分解、三种控制结构符号第 6 章选择题 判断题 应用题顺序图、用例图、活动图、状态图生命线、include 关系、状态迁移条件第 7 章选择题 判断题 应用题动态模型、对象模型、功能模型状态与事件的对应、类与关联的多重性第 9 章选择题 判断题 应用题类图含泛化、聚合、多重性泛化方向、聚合与组合的区分第 10 章选择题 判断题 应用题两段代码排序片段、递归求最大公约数边界输入、语言细节第 11 章选择题 判断题 应用题等价类划分表、有效 / 无效用例表无效用例是否一次只覆盖一个类这张表本身就是路线图时间紧就先把第 4、5、11 章吃透这三章的图和分析方法会反复出现在课程设计和考试里时间宽再补第 6、7、9 章的行为建模。2.2 选择题和判断题答案只给字母剩下的要自己补答案里第 1 章选择题是(1) B (2) D (3) C (4) A判断题是(1) × (2) × (3) √ (4) ×。就这些没有一句解析。这意味着这份资源的价值不在“对答案”而在“定位错在哪”。我习惯用一张三列记录表来消化它比直接看答案有用得多题号我的答案错因归类1-1C符号不认识把数据字典的{ }当成集合1-2√漏读否定词题干问的是“不属于”4-5A概念混淆把变换型结构图当成事务型错因归类只有四种就够用了概念混淆、符号不认识、漏读否定词、凭印象。前三类是可以靠回教材定位补掉的第四类只能靠重做。判断一下这份资源的答案分布也有意思——第 1 章四道判断题三个是 ×第 4 章十一道判断题里 × 占六个。这不构成规律别拿它去蒙题但它提示你判断题的命题重心往往在“容易想当然认为对”的地方复习时把每个 √ 都反着推一遍比把 × 背下来更有用。2.3 应用题的三件套图、字典、表图形题看起来是画图实际交付物有三样一张结构正确的图、一份覆盖所有图元的数据字典、一张把约束写死的表。第 4 章那套图书管理系统就是标准范例——顶层图定边界三张 0 层图分别展开查询、借书、还书然后四份数据字典顶层、借书、还书、查询逐级定义字段。三样东西里最容易偷懒的是数据字典。很多人图画完了字典就随便抄两条流交差结果图里出现了一个“读者记录”存储字典里根本没定义。反过来做更省事先把字典写出来再照着字典里的每个条目往上找它落在哪条流、哪个存储上图会被逼着补齐。写字典的顺序建议是这样先列三个清单把题干里的名词分成外部实体、加工、数据存储分不清的先扔“待定”再对着清单画顶层图只留一个系统加工和外部实体然后按业务动作拆 0 层图最后逐条回填字典。这个顺序别颠倒先画后凑的图八成都过不了平衡检查。2.4 把对照表落成文件的具体步骤不要在心里对答案。开一个文件按下面四步走一小时后你手上会有一份可复用的自查清单第一步按 2.1 的表把 11 章建成 11 个二级标题每个标题下留三个格子图、字典、表。第二步每做完一道应用题把答案里的图用文字描述一遍抄进去比如“借书 0 层图读者→借书台借书证借书台→借书文件借书次数查询借书台→库存目录检查读者目录”。文字描述比截图有用因为描述强迫你复述每条流的方向。第三步把答案里出现的所有约束抄成一行借书上限 10、姓名 2~4 个汉字、图书编号 6 位数字、所借日期 8 位数字、罚金数额 1~2 位数字。这一行后面会直接变成校验脚本的参数。第四步做完一轮用红笔在格子里标“缺”只标缺的不标对的。第二轮只补红格子。提示第 10 章和第 11 章的答案里有可直接运行的代码和可执行的约束这两章别当成阅读材料打开编辑器跑一遍比看十遍图管用。3. 数据流图复现从顶层图推到 0 层图再补一份能跑的字典3.1 顶层图只干一件事把系统边界划出来图书管理系统这道题的顶层图外部实体只有两类读者和工作人员。答案里对读者做了一个区分——第一次借书的读者需要在借书文件上建立档案才能借书多次借书的读者已经有档案直接走借书次数判断。这个区分在顶层图上体现不出来但它是 0 层图里第一个判断分支的来源。顶层图有三条硬规则违反了直接扣分第一只有一个加工方框里写系统名不写子系统名。如果你在顶层图上画了“查询”“借书”“还书”三个方框那就已经是 0 层图了。第二不画数据存储。顶层图是给外部看的外部实体不关心你内部有几个文件。库存目录文件、借书文件、读者目录这些统统不出现在顶层图。第三每条数据流必须有名字且必须能读出方向。读者→系统是“借书证”系统→读者是“拒借信息”或“罚款信息”方向反了或者流无名等于没画。常见翻车点是把工作人员当成系统内部角色。这道题里工作人员是外部实体负责修改借书文件、库存目录文件也负责查阅读者情况和借阅情况——他做的是操作不是系统功能所以必须在边界外。3.2 0 层图拆分查询、借书、还书三条加工链答案把系统分解成三个加工查询、借书、还书。这三条链的输入输出和涉及存储整理出来是这样加工输入流输出流涉及数据存储查询工作人员请求读者情况、图书借阅情况、库存情况、统计表借书文件、库存目录文件借书借书证借书结果 / 拒借信息借书文件、读者目录还书读者记录查询请求罚款信息、更新后的库存借书文件、库存目录文件借书这条链是重点因为它有三个判断节点借书证是否有效、借书次数是否为 0、已借数量是否超过 10 本。第一次借书走“在借书文件中建立档案”多次借书走“检查是否超过 10 本”超过就拒借并把信息反馈给读者。注意“检查读者目录”这个动作在两条分支最后都出现说明它是一条汇合后的公共流画图时要让它从借书加工流出而不是分成两条。还书链的关键是“读取读者记录→查所借日期→判断是否超期→收取罚款→修改库存目录与借书文件”。罚款信息作为输出流反馈给读者同时库存目录和借书文件两个存储都要被写。这里必须做一次平衡检查顶层图上系统对外的每一条输入输出流在 0 层图上都要能找到对端。顶层有“拒借信息”流出到读者0 层图上借书加工就必须有对应输出。顶层有“罚款信息”还书加工就必须有。平衡检查我一般用最笨的办法——把顶层图的流名抄成一列一条条在 0 层图上打勾勾不上的就是漏了。3.3 数据字典的符号语义和四条书写规则答案里的字典条目长这样姓名: 2{汉字}4、学号: 8{数字}8、借书次数: 0..*、读者 {姓名学号班号}。这几个符号必须认识否则抄都抄不对。符号语义本书里的例子定义为读者 {姓名学号班号}顺序连接借书证 {姓名学号}{ }重复前面可带次数姓名: 2{汉字}4表示 2 到 4 个汉字..取值区间或重复次数区间借书次数: 0..*表示 0 到多次( )可选题干中未强制要求的字段四条书写规则按顺序用规则一每个图元都要有定义。图上出现的每一条数据流、每一个数据存储、每一个数据项字典里都得有对应条目。图上有“读者记录”而字典里没有就是硬伤。规则二自顶向下。先定义顶层的读者、工作人员、借书证再在 0 层图里定义读者信息、借书情况、读者目录、库存目录最后才落到姓名、学号、班号这种原子项。答案的四份字典正是这个顺序。规则三避免同名异义。这份资源里“读者”出现在顶层字典和还书字典中含义都是{姓名学号班号}一致但“读者情况”在顶层定义成{姓名学号}比“读者”少了班号这种细微差别要留意别合并。规则四数据流必须有来源。一条流要么来自外部实体要么来自加工要么来自数据存储。凭空出现的数据流是 DFD 里最常见的错误来源。3.4 用脚本把字典里的约束跑成校验字典写完只是纸面自洽真正的检验是拿它去校验一条真实记录。把 3.3 里的字段约束抽成规则表写个小校验器几十行就够import re # 约束来自附录 C 的数据字典条目逐条对应学号8位、班号4位、工作人员代号4位 # 图书编号6位、所借日期8位、罚金数额1~2位、姓名2~4个汉字 FIELD_RULES { 姓名: (r^[\u4e00-\u9fa5]{2,4}$, 2~4 个汉字), 学号: (r^\d{8}$, 8 位数字), 班号: (r^\d{4}$, 4 位数字), 工作人员代号: (r^\d{4}$, 4 位数字), 图书编号: (r^\d{6}$, 6 位数字), 所借日期: (r^\d{8}$, 8 位数字), 罚金数额: (r^\d{1,2}$, 1~2 位数字), } def check(record: dict) - list: 返回不合法字段列表空列表表示全部通过 bad [] for key, value in record.items(): rule FIELD_RULES.get(key) if rule is None: bad.append((key, value, 字典中未定义的字段)) continue pattern, desc rule if not re.match(pattern, str(value)): bad.append((key, value, desc)) return bad # 一条合法的借书记录 ok {姓名: 张三, 学号: 20200101, 班号: 1001, 图书编号: 000123, 所借日期: 20240520} print(check(ok)) # [] # 三条典型错误学号多一位、姓名带数字、字段没定义 print(check({姓名: 李四1, 学号: 202001011, 班号: 1001}))这段代码的逻辑很直白把字典条目翻译成正则键名当字段名正则当值域约束最后对一条记录做逐字段匹配。参数上唯一需要解释的是姓名的正则——[\u4e00-\u9fa5]是常用汉字区间{2,4}对应字典里2{汉字}4的写法注意2{汉字}4不是“2 个汉字再跟 4 个汉字”而是“重复次数下限 2、上限 4”这是初学者最容易读反的一条。运行结果会告诉你三件事check(ok)返回空列表说明字典约束对你手上的样例数据是自洽的带数字的姓名会命中姓名规则多一位的学号会命中 8 位规则。如果某条记录报了“字典中未定义的字段”那不是数据错是你的字典漏了字段——这恰好是最有价值的反馈比人工逐条核对快得多。注意这份资源里第 4 章图书管理系统的学号是 8 位第 11 章等价类划分题里的学号是 10 位。两套设定来自两道不同的题不要互相套用这个坑后面还会单独讲。4. 四种图形与一组用例表结构图、Jackson、N-S/PAD 与等价类划分4.1 结构图与 Jackson 图从“查看书籍”和二维表格看模块分解第 5 章应用题的“查看书籍”结构图是一道典型的变换型分解题。结构图上有四种东西要画对模块方框、调用箭头、带空心圆的短箭头数据耦合表示模块间传数据、带实心圆的短箭头控制耦合表示传标志位。“查看书籍”这条链的分解逻辑是输入、处理、输出三段接收查询条件、按条件检索、组织并输出结果三段下面各挂具体模块。画结构图的顺序是自顶向下先定主控模块再按“输入—处理—输出”三分最后才往每个分支下挂叶子。很多人上手就从叶子画起画完发现主控模块不知道该调谁。Jackson 图是另一套语言它描述的是数据结构而不是模块结构只有三种构件顺序、选择、迭代。顺序是竖着串下来的几个方框选择在方框右上角标一个小圆圈迭代标一个星号。第 5 章那道二维表格题本质是把“表格 表头 若干行”和“行 若干单元格”这两个层次翻译成 Jackson 的迭代结构行是迭代列在行内是顺序。这两种图的区别值得说清楚结构图回答“程序由哪些模块组成、谁调谁”Jackson 图回答“数据长什么样、程序结构怎么跟着数据走”。考试里混用这两种图是最典型的失分点。图种描述对象核心构件常见误用结构图模块与调用关系模块、调用、数据耦合、控制耦合把耦合箭头画成调用箭头Jackson 图数据结构顺序、选择、迭代用流程图符号画 JacksonN-S 图控制流程无箭头顺序、选择、循环嵌套表示画成了带箭头的流程图PAD 图控制流程二维展开顺序、选择、While、Until循环条件写在右侧而非左侧4.2 程序流程图、N-S 图、PAD 图三图同源最小公倍数的逐行对照第 5 章那道最小公倍数题的题干逻辑是先比较两个正整数取较大者为查找下界两者乘积为上界然后在区间内逐个判断能否同时被两数整除。三张图画法不同但控制结构完全相同。程序流程图用菱形判断框和箭头N-S 图用嵌套的矩形块循环用包含内层的框没有箭头PAD 图把顺序、选择、循环展开在二维平面上循环条件写在左侧竖线旁。把这张图直译成代码能立刻暴露它的边界问题def lcm_by_scan(m: int, n: int) - int: 按附录 C 图 C-10/11/12 的逻辑直译从较大者开始逐个数试 z m * n # 查找上界两数乘积 i max(m, n) - 1 # 先退一格进循环第一件事是 1 while True: i 1 if i % m 0 and i % n 0 and i z: return i # 命中输出 i if i z: return z # 兜底两数互质时最小公倍数就是乘积 print(lcm_by_scan(4, 6)) # 12 print(lcm_by_scan(7, 9)) # 63互质走兜底分支逻辑说明z m * n是数学上的上界互质时最小公倍数刚好等于乘积i从较大者起步是为了跳过所有小于较大者的候选循环体先加一再判断对应 N-S 图里的“直到型”循环。参数说明m、n必须为正整数传 0 会因为取模除零直接抛异常i z这个条件很关键它把“输出 i”限制在区间内部。这里就是答案需要复核的地方。如果严格按图直译成不带兜底的while not (i % m 0 and i % n 0 and i z): i 1当两个数互质时i会一路加过z条件里的i z永远不成立循环停不下来。所以三张图本身没错错在把“边界情况”交给了退出条件去兜。我自己的习惯是先把循环写成while True加显式break把每个出口都写出来再回头化简——多写两行比调试死循环快。4.3 等价类划分表学号那 14 个等价类怎么落成可执行用例第 11 章这道题把学号拆成三段前 4 位是入学年份取值 1900 到 2999中间 4 位是专业编码取值 0000 到 1999后 2 位是序号取值 00 到 99。加上“必须全是数字字符”和“总长度必须 10 位”一共划出 14 个等价类有效 5 个、无效 9 个。输入条件有效等价类编号无效等价类编号字符类型数字字符1非数字字符6总长度10 个字符2多于 10 位7总长度——少于 10 位8入学年份1900~29993小于 19009入学年份——大于 299910专业编码0000~19994小于 000011专业编码——大于 199912序号00~995小于 0013序号——大于 9914答案给了有效等价类的用例表2000 0001 20拼成2000000120覆盖 1、2、3、4、51999 0003 15拼成1999000315同样全覆盖。两条用例就把五个有效类覆盖完了这是有效类的特点——可以合并覆盖。无效类不能这么干。设计无效用例时一条用例只能违反一个条件否则测试失败时你分不清是哪个条件没被拦住。答案里无效用例表没有展开这部分得自己补用脚本生成更快def build(year: str, major: str, seq: str) - str: 学号 入学年份(4) 专业编码(4) 序号(2)总长必须 10 位 return year major seq # 每条无效用例只违反一个等价类其余字段全部取合法值 INVALID_CASES [ (2000, 0001, 2A, 6), # 非数字字符 (2000, 0001, 201, 7), # 长度 11 位 (2000, 0001, 2, 8), # 长度 9 位 (1899, 0001, 20, 9), # 入学年份小于 1900 (3000, 0001, 20, 10), # 入学年份大于 2999 (2000, 2000, 20, 12), # 专业编码大于 1999 (2000, 0001, 00, 5), # 对照这条是有效用例 ] for y, m, s, expect in INVALID_CASES: print(build(y, m, s), -, expect)逻辑说明build只做拼接不做校验校验规则单独放在用例表里这样一条用例读起来就是“输入是什么、预期违反哪个类”。参数说明每个元组的第四项就是期望命中的等价类编号最后一条特意放了有效类 5用来确认生成器本身没写错。真正跑起来时还要注意“专业编码小于 0000”和“序号小于 00”这两个类在字符串表示下无法构造——你不能输入-001还能保持 10 位总长。这类等价类属于形式上的边界实际测试里通常用注释说明“该条件在输入域上不可达”而不是硬造一条数据。答案里没有提这一点自己补上才算完整。4.4 代码题的复核冒泡片段与辗转相除的两个边界第 10 章给了两段代码。第一段是排序for(i 1; i n; i) for(j n-1; j i; j--) { if(a[j] a[i]) { temp a[i]; a[i] a[j]; a[j] temp; } }这段代码能排出升序但它不是冒泡排序。标准冒泡的内层比较的是相邻两个元素a[j]和a[j-1]每次交换只把逆序对消掉一层这段代码内层拿a[j]和固定的a[i]比效果是每一轮把第 i 小的元素换到a[i]位置上本质更接近选择排序而且交换次数远多于选择排序因为每发现一个比a[i]小的就立刻交换一次。另外temp没有类型声明直接拷进编译器会报错。改成标准冒泡是这样的for (i 0; i n - 1; i) for (j 0; j n - 1 - i; j) if (a[j] a[j 1]) { /* 相邻比较大的往后沉 */ int temp a[j]; a[j] a[j 1]; a[j 1] temp; }参数说明外层i控制已排好的尾部长度内层上界n - 1 - i逐轮收缩避免重复比较比较用才是升序答案片段里用配合“从后往前找小的”也能排出来但读起来绕。第二段是 C# 的递归最大公约数用辗转相除calculate负责保证第一个参数不小于第二个calculate1负责递归。逻辑本身正确比如calculate(12, 18)会先交换成calculate1(18, 12)再递归到calculate1(12, 6)返回 6。但它有一个没写出来的前提y不能为 0。传calculate(5, 0)会先走交换然后5 % 0直接抛除零异常。另外这段代码只给了类定义没有入口方法拷出来跑不起来。这两个点都属于“答案对但不可直接运行”的典型看到递归代码先想两个问题递归出口在哪出口参数取极值时会不会崩。5. 避坑五条对答案时最容易翻车的地方5.1 图和数据字典不同步字典写全了图还是错现象数据字典里每一条流都定义得挺完整图交上去还是被指出“数据流不平衡”。原因字典和图是分别写的字典覆盖了图上没有的流图上有字典没定义的流。两侧各写各的谁也约束不了谁。解决以图为纲做一次勾兑。把图上所有流的名字按出现顺序抄成一列逐条去字典里找找不到就补字典再反过来把字典里每一条流去图上找位置找不到就删条目或者补流。这份资源的第 4 章四份字典条目数不少一定要勾兑一遍别指望肉眼扫过去能对上。5.2 把 N-S 图画成了带箭头的流程图现象N-S 图交上去老师说“这不是盒图”。原因N-S 图的核心特征是“用嵌套表达控制流没有箭头”顺序是上下堆叠选择是左右分支嵌在同一个矩形里循环是把循环体整个框进循环框。习惯画流程图的人手会自动去补箭头。解决先写伪代码再转图。伪代码里只允许三种结构——顺序语句、if-else、while。写完对着伪代码一层层套框套完检查一遍图上有没有出现任何箭头有就擦掉。第 5 章最小公倍数那道题伪代码写出来就是“取上界、取下界、循环判断、输出”三张图共用这一份伪代码。5.3 一条无效用例同时违反了两个条件现象学号用例设计完执行失败时分不清是长度问题还是字符合法性问题。原因把有效类的合并覆盖习惯带到了无效类上。有效类可以一条用例覆盖多个无效类必须一条只打一个。解决设计无效用例时把除被测条件之外的所有字段都填成合法值这条铁律写进用例表的注释里。第 11 章那 9 个无效等价类理想情况下应该对应 9 条用例其中 2 条因为输入域不可达而用说明代替。5.4 跨章套用约束把 8 位学号写成了 10 位现象照着第 11 章设计的校验规则去检查第 4 章的图书管理系统数据字典全报错。原因第 4 章字典里学号是8{数字}8第 11 章等价类题里学号是 10 位、还拆成三段。两套设定来自两道独立的题题干各管各的。解决给每道题单独建一张“题干约束表”字段名加题号做主键比如4-学号、11-学号。跨题引用前先看一眼来源别拿 A 题的长度去卡 B 题的数据。这类错误在小抄式的笔记里特别常见抄的时候图省事合并了用的时候就翻车。5.5 图形题只画主干漏了外部实体的返回流现象顶层图上只有“读者→系统”的借书证没有“系统→读者”的拒借信息。原因思维停在“用户提交请求”这一侧忘了系统要给出响应。数据流图考的是双向不是单向调用。解决画完之后对每个外部实体数一遍进出流。读者进来一条借书证出去应该有借书结果或拒借信息工作人员进来查询请求出去应该有读者情况、借阅情况、库存情况和统计表。数完发现某个实体只有进没有出基本可以确定漏了。第 4 章还书 0 层图里“罚款信息”这条流就是典型的返回流很多人会把它画成加工之间的内部流其实是流向读者的。6. 把答案变成自查工具反向出题和两张校验表答案看第二遍的时候我一般不再顺着读而是反着来——从答案倒推题干必须满足什么条件。比如看到 0 层图里有三个加工倒推题干必须给出三类业务动作且这三类动作的数据存储有重叠但不完全相同看到数据字典里借书次数: 0..*倒推题干必须允许一个读者多次借书否则这个字段就是多余的。凡是倒推不出来的条目要么答案写多了要么你漏读了题干。这个方法专治“看着都对但自己画不出来”。6.1 反向出题从答案倒推题干约束拿第 4 章借书那一段做示范。答案里出现“若超过 10 本拒借”倒推题干必须明确了一个借阅上限常量和一条拒借分支答案里出现“若第一次借书则在借书文件中建立档案”倒推题干必须区分了首次与多次借书两种读者。倒推完你会发现这道题的判断节点其实只有三个证是否有效、次数是否为 0、数量是否超过 10。把这三个节点写进自查表下次遇到同类题先找判断节点再画图速度会快很多。同样第 9 章类图那道题答案里出现了泛化关系作业题板与练习题板泛化到题板抽象类、聚合关系习题与题板之间多对多并描述为聚合、以及多处一对多关联。倒推题干必然给足了这些关系描述。倒推不出来就说明这段关系是你自己加的图一定会被判错。6.2 两张校验表交卷前各走一遍第一张是图元表只回答四个问题外部实体齐不齐、数据存储有没有在顶层图里出现、每条流有没有名字和方向、父图和子图的边界流是否一致。第二张是约束表把所有数字类约束列成一行借阅上限 10、姓名 2~4 字、学号位数分题号、图书编号 6 位、罚金 1~2 位、入学年份 1900~2999、专业编码 0000~1999、序号 00~99。每写完一个字段就去表里对一次位数比事后整篇复查省力。这两张表不用写在答题纸上但它们能把“我明明检查过了”这种自我感觉变成可执行的核对动作。从那以后我每次拿到一份书籍答案类的 PDF都不会再从第一页开始翻而是先做题型地图、再挑图形题做正向复现、最后用反向出题逼自己找出题干约束——这套动作走完答案才真正变成自己的。如果你手上正卡在借书 0 层图或者那张学号等价类表上把附录 C 对应章节翻出来按第 3 章和第 4 章的步骤重画一遍比重新啃一遍教材快得多。希望帮到你。本文还有配套的精品资源点击获取
简介《软件工程理论与实践第2版》配套习题答案PDF面向使用吕云翔教材的高校学生、考研复习者及软件工程课程备考人员用于核对课后练习、梳理章节重点与查漏补缺。压缩包内仅含1个PDF文件大小约1.49MB内容以附录C部分习题参考答案为主覆盖选择题、判断题和应用题等题型并涉及需求分析、数据流图、数据字典、状态转换图、E-R图、结构图、Jackson图、程序流程图与N-S图等核心知识点。已有6000余人学习下载适合课后自测、期末复习和教师备课参考。答案按章节组织应用题给出建模过程与图示说明可帮助读者对照教材理解软件工程方法掌握从需求分析到设计建模的解题思路提升习题训练与知识复盘效率。1. 画完那张借书 0 层图我盯着屏幕改了四遍借书证有效性、借书次数、超过 10 本就拒借——逻辑都写在题干里可一落到数据流图上就犯难查询加工到底该连借书文件还是库存目录文件工作人员这个外部实体在 0 层图里还要不要再出现一次。这类卡壳不是不会而是没有对照物。这份《软件工程——理论与实践第 2 版》附录 C 的书籍答案 PDF正好把第 1 章到第 11 章的选择题、判断题、应用题参考答案集中放在一处从图书管理系统的顶层图、0 层图与四份数据字典到最小公倍数的流程图、N-S 图、PAD 图再到公务员招聘顺序图、领书用例图、馆藏出版物对象模型以及第 11 章那张 14 个等价类的划分表。它适合正在做课程设计、备考或者自学图形建模的人——你可以不用它抄答案但你很难在没有对照物的情况下判断自己画的图到底漏了哪条流。下面按“这资源怎么拆、图怎么复现、哪里会翻车”的顺序往下走。2. 答案 PDF 的章节地图11 章拆成三类题型再动笔2.1 为什么先做题型地图而不是从第 1 页翻起这份资源的排版是线性的第 1 章、第 2 章选择题判断题第 3 章继续第 4 章开始出现应用题一直到第 11 章的测试用例表。但你的问题从来不是线性出现的——你今天卡的是数据流图明天卡的是等价类划分如果按页翻翻到第 7 章和第 9 章时第 4 章那张图早就忘了。我一般会先把整份答案按“产出物”重新切一遍切完再决定花多少时间。切法是看每章末尾有没有“4应用题”这个小节有就是图形题或表格题没有就是纯客观题。这份资源里带应用题的章节集中在第 4 到第 7 章、第 9 到第 11 章客观题集中在第 1、2、3、8 章。章节题型构成交付物判分关注点第 1、2、3、8 章选择题 判断题错题归因记录概念边界、否定词第 4 章选择题 判断题 应用题顶层图、3 张 0 层图、4 份数据字典、状态转换图、E-R 图实体是否齐全、数据流是否平衡、字典是否覆盖第 5 章选择题 判断题 应用题结构图、Jackson 图、流程图 / N-S 图 / PAD 图层次分解、三种控制结构符号第 6 章选择题 判断题 应用题顺序图、用例图、活动图、状态图生命线、include 关系、状态迁移条件第 7 章选择题 判断题 应用题动态模型、对象模型、功能模型状态与事件的对应、类与关联的多重性第 9 章选择题 判断题 应用题类图含泛化、聚合、多重性泛化方向、聚合与组合的区分第 10 章选择题 判断题 应用题两段代码排序片段、递归求最大公约数边界输入、语言细节第 11 章选择题 判断题 应用题等价类划分表、有效 / 无效用例表无效用例是否一次只覆盖一个类这张表本身就是路线图时间紧就先把第 4、5、11 章吃透这三章的图和分析方法会反复出现在课程设计和考试里时间宽再补第 6、7、9 章的行为建模。2.2 选择题和判断题答案只给字母剩下的要自己补答案里第 1 章选择题是(1) B (2) D (3) C (4) A判断题是(1) × (2) × (3) √ (4) ×。就这些没有一句解析。这意味着这份资源的价值不在“对答案”而在“定位错在哪”。我习惯用一张三列记录表来消化它比直接看答案有用得多题号我的答案错因归类1-1C符号不认识把数据字典的{ }当成集合1-2√漏读否定词题干问的是“不属于”4-5A概念混淆把变换型结构图当成事务型错因归类只有四种就够用了概念混淆、符号不认识、漏读否定词、凭印象。前三类是可以靠回教材定位补掉的第四类只能靠重做。判断一下这份资源的答案分布也有意思——第 1 章四道判断题三个是 ×第 4 章十一道判断题里 × 占六个。这不构成规律别拿它去蒙题但它提示你判断题的命题重心往往在“容易想当然认为对”的地方复习时把每个 √ 都反着推一遍比把 × 背下来更有用。2.3 应用题的三件套图、字典、表图形题看起来是画图实际交付物有三样一张结构正确的图、一份覆盖所有图元的数据字典、一张把约束写死的表。第 4 章那套图书管理系统就是标准范例——顶层图定边界三张 0 层图分别展开查询、借书、还书然后四份数据字典顶层、借书、还书、查询逐级定义字段。三样东西里最容易偷懒的是数据字典。很多人图画完了字典就随便抄两条流交差结果图里出现了一个“读者记录”存储字典里根本没定义。反过来做更省事先把字典写出来再照着字典里的每个条目往上找它落在哪条流、哪个存储上图会被逼着补齐。写字典的顺序建议是这样先列三个清单把题干里的名词分成外部实体、加工、数据存储分不清的先扔“待定”再对着清单画顶层图只留一个系统加工和外部实体然后按业务动作拆 0 层图最后逐条回填字典。这个顺序别颠倒先画后凑的图八成都过不了平衡检查。2.4 把对照表落成文件的具体步骤不要在心里对答案。开一个文件按下面四步走一小时后你手上会有一份可复用的自查清单第一步按 2.1 的表把 11 章建成 11 个二级标题每个标题下留三个格子图、字典、表。第二步每做完一道应用题把答案里的图用文字描述一遍抄进去比如“借书 0 层图读者→借书台借书证借书台→借书文件借书次数查询借书台→库存目录检查读者目录”。文字描述比截图有用因为描述强迫你复述每条流的方向。第三步把答案里出现的所有约束抄成一行借书上限 10、姓名 2~4 个汉字、图书编号 6 位数字、所借日期 8 位数字、罚金数额 1~2 位数字。这一行后面会直接变成校验脚本的参数。第四步做完一轮用红笔在格子里标“缺”只标缺的不标对的。第二轮只补红格子。提示第 10 章和第 11 章的答案里有可直接运行的代码和可执行的约束这两章别当成阅读材料打开编辑器跑一遍比看十遍图管用。3. 数据流图复现从顶层图推到 0 层图再补一份能跑的字典3.1 顶层图只干一件事把系统边界划出来图书管理系统这道题的顶层图外部实体只有两类读者和工作人员。答案里对读者做了一个区分——第一次借书的读者需要在借书文件上建立档案才能借书多次借书的读者已经有档案直接走借书次数判断。这个区分在顶层图上体现不出来但它是 0 层图里第一个判断分支的来源。顶层图有三条硬规则违反了直接扣分第一只有一个加工方框里写系统名不写子系统名。如果你在顶层图上画了“查询”“借书”“还书”三个方框那就已经是 0 层图了。第二不画数据存储。顶层图是给外部看的外部实体不关心你内部有几个文件。库存目录文件、借书文件、读者目录这些统统不出现在顶层图。第三每条数据流必须有名字且必须能读出方向。读者→系统是“借书证”系统→读者是“拒借信息”或“罚款信息”方向反了或者流无名等于没画。常见翻车点是把工作人员当成系统内部角色。这道题里工作人员是外部实体负责修改借书文件、库存目录文件也负责查阅读者情况和借阅情况——他做的是操作不是系统功能所以必须在边界外。3.2 0 层图拆分查询、借书、还书三条加工链答案把系统分解成三个加工查询、借书、还书。这三条链的输入输出和涉及存储整理出来是这样加工输入流输出流涉及数据存储查询工作人员请求读者情况、图书借阅情况、库存情况、统计表借书文件、库存目录文件借书借书证借书结果 / 拒借信息借书文件、读者目录还书读者记录查询请求罚款信息、更新后的库存借书文件、库存目录文件借书这条链是重点因为它有三个判断节点借书证是否有效、借书次数是否为 0、已借数量是否超过 10 本。第一次借书走“在借书文件中建立档案”多次借书走“检查是否超过 10 本”超过就拒借并把信息反馈给读者。注意“检查读者目录”这个动作在两条分支最后都出现说明它是一条汇合后的公共流画图时要让它从借书加工流出而不是分成两条。还书链的关键是“读取读者记录→查所借日期→判断是否超期→收取罚款→修改库存目录与借书文件”。罚款信息作为输出流反馈给读者同时库存目录和借书文件两个存储都要被写。这里必须做一次平衡检查顶层图上系统对外的每一条输入输出流在 0 层图上都要能找到对端。顶层有“拒借信息”流出到读者0 层图上借书加工就必须有对应输出。顶层有“罚款信息”还书加工就必须有。平衡检查我一般用最笨的办法——把顶层图的流名抄成一列一条条在 0 层图上打勾勾不上的就是漏了。3.3 数据字典的符号语义和四条书写规则答案里的字典条目长这样姓名: 2{汉字}4、学号: 8{数字}8、借书次数: 0..*、读者 {姓名学号班号}。这几个符号必须认识否则抄都抄不对。符号语义本书里的例子定义为读者 {姓名学号班号}顺序连接借书证 {姓名学号}{ }重复前面可带次数姓名: 2{汉字}4表示 2 到 4 个汉字..取值区间或重复次数区间借书次数: 0..*表示 0 到多次( )可选题干中未强制要求的字段四条书写规则按顺序用规则一每个图元都要有定义。图上出现的每一条数据流、每一个数据存储、每一个数据项字典里都得有对应条目。图上有“读者记录”而字典里没有就是硬伤。规则二自顶向下。先定义顶层的读者、工作人员、借书证再在 0 层图里定义读者信息、借书情况、读者目录、库存目录最后才落到姓名、学号、班号这种原子项。答案的四份字典正是这个顺序。规则三避免同名异义。这份资源里“读者”出现在顶层字典和还书字典中含义都是{姓名学号班号}一致但“读者情况”在顶层定义成{姓名学号}比“读者”少了班号这种细微差别要留意别合并。规则四数据流必须有来源。一条流要么来自外部实体要么来自加工要么来自数据存储。凭空出现的数据流是 DFD 里最常见的错误来源。3.4 用脚本把字典里的约束跑成校验字典写完只是纸面自洽真正的检验是拿它去校验一条真实记录。把 3.3 里的字段约束抽成规则表写个小校验器几十行就够import re # 约束来自附录 C 的数据字典条目逐条对应学号8位、班号4位、工作人员代号4位 # 图书编号6位、所借日期8位、罚金数额1~2位、姓名2~4个汉字 FIELD_RULES { 姓名: (r^[\u4e00-\u9fa5]{2,4}$, 2~4 个汉字), 学号: (r^\d{8}$, 8 位数字), 班号: (r^\d{4}$, 4 位数字), 工作人员代号: (r^\d{4}$, 4 位数字), 图书编号: (r^\d{6}$, 6 位数字), 所借日期: (r^\d{8}$, 8 位数字), 罚金数额: (r^\d{1,2}$, 1~2 位数字), } def check(record: dict) - list: 返回不合法字段列表空列表表示全部通过 bad [] for key, value in record.items(): rule FIELD_RULES.get(key) if rule is None: bad.append((key, value, 字典中未定义的字段)) continue pattern, desc rule if not re.match(pattern, str(value)): bad.append((key, value, desc)) return bad # 一条合法的借书记录 ok {姓名: 张三, 学号: 20200101, 班号: 1001, 图书编号: 000123, 所借日期: 20240520} print(check(ok)) # [] # 三条典型错误学号多一位、姓名带数字、字段没定义 print(check({姓名: 李四1, 学号: 202001011, 班号: 1001}))这段代码的逻辑很直白把字典条目翻译成正则键名当字段名正则当值域约束最后对一条记录做逐字段匹配。参数上唯一需要解释的是姓名的正则——[\u4e00-\u9fa5]是常用汉字区间{2,4}对应字典里2{汉字}4的写法注意2{汉字}4不是“2 个汉字再跟 4 个汉字”而是“重复次数下限 2、上限 4”这是初学者最容易读反的一条。运行结果会告诉你三件事check(ok)返回空列表说明字典约束对你手上的样例数据是自洽的带数字的姓名会命中姓名规则多一位的学号会命中 8 位规则。如果某条记录报了“字典中未定义的字段”那不是数据错是你的字典漏了字段——这恰好是最有价值的反馈比人工逐条核对快得多。注意这份资源里第 4 章图书管理系统的学号是 8 位第 11 章等价类划分题里的学号是 10 位。两套设定来自两道不同的题不要互相套用这个坑后面还会单独讲。4. 四种图形与一组用例表结构图、Jackson、N-S/PAD 与等价类划分4.1 结构图与 Jackson 图从“查看书籍”和二维表格看模块分解第 5 章应用题的“查看书籍”结构图是一道典型的变换型分解题。结构图上有四种东西要画对模块方框、调用箭头、带空心圆的短箭头数据耦合表示模块间传数据、带实心圆的短箭头控制耦合表示传标志位。“查看书籍”这条链的分解逻辑是输入、处理、输出三段接收查询条件、按条件检索、组织并输出结果三段下面各挂具体模块。画结构图的顺序是自顶向下先定主控模块再按“输入—处理—输出”三分最后才往每个分支下挂叶子。很多人上手就从叶子画起画完发现主控模块不知道该调谁。Jackson 图是另一套语言它描述的是数据结构而不是模块结构只有三种构件顺序、选择、迭代。顺序是竖着串下来的几个方框选择在方框右上角标一个小圆圈迭代标一个星号。第 5 章那道二维表格题本质是把“表格 表头 若干行”和“行 若干单元格”这两个层次翻译成 Jackson 的迭代结构行是迭代列在行内是顺序。这两种图的区别值得说清楚结构图回答“程序由哪些模块组成、谁调谁”Jackson 图回答“数据长什么样、程序结构怎么跟着数据走”。考试里混用这两种图是最典型的失分点。图种描述对象核心构件常见误用结构图模块与调用关系模块、调用、数据耦合、控制耦合把耦合箭头画成调用箭头Jackson 图数据结构顺序、选择、迭代用流程图符号画 JacksonN-S 图控制流程无箭头顺序、选择、循环嵌套表示画成了带箭头的流程图PAD 图控制流程二维展开顺序、选择、While、Until循环条件写在右侧而非左侧4.2 程序流程图、N-S 图、PAD 图三图同源最小公倍数的逐行对照第 5 章那道最小公倍数题的题干逻辑是先比较两个正整数取较大者为查找下界两者乘积为上界然后在区间内逐个判断能否同时被两数整除。三张图画法不同但控制结构完全相同。程序流程图用菱形判断框和箭头N-S 图用嵌套的矩形块循环用包含内层的框没有箭头PAD 图把顺序、选择、循环展开在二维平面上循环条件写在左侧竖线旁。把这张图直译成代码能立刻暴露它的边界问题def lcm_by_scan(m: int, n: int) - int: 按附录 C 图 C-10/11/12 的逻辑直译从较大者开始逐个数试 z m * n # 查找上界两数乘积 i max(m, n) - 1 # 先退一格进循环第一件事是 1 while True: i 1 if i % m 0 and i % n 0 and i z: return i # 命中输出 i if i z: return z # 兜底两数互质时最小公倍数就是乘积 print(lcm_by_scan(4, 6)) # 12 print(lcm_by_scan(7, 9)) # 63互质走兜底分支逻辑说明z m * n是数学上的上界互质时最小公倍数刚好等于乘积i从较大者起步是为了跳过所有小于较大者的候选循环体先加一再判断对应 N-S 图里的“直到型”循环。参数说明m、n必须为正整数传 0 会因为取模除零直接抛异常i z这个条件很关键它把“输出 i”限制在区间内部。这里就是答案需要复核的地方。如果严格按图直译成不带兜底的while not (i % m 0 and i % n 0 and i z): i 1当两个数互质时i会一路加过z条件里的i z永远不成立循环停不下来。所以三张图本身没错错在把“边界情况”交给了退出条件去兜。我自己的习惯是先把循环写成while True加显式break把每个出口都写出来再回头化简——多写两行比调试死循环快。4.3 等价类划分表学号那 14 个等价类怎么落成可执行用例第 11 章这道题把学号拆成三段前 4 位是入学年份取值 1900 到 2999中间 4 位是专业编码取值 0000 到 1999后 2 位是序号取值 00 到 99。加上“必须全是数字字符”和“总长度必须 10 位”一共划出 14 个等价类有效 5 个、无效 9 个。输入条件有效等价类编号无效等价类编号字符类型数字字符1非数字字符6总长度10 个字符2多于 10 位7总长度——少于 10 位8入学年份1900~29993小于 19009入学年份——大于 299910专业编码0000~19994小于 000011专业编码——大于 199912序号00~995小于 0013序号——大于 9914答案给了有效等价类的用例表2000 0001 20拼成2000000120覆盖 1、2、3、4、51999 0003 15拼成1999000315同样全覆盖。两条用例就把五个有效类覆盖完了这是有效类的特点——可以合并覆盖。无效类不能这么干。设计无效用例时一条用例只能违反一个条件否则测试失败时你分不清是哪个条件没被拦住。答案里无效用例表没有展开这部分得自己补用脚本生成更快def build(year: str, major: str, seq: str) - str: 学号 入学年份(4) 专业编码(4) 序号(2)总长必须 10 位 return year major seq # 每条无效用例只违反一个等价类其余字段全部取合法值 INVALID_CASES [ (2000, 0001, 2A, 6), # 非数字字符 (2000, 0001, 201, 7), # 长度 11 位 (2000, 0001, 2, 8), # 长度 9 位 (1899, 0001, 20, 9), # 入学年份小于 1900 (3000, 0001, 20, 10), # 入学年份大于 2999 (2000, 2000, 20, 12), # 专业编码大于 1999 (2000, 0001, 00, 5), # 对照这条是有效用例 ] for y, m, s, expect in INVALID_CASES: print(build(y, m, s), -, expect)逻辑说明build只做拼接不做校验校验规则单独放在用例表里这样一条用例读起来就是“输入是什么、预期违反哪个类”。参数说明每个元组的第四项就是期望命中的等价类编号最后一条特意放了有效类 5用来确认生成器本身没写错。真正跑起来时还要注意“专业编码小于 0000”和“序号小于 00”这两个类在字符串表示下无法构造——你不能输入-001还能保持 10 位总长。这类等价类属于形式上的边界实际测试里通常用注释说明“该条件在输入域上不可达”而不是硬造一条数据。答案里没有提这一点自己补上才算完整。4.4 代码题的复核冒泡片段与辗转相除的两个边界第 10 章给了两段代码。第一段是排序for(i 1; i n; i) for(j n-1; j i; j--) { if(a[j] a[i]) { temp a[i]; a[i] a[j]; a[j] temp; } }这段代码能排出升序但它不是冒泡排序。标准冒泡的内层比较的是相邻两个元素a[j]和a[j-1]每次交换只把逆序对消掉一层这段代码内层拿a[j]和固定的a[i]比效果是每一轮把第 i 小的元素换到a[i]位置上本质更接近选择排序而且交换次数远多于选择排序因为每发现一个比a[i]小的就立刻交换一次。另外temp没有类型声明直接拷进编译器会报错。改成标准冒泡是这样的for (i 0; i n - 1; i) for (j 0; j n - 1 - i; j) if (a[j] a[j 1]) { /* 相邻比较大的往后沉 */ int temp a[j]; a[j] a[j 1]; a[j 1] temp; }参数说明外层i控制已排好的尾部长度内层上界n - 1 - i逐轮收缩避免重复比较比较用才是升序答案片段里用配合“从后往前找小的”也能排出来但读起来绕。第二段是 C# 的递归最大公约数用辗转相除calculate负责保证第一个参数不小于第二个calculate1负责递归。逻辑本身正确比如calculate(12, 18)会先交换成calculate1(18, 12)再递归到calculate1(12, 6)返回 6。但它有一个没写出来的前提y不能为 0。传calculate(5, 0)会先走交换然后5 % 0直接抛除零异常。另外这段代码只给了类定义没有入口方法拷出来跑不起来。这两个点都属于“答案对但不可直接运行”的典型看到递归代码先想两个问题递归出口在哪出口参数取极值时会不会崩。5. 避坑五条对答案时最容易翻车的地方5.1 图和数据字典不同步字典写全了图还是错现象数据字典里每一条流都定义得挺完整图交上去还是被指出“数据流不平衡”。原因字典和图是分别写的字典覆盖了图上没有的流图上有字典没定义的流。两侧各写各的谁也约束不了谁。解决以图为纲做一次勾兑。把图上所有流的名字按出现顺序抄成一列逐条去字典里找找不到就补字典再反过来把字典里每一条流去图上找位置找不到就删条目或者补流。这份资源的第 4 章四份字典条目数不少一定要勾兑一遍别指望肉眼扫过去能对上。5.2 把 N-S 图画成了带箭头的流程图现象N-S 图交上去老师说“这不是盒图”。原因N-S 图的核心特征是“用嵌套表达控制流没有箭头”顺序是上下堆叠选择是左右分支嵌在同一个矩形里循环是把循环体整个框进循环框。习惯画流程图的人手会自动去补箭头。解决先写伪代码再转图。伪代码里只允许三种结构——顺序语句、if-else、while。写完对着伪代码一层层套框套完检查一遍图上有没有出现任何箭头有就擦掉。第 5 章最小公倍数那道题伪代码写出来就是“取上界、取下界、循环判断、输出”三张图共用这一份伪代码。5.3 一条无效用例同时违反了两个条件现象学号用例设计完执行失败时分不清是长度问题还是字符合法性问题。原因把有效类的合并覆盖习惯带到了无效类上。有效类可以一条用例覆盖多个无效类必须一条只打一个。解决设计无效用例时把除被测条件之外的所有字段都填成合法值这条铁律写进用例表的注释里。第 11 章那 9 个无效等价类理想情况下应该对应 9 条用例其中 2 条因为输入域不可达而用说明代替。5.4 跨章套用约束把 8 位学号写成了 10 位现象照着第 11 章设计的校验规则去检查第 4 章的图书管理系统数据字典全报错。原因第 4 章字典里学号是8{数字}8第 11 章等价类题里学号是 10 位、还拆成三段。两套设定来自两道独立的题题干各管各的。解决给每道题单独建一张“题干约束表”字段名加题号做主键比如4-学号、11-学号。跨题引用前先看一眼来源别拿 A 题的长度去卡 B 题的数据。这类错误在小抄式的笔记里特别常见抄的时候图省事合并了用的时候就翻车。5.5 图形题只画主干漏了外部实体的返回流现象顶层图上只有“读者→系统”的借书证没有“系统→读者”的拒借信息。原因思维停在“用户提交请求”这一侧忘了系统要给出响应。数据流图考的是双向不是单向调用。解决画完之后对每个外部实体数一遍进出流。读者进来一条借书证出去应该有借书结果或拒借信息工作人员进来查询请求出去应该有读者情况、借阅情况、库存情况和统计表。数完发现某个实体只有进没有出基本可以确定漏了。第 4 章还书 0 层图里“罚款信息”这条流就是典型的返回流很多人会把它画成加工之间的内部流其实是流向读者的。6. 把答案变成自查工具反向出题和两张校验表答案看第二遍的时候我一般不再顺着读而是反着来——从答案倒推题干必须满足什么条件。比如看到 0 层图里有三个加工倒推题干必须给出三类业务动作且这三类动作的数据存储有重叠但不完全相同看到数据字典里借书次数: 0..*倒推题干必须允许一个读者多次借书否则这个字段就是多余的。凡是倒推不出来的条目要么答案写多了要么你漏读了题干。这个方法专治“看着都对但自己画不出来”。6.1 反向出题从答案倒推题干约束拿第 4 章借书那一段做示范。答案里出现“若超过 10 本拒借”倒推题干必须明确了一个借阅上限常量和一条拒借分支答案里出现“若第一次借书则在借书文件中建立档案”倒推题干必须区分了首次与多次借书两种读者。倒推完你会发现这道题的判断节点其实只有三个证是否有效、次数是否为 0、数量是否超过 10。把这三个节点写进自查表下次遇到同类题先找判断节点再画图速度会快很多。同样第 9 章类图那道题答案里出现了泛化关系作业题板与练习题板泛化到题板抽象类、聚合关系习题与题板之间多对多并描述为聚合、以及多处一对多关联。倒推题干必然给足了这些关系描述。倒推不出来就说明这段关系是你自己加的图一定会被判错。6.2 两张校验表交卷前各走一遍第一张是图元表只回答四个问题外部实体齐不齐、数据存储有没有在顶层图里出现、每条流有没有名字和方向、父图和子图的边界流是否一致。第二张是约束表把所有数字类约束列成一行借阅上限 10、姓名 2~4 字、学号位数分题号、图书编号 6 位、罚金 1~2 位、入学年份 1900~2999、专业编码 0000~1999、序号 00~99。每写完一个字段就去表里对一次位数比事后整篇复查省力。这两张表不用写在答题纸上但它们能把“我明明检查过了”这种自我感觉变成可执行的核对动作。从那以后我每次拿到一份书籍答案类的 PDF都不会再从第一页开始翻而是先做题型地图、再挑图形题做正向复现、最后用反向出题逼自己找出题干约束——这套动作走完答案才真正变成自己的。如果你手上正卡在借书 0 层图或者那张学号等价类表上把附录 C 对应章节翻出来按第 3 章和第 4 章的步骤重画一遍比重新啃一遍教材快得多。希望帮到你。本文还有配套的精品资源点击获取
