- 博客(8)
- 收藏
- 关注
RSS订阅原创 ADT中的invariant
invariant，中文意思是不变性。是软件构造中ADT相关的一个概念。不变量的意思就是在程序的任何阶段都不会改变的一个抽象的性质举例说明，immutability就是程序中一个典型的不变量。（Immutability is one crucial invariant: once created, an immutable object should always represent the same value, for its entire lifetime）不变量是由ADT来维护的，所以不依赖于任何
2021-07-07 19:52:30
142
原创 designing Specification
设计规约Chapter 5:Designing Specification规约简要介绍“方法”是程序的积木，可以被独立开发、测试、复用。使用“方法”的客户端，无需了解内部的具体实现，这就是“抽象” 的思想。一个完整的方法应包含规约和实现两大部分，如下图示例：代码本身就蕴含着“设计决策”（如使用final关键字说明此变量不可变），但这远远不够。我们需要注释形式的“设计决策”（规约）以供自己和他人阅读。规约(spec)给程序员和用户双方都确定了责任，调用时双方都要遵守。规约的作用：隔离
2021-07-07 16:43:32
138
原创 数据类型和数据检验
数据类型与类型检验编程中的数据类型对象类型之间形成层次结构（继承关系）静态 / 动态类型检查静态类型语言：在编译阶段进行类型检查，如Java动态类型语言：在运行阶段进行类型检查，如Python静态>>动态>>无检查静态 / 动态检查静态检查主要检查语法错误、类名/函数名错误、参数数目及类型错误、返回值类型错误等。动态检查主要检查非法的参数值/返回值、越界及空指针等。静态检查：关于“类型”的检查，不考虑值动态检查：关于“值”的检查不可变性
2021-07-07 16:13:19
163
原创 软件构造lab3
2021年春季学期计算学部《软件构造》课程Lab 3实验报告 姓名 王尧 学号 1190201812 班号 1903012 目录1实验目标概述本次实验覆盖课程第2、3章的内容，目标是编写具有可复用性和可维护性的软件，主要使用以下软件构造技术：子类型、泛型、多...
2021-07-07 13:22:10
183
原创 软件构造过程和配置管理
软件构造过程和配置管理软件开发的生命周期从0到1 从无到有从1到n 从有到好传统软件开发的过程模型两个基本类型：线性过程(Linear)、迭代过程(Iterative)现有模型：瀑布过程(Waterfall)增量过程(Incremental)V字模型(V-Model)原型过程(Prototyping)螺旋模型(Spiral)选择合适的过程模型的依据：用户参与度（适应变化的能力）开发效率（管理复杂度）开发出的软件的质量瀑布过程特点：线性推进，整体推..
2021-07-07 13:15:58
118
原创 软件测试和测试优先的编程
软件测试和测试优先的编程软件测试：软件测试是提高软件质量的重要首都那。测试主要是为了破坏，证错。test是提高软件质量的重要手段。好的测试要有一定特点：能发现错误不冗余最佳特性，多种方案中最好的别太复杂也别太简单测试的阶段：单元测试：针对软件的最小单元模型开展测试，隔离各个模块，容易定位错误和调试(使用JUnit进行单元测试是课程实验的一部分) 集成测试 系统测试 验收测试一旦程序被修改，重新执行之前的所有测试（回归测试）。静态测试与动态测试静态测试：wi
2021-07-07 00:27:33
80
原创 软件构造的多维度视图和质量目标
软件构造的多维度视图和质量目标按阶段划分：build-time（构造阶段）和run-time（运行阶段）按动态划分：moment（时刻）和period（时期）按层次划分：code（代码层面）和component（组件，文件层面）1.build time viewBuild-time(构造阶段):idea=>requirement=>design=>code=>installable(可安装)/executable package(可执行包)Code-level v
2021-07-06 23:51:55
167
原创 hello ‘s p2p
计算机系统大作业题目程序人生-Hello’s P2P专业计算机学 号1190201812班 级1903012学生王尧 指导教师史先俊 ...
2021-06-27 23:17:19
85
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人