软件构造Lab2实验总结

本次实验训练抽象数据类型(ADT)的设计.规约.测试,并使用面向对象编程(OOP)技术实现ADT.具体来说内容如下: 针对给定的应用问题,从问题描述中识别所需的ADT: 设计ADT规约(pre-condition.post-condition)并评估规约的质量: 根据ADT的规约设计测试用例: ADT的泛型化: 根据规约设计ADT的多种不同的实现:针对每种实现,设计其表示(representation).表示不变性(rep invariant).抽象过程(abstraction function…

哈工大软件构造Lab2（2022）

(防扒小助手) 本人CSDN博客: https://blog.csdn.net/m0_61753302https://blog.csdn.net/m0_61753302本人博客园博客(同步CSDN): https://www.cnblogs.com/kalesky/https://www.cnblogs.com/kalesky/如果对你有用的话欢迎点赞关注哟! 目录 1.实验目标概述 2.实验环境配置 3.实验过程 3.1 Poetic Walks 3.1.1 Get the code and …

软件构造Lab1实验要点总结

本实验通过解决三个问题,训练了基本的Java编程技能,并给出了Eclipse+Jdk+Junit的配置方案,以及对使用git进行项目管理的方式. 1.因此,本实验的第一个要点是配置环境.具体配置环境过程如下: Eclipse(IDE):直接从官网上安装,按默认配置进行即可. Jdk:官网下载,在eclipse中Windows->preferences->Java->Installed JREs,然后把下的jdk8的最新版本add,然后apply即可.(之前配的18,所以没遇到困难) Ju…

软件构造 Lab1

大二软件构造第一次实验本人本次实验操作系统:macOS high Sierra 10.13.3 任务一:MagicSquare 对于本任务,主要需要实现两个方法,一个是isLegalMagicSquare方法,一个是generateMagicSquare方法. 首先,是要实现isLegalMagicSquare方法,该方法是根据一个String fileName判断路径所指的文件内容重的数据能否构成一个幻方.若能,则返回true,否则返回false. 当然,这个方法要能够正确处理几种异常情况.…

哈工大软件构造Lab3（2022）

(防扒小助手) 本人CSDN博客: https://blog.csdn.net/m0_61753302 本人博客园博客(同步CSDN): 何以牵尘 - 博客园 (cnblogs.com)https://www.cnblogs.com/kalesky/ 如果对你有用的话欢迎点赞关注哟! 目录 1.实验目标概述 2.实验环境配置 2.1 实验环境 2.2 GitHub Lab3仓库的URL地址 3.实验过程 3.1 待开发的三个应用场景 3.1.1 应用场景 3.1.2 共性需求 3…

哈工大软件构造Lab1（2022）

目录一.实验目标概述二.实验环境配置 1.安装编写java程序的IDE--IntelliJ IDEA 2.安装Git 3.安装Junit 4.GitHub Lab1仓库的URL地址三.实验过程 1.Magic Squares (1)isLegalMagicSquare() (2)generateMagicSquare() (3)源代码 2.Turtle Graphics (1)Problem 1:Clone and import (2)Problem 3:Turtle graphics a…

麻省理工18年春软件构造课程阅读02“Java基础”

本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分,采用CC BY-SA 4.0协议. 由于我们学校(哈工大)大二软件构造课程的大部分素材取自此,也是推荐的阅读材料之一,于是打算做一些翻译工作,自己学习的同时也能帮到一些懒得看英文的朋友.另外,该课程的阅读资料中有许多练习题,但是没有标准答案,所给出的答案均为译者所写,有错误的地方还请指出. 译者:李秋豪江家伟审校:李秋豪 V1.0 Fri Mar 2 16:48:58 CST 2…

HIT2019春软件构造->Git&Github学习笔记

由于软件构造课程需要,学习使用git,以下作为学习笔记. 一.Git初始化及仓库创建和操作 1.基本信息设置(设置签名) 命令项目级别/仓库级别:仅在当前本地库范围内有效 git config 系统用户级别:登录当前操作系统的用户范围 git config –global ls -lA|less 查看文件内容级别优先级:就近原则->项目级别优先于系统用户级别 1.设置用户名 git config –global user.name ‘hiter1170301015’ 2…

面向对象软件构造 (Bertrand Meyer 著)

Part A: The Issues 议题第一章软件品质第二章面向对象的标准 Part B: The Road To Object Orientation 通向面向对象之路第三章模块性第四章复用性方法第五章走进对象技术第六章抽象数据类型 Part C: Object-Oriented Techniques 面向对象技术第七章静态结构: 类第八章运行时结构: 对象第九章内存管理第十章泛型第一章软件品质 1.1 外部和内在的因素 1.2 外部因素介绍 1.…

由软件构造引申的OOP与POP的心得体会

在大一初学C语言的时候,所解决的问题都是一些轻量级的简单问题,当时写过一个教学管理系统.这个教学管理系统的功能很简单,思想就是“流水线”:按部就班的实现所有流程.要完成整个教学管理系统,实际上就是完成一些函数,这些函数之间的逻辑组织结构就是人所认知的逻辑结构,要完成一个教学管理系统,首先要实现一些功能:比如 1.录入学生信息 2.为每个学生分配课程 3.为每个学生分配老师 4.为每个学生录入成绩 5.进行成绩的统计. 上面这个流程很直观,而且实现起来也很流畅.我们只需要将这些函数进行实现就行了.…

【软件构造】Mutable类型与Immutable类型

[软件构造]Mutable类型与Immutable类型 1.前言在软件构造这门课中,对mutable类型和immutable类型的深入理解,有助于后续ADT.可维护性.可复用性的学习,因此我们有必要对其进行详细的分析说明. 我们首先明确的是,mutable类型和immutable类型均属于ADT的范围,二者关系如下图: 2.概念 immutable类:类的实例创建后成员变量值不变,若修改后,引用会指向一个实例对象. mutable类:类的实例创建后可以通过类的方法就地修改值. 3.常见immu…

软件构造实验二-拷贝一个c文件将其中的关键字int替换成float

1,新建 Parser Generator 点击project --> new 2,填写工程名字随意取一个名字点击OK 3,点击Project选项下的 parserwizard 分析器向导选项这里需要填写工程存放的目录,以及工程名字. 4,选择配置这里选择只lex文件,并创建main程序,单线程模式点下一步 5,点击完成 6,程序会生成 mylexer.l 的lex空文件,我们需要建立一个简单的lex文件已作说明将下列程序源代码覆盖生成的lex代码 %{ %} %% //表示如果…

软件构造实验-百度图像识别api

识别结果: 识别结果:…

软件构造实验-Guns

根据guns开发示例,搭建汽车信息管理系统…

软件构造实验-JFinal

导入JFinal的demo 可以增删改查根据demo以及自己的理解,使用JFinal实现学生信息管理系统.…

【软件构造】-<笔记>-浅谈java中类的初始化过程

编写java程序时,每创建一个新的对象,都会对对象的内容进行初始化. 每一个类的方法中的局部变量都有严格的初始化要求,因此假如写出下面的程序: void f(){ int i; i++; } 编译时就会得到一条出错信息,因为java会严格检查方法内部局部变量的初始化,正如<java编程思想>中所说“未初始化的局部变量更有可能是程序员的疏忽” 但是对于类内部的字段,java并不会严格检查字段是否初始化,因为类的每一个基本数据类型成员都保证会有一个初始值,哪怕构造器什么都没做. 其实一个对象的初始…

【软件构造】第三章第三节抽象数据型(ADT)

第三章第三节抽象数据型(ADT) 3-1节研究了“数据类型”及其特性 ; 3-2节研究了方法和操作的“规约”及其特性:在本节中,我们将数据和操作复合起来,构成ADT,学习ADT的核心特征,以及如何设计“好的”ADT. Outline ADT及其四种类型 ADT的基本概念 ADT的四种类型设计一个好的ADT 表示独立性不变量和表示泄露抽象函数AF和表示不变量RI AF与RI 用注释写AF和RI Notes ## ADT及其四种类型 [ADT的基本概念] 抽象数据类型(Abstract Da…

【软件构造】第八章第三节代码调优的设计模式和I/O

第八章第三节代码调优的设计模式和I/O 本节学习如何通过对代码的修改,消除性能瓶颈,提高系统性能?——代码调优.面向性能的设计模式 Outline Java调优代码调优的概念单例模式(Singleton Pattern) 享元模式(Flyweight Pattern) 原型模式(Prototype Pattern) 对象池模式(Object Pool Pattern) 常见的Java I/O方法 Notes ## 代码调优 [代码调优的概念] 代码调优:代码调优不是为了修复bug,而是对…

【软件构造】（转）Git详解、常用操作与版本图

版本控制与Git 转自:http://www.cnblogs.com/angeldevil/p/3238470.html 版本控制版本控制是什么已不用在说了,就是记录我们对文件.目录或工程等的修改历史,方便查看更改历史,备份以便恢复以前的版本,多人协作... 一.原始版本控制最原始的版本控制是纯手工的版本控制:修改文件,保存文件副本.有时候偷懒省事,保存副本时命名比较随意,时间长了就不知道哪个是新的,哪个是老的了,即使知道新旧,可能也不知道每个版本是什么内容,相对上一版作了什么修改了,当几个…

【软件构造】（转）Java中的comparable和comparator

为了方便阅读和复习,转载至此,原地址:温布利往事的博客阅读目录一.Comparable简介二.Comparator简介三.Comparable和Comparator区别比较回到顶部一.Comparable简介 Comparable是排序接口.若一个类实现了Comparable接口,就意味着该类支持排序.实现了Comparable接口的类的对象的列表或数组可以通过Collections.sort或Arrays.sort进行自动排序. 此外,实现此接口的对象可以用作有序映射中的键或有序集…

ucore Lab2 实验笔记

ucore Lab2 lab 2 直接执行make qemu-nox会显示 assert 失败: kernel panic at kern/mm/default_pmm.c:277: assertion failed: (p0 = alloc_page()) == p2 - 1 1 连续物理内存管理 1.1 page 概览对物理内存的管理,为了节省空间,也是为了配合接下来的虚拟内存管理,通常以某个比 byte 大一些的单位进行管理,我们称这一单位内存为一"页(page)",通常是 4…

yum history使用详解(某次为解决误卸载软件的回退实验)

[操作系统实验lab2]实验报告

static void * alloc(u_int n, u_int align, int clear) { extern char end[]; int i; u_long alloced_mem; if(freemem==0) freemem=(u_long)end; freemem = (((u_long)(freemem))+(align)-1)&~((align)-1); //Step 1 finished. alloced_mem = freemem; //Step 2 finish…