2021年7月6日
摘要：
第五章设计规约 与第四章关注编程语言中的“数据类型”，“变量”，“值”，尤其是mutable和immutable的类型/值/引用不同本章节转向“方法/函数/操作”如何定义——编程中的“动词”、规约 规约 行为等价性：指的是在遵守规约的前提下，一种实现可以代替另一种实现，那么就符合行为等价。（单纯看实 阅读全文
posted @ 2021-07-06 22:21
pluschen2000
阅读(71)
评论(0)
推荐(0)
摘要：
第四章数据类型与类型检验 静态和动态检查 Java中的static checking 静态检查 （在编译阶段发现错误） 检查语法错误 类名/函数名错误 参数数目错误 参数类型错误 返回值类型错误 类型检查 Java中的Dynamic checking动态检查 非法的参数值 非法的返回值 越界 空指针 阅读全文
posted @ 2021-07-06 21:09
pluschen2000
阅读(56)
评论(0)
推荐(0)
摘要：
软件构造的过程与配置管理 本节课学习目标： 软件开发的基本过程 传统的软件开发过程模型 敏捷开发 软件配置管理 使用git作为配置管理工具 软件配置管理（SCM） Software Configuration Management(SCM) 追踪和控制软件变化 Software Configur 阅读全文
posted @ 2021-07-06 19:56
pluschen2000
阅读(71)
评论(0)
推荐(0)
摘要：
第二章软件测试与测试优先编程 软件测试的级别 单元测试： 指的是测试代码的特定节的作用，通常是方法级别的。它的优点在于针对软件最小单元模型开展测试，隔离各个模块，容易定位错误和调试。为了方便执行单元测试，java提供了开发包Junit 使用Junit很简单，如下代码所示： //常用的三个测试 阅读全文
posted @ 2021-07-06 16:59
pluschen2000
阅读(68)
评论(0)
推荐(0)
摘要：
第一章软件构造的多维度视图和质量目标 本节主要是对课件PPT的一个摘要 多层次视图 Build-time: 构造阶段 Code-level: functions, classes, methods, interfaces 代码的逻辑组织 Component-level: files, directo 阅读全文
posted @ 2021-07-06 15:56
pluschen2000
阅读(82)
评论(0)
推荐(0)
浙公网安备 33010602011771号