- 博客(8)
- 收藏
- 关注
RSS订阅
1原创 软件构造复习
1.包装器得到的结果是不可变的，但不可变在运行阶段获得，编译阶段无法据此进行静态检查。Collections.unmodifiableListCollections.unmodifiableSetCollections.unmodifiableMap2.除非规约要求或在后置条件声明，否则方法内部不应改变输入参数。对于mutating ，应尽量不设计规约，以免引发bug。Diagramming specifications：更强的规约，表达为更小的区域。更强的后置条件意味实现自由度更低；更弱的前
2021-07-07 23:22:52
72
原创 软件构造抽象数据类型复习
抽象数据类型（ADT）的主要特性有：表示泄漏、抽象函数AF、表示不变量RI。R空间:面向实现的表示值空间（space of representation values）A空间：抽象值构成的空间，用户关注 (space of abstract values)1.AF: R->A的映射（1）满射，因每个抽象值被映射到具体的实现，不一定单射因每个rep都不一定被映射到抽象空间。（2）不是所有表示变量都在映射中，因此不是双射2.RI：将表示变量值映射成布尔函数，数据校验函数，看R中的具体表示是否
2021-07-06 23:47:04
80
原创 软件构造实验3相关
软件构造实验三过程及思考1 实验目标概述本次实验目标是编写具有可复用性和可维护性的软件，主要使用以下软件构造技术：子类型、泛型、多态、重写、重载继承、代理、组合语法驱动的编程、正则表达式API 设计、API 复用2 实验环境配置3 实验过程请仔细对照实验手册，针对每一项任务，在下面各节中记录你的实验过程、阐述你的设计思路和问题求解思路，可辅之以示意图或关键源代码加以说明（但千万不要把你的源代码全部粘贴过来！）。3.1 待开发的三个应用场景简要介绍三个应用。分析三个应用场景的异同，理
2021-07-05 21:58:27
128
原创 软件构造实验1相关思路
软件构造实验1相关思路1 实验目标概述本次实验通过求解三个问题，训练基本 Java 编程技能，能够利用 Java OO 开发基本的功能模块，能够阅读理解已有代码框架并根据功能需求补全代码，能够为所开发的代码编写基本的测试程序并完成测试，初步保证所开发代码的正确性。另一方面，利用 Git 作为代码配置管理的工具，学会 Git 的基本使用方法。2 实验环境配置本次实验，我下载并配置了eclipse、Git以及JDK。基本都是从官网下载，然后按照安装向导的指示一步步进行安装。其中在添加环境变量时遇到困难。
2021-07-01 16:33:32
114
原创 软件构造实验2相关思路
软件构造实验2相关思路1 实验目标概述针对给定的应用问题，从问题描述中识别所需的 ADT；设计 ADT 规约并评估规约的质量；根据 ADT 的规约设计测试用例；ADT 的泛型化；根据规约设计 ADT 的多种不同的实现；针对每种实现，设计其表示（representation）、表示不变性（rep invariant）、抽象过程（abstractionfunction）使用 OOP 实现 ADT，并判定表示不变性是否违反、各实现是否存在表示泄露；测试 ADT 的实现并评估测试的覆盖度；使
2021-07-01 16:25:26
134
原创 csapp大作业：程序人生
摘 要文章从编译系统、进程管理、存储、I/O等角度对hello程序的生命周期展开探索，展示了最简单的程序p2p,o2o的过程。通过该程序的分析，进一步理解计算机系统的工作原理，将所学内容融会贯通。关键词：编译系统；进程管理；存储管理；（摘要0分，缺失-1分，根据内容精彩称都酌情加分0-1分）目 录第1章 概述 - 4 -1.1 HELLO简介 - 4 -1.2 环境与工具 - 4 -1.3 中间结果 - 5 -1.4 本章小结 - 5 -第2章 预处理 - 6 -2.1 预处理的概
2021-06-30 20:43:50
298
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人