MathExam233 211614269 林凯 211601233张康凌 一.预估与实际 PSP2.1 Personal Software Process Stages 预估耗时(分钟) 实际耗时(分钟) Planning 计划 • Estimate • 估计这个任务需要多少时间 20 30 Development 开发 • Analysis • 需求分析 (包括学习新技术) 60 240 • Design Spec • 生成设计文档 20 40 • Design Review • 设计复审…

MathExamV2.0四则混合运算计算题生成器----211606360 丁培晖 211606343 杨宇潇 一.预估与实际 PSP2.1 Personal Software Process Stages 预估耗时(分钟) 实际耗时(分钟) Planning 计划 • Estimate • 估计这个任务需要多少时间 60 100 Development 开发 • Analysis • 需求分析 (包括学习新技术) 360 440 • Design Spec • 生成设计文档 20 20 • D…

嘛..不知不觉这门课程要结束了,那么就再说点啥以示庆祝呗. 测试vs正确性论证 说到这个,相比很多人对此其实很有疑惑,请让我慢慢分析. 逻辑概览 首先我们来看看两种方式各自的做法和流程是什么样的: 单元测试 在测试中,我们是这样的一个流程 此外,为了保证测试能覆盖到工程代码的每一个区域,需要保证测试的覆盖率. 正确性证明 在证明中,我们是这样的一个流程 在这一过程中 基于行为分析的repOk永真性证明依赖于JSF中的modifies项 方法正确性将基于JSF中所描述的effects和requir…

准备工作(10分) 1.在博客园申请个人博客. 2.加入班级博客(2班班级博客链接地址)(1班班级博客链接地址) 3.关注邹欣老师博客.关注任课老师博客. 4.加入讨论小组,学习过程中遇到问题不要随意在聊天群里提出,小组里提问的好处是所有人可见.永久可查.所以提问时请认真思考,具体提问技巧请参考提问的智慧.提问和回答问题的同学会给与一定程度的加分. 5.安装并使用git[可参考冉华同学的简易帮助)管理你的代码,希望整个大学四年你编写的所有代码都有记录可查,具体托管平台可github.码云.码市任…

不知不觉又做了三次作业,容我在本文胡言乱语几句2333. 第五次作业 第五次作业是前面的电梯作业的多线程版本,难度也有了一些提升.(点击就送指导书) 类图 程序的类图结构如下: UML时序图 程序的逻辑时序图结构如下: 代码分析报告 可以看出,这次的程序依然存在部分类或方法代码较为集中的情况,这样的情况在类Lift.LiftController,甚至笔者自己的第三方库DebugLogger中较为明显.甚至在Lift和LiftController类中可以发现其实业务逻辑已经非常的密集. 公测 我方…

211606320刘佳&211506332熊哲琛 一.预估与实际 PSP2.1 Personal Software Process Stages 预估耗时(分钟) 实际耗时(分钟) Planning 计划 300 180 • Estimate • 估计这个任务需要多少时间 300 180 Development 开发 120 90 • Analysis • 需求分析 (包括学习新技术) 120 70 • Design Spec • 生成设计文档 100 30 • Design Review •…

OO第一单元作业已全部完成,为了使这一单元的作业能够收获更多一点,我回忆起我曾经在计算机组成课设中,经常我们会写一些实验报告,经常以此对实验内容反思总结.在我们开始下一单元的作业之前,我在此对OO第一单元进行总体性的反思总结,请各位助教和同学们批评指正! 一.程序结构分析 1. 代码规模度量 第一次作业 类 类总代码规模 类属性个数 类方法个数 "MainClass" 8 0 1 "Polynomial" 150 10 4 "Term" 36 2…

转眼间第三次作业了,似乎需要说点啥,那就说点. 规格&工业 说到这个,不得不提一下软件开发的发展史. 历史的进程 早在上世纪50年代,就已经有早期的编程语言出现,也开始有一些程序编写者出现(多为资深电子工程师,和半路出家的数学家). 然而那个时代,软件开发基本局限于自己或自己部门内部的使用,需求并没有很多,也并不复杂(或者说人们并没有意识到有那么多事情可以通过软件解决).所以基本都是靠早期的程序猿们的自由开发,也并没有现代代码规范的概念. 然而等到了60到70年代,随着硬件技术和工业界思想的进步…

1.本章学习总结 1.1思维导图 1.2本章学习体会及代码量学习体会 1.2.1学习体会 经过一周C语言的正式课堂学习,不同于暑期时扒视频囫囵吞枣式学习,林丽老师的讲解详细异常,尽管已经学习了一部分内容,但还是发现自己对于细小知识点和一些基本概念掌握不是非常透彻,且存在遗忘.尤其在命名方面,规范对于变量和常量的书写,摒弃直接使用字母的恶习,规范格式,明白对于题目,应该先思考数据如何表达,再关注运算符,最后考虑是顺序还是分支或是循环.逐渐越来越觉得码代码是一件充满乐趣的事! 不懂的地方:对于浮点精…

最理想的师生关系是健身教练和学员的关系,在这种师生关系中你期望获得来自老师的哪些帮助? 最理想的的师生关系是健身教练和学员的关系,其实我个人感觉不太认同,我觉得老师和学生之间更多的是一种共生关系,像植物和土壤一样,学生总是在像老师索取,但每个人即是学生也是老师.没有老师也就没有学生,反过来也是一样,而且老师也没有义务和责任来无条件的帮助学生,老师负责把学生领进专业的门内,而方向始终把握在学生的手里.而且我认为老师和学生之间没有所谓的上下级关系,是平等的,只是老师更像是一个前辈,因为出生的早,所以…