第十二讲-第三单元课程作业分析.pdfVIP

第三单元课程作业分析 吴际 内容提纲 • 关于交流 • 作业训练要点分析 • 本次作业 关于交流 • 计算机专业人士的交流模式 • 人与计算机的交流 • 编写程序 • 测试 • 人与人的交流 • 需求分析 • 设计讨论 • 测试问题确认 • … 作业训练要点分析 • 作业9训练要点分析 • 作业10训练要点分析 作业9训练要点 • 作业11训练要点分析 作业10训练要点 作业11训练要点 第9次作业 • 设计与实现一个多线程磁盘文件统计程序 • 功能要求： • 支持对目录文件(D)、可执行文件(E)、多媒体文件(M)、文本文件(T)进行统计 • 多媒体文件进一步可分为：音频文件(=5类)、视频文件(=5类) 、图片文件(=5类) • 文本文件进一步可分为：txt文件、rtf文件、MS office文件 • 可执行文件进一步可分为：exe文件、dll文件、bin文件、jar文件（针对windows平台） • 使用多个线程来同时扫描一个目录下的多个子目录 • 交互式输入输出：命令行输入待扫描目录”disk:\dir” ；处理结束后命令行提示； 用户可以选择按照文件名称/类型/规模排序来查看扫描结果，排序限定在同一 个目录层次内；用户可以查看每个目录层次的文件统计结果，包括总文件数、 不同类型的文件数、每种类型的最大文件规模，每种类型的最小文件规模和 每种类型的平均文件规模。 • 具体输出格式自己定义并说明 • 输出程序运行过程中所抛出和捕捉的异常信息 第9次作业 • 要求针对所设计类的所有方法给出相应的规格 • 注意补充有关多线程的规格 • 注意别漏掉主类main方法的规格 • 在方法规格中 • 要求识别和定义需要抛出的Exception • 要求方法使用者捕捉和处理方法抛出的Exception • 测试提示 • 按照main方法规格设计测试用例 • 尽可能让运行过程中出现异常 • 设计检查 • 设计原则检查：发现不满足设计原则，报一个incomplete bug，不重复报。 • 方法规格检查，发现代码实现不符合规格，报一个incomplete bug 作业9训练要点分析 • 熟悉过程规格的内涵和书写 • 初步实践基于规格的方法实现 • 熟悉异常及其处理的基本规则 • 实践基于异常处理的防御编程 • 初步实践基于过程规格的测试设计 7 作业9训练要点分析 • 熟悉过程规格的内涵和书写 • 过程规格是关于一个方法与其用户交互的契约 • 契约：权利+义务+注意事项 • 义务：用户要保证提供有效的输入以及有效的系统状态和对象状态 • 权利：用户能够获得满足确定条件的输出结果 • 注意事项：方法执行过程中可能会修改用户对象状态 • 过程规格是关于一个方法对实现者做出的规约要求 • 规约：前置条件+后置条件+副作用 • 前置条件：输入能够满足的条件（不只是数据类型） • 后置条件：执行必须产生的结果及其状态 • 副作用：执行过程最多能够修改哪些对象变量 • 过程规格也是对方法实现语义的严格阐述 8 作业9训练要点分析 • 熟悉过程规格的内涵和书写