文章目录一.ADT的基本概念二.典型的类型和操作三.ADT的设计法则四.表示独立性五.ADT的测试六.不变量七.表示不变量(RI)与抽象函数(AF)八.AF，RI和表示泄露安全说明的文档化本节的内容为抽象数据类型(ADT)的讲解。一.ADT的基本概念    数据抽象：由一组操作所刻画的数据类型；强调的是操作而不是具体如何存储的。    可以看出对应的抽象可能有多种实现方式。所以可见ADT是由操作定

文章目录三.断言与防御式编程1.断言2.断言vs异常3.防御式编程四.代码调试1.调试过程2.调试工具五.软件测试与测试优先的编程1.测试的类别2.测试优先的编程3.JUnit测试框架4.设计好的测试用例  本篇继续总结第六章的知识点三.断言与防御式编程1.断言  断言主要是开发阶段使用，用于假设某些假设是否成立，一旦不成立则会抛出AssertionError  有以下两种形式：  (1).ass

文章目录一.数据类型与类型检验1.JAVA语言中的数据类型2.数据类型检查3.可变性与不可变性4.快照图5.数组类型与集合类型6.有用的不可变类型7.空指针二.设计规约1.JAVA语言中的方法(函数)2.设计规约(1).编程中的文档(2).函数规约的撰写(3).行为等价性(4).规约的具体结构(5).规约的分类(6).设计好的规约    第三章的内容是ADT(抽象数据类型)与OOP(面向对象编程)

文章目录二.面向可维护性的设计模式1.创建模式A.工厂方法模式B.抽象工厂模式2.结构模式A.代理模式3.行为模式A.观察者模式B.访问者模式4.设计模式总结  接着上一篇来讨论，本文章的重点是面向可维护性的设计模式。二.面向可维护性的设计模式1.创建模式  这些类的作用主要就是为了创建对象，对应采取的模式就是不同的创建模式，分为以下几种模式。A.工厂方法模式  使用ADT的时候，如果我们想创建一

在学习了软件构造课程后，我对于如何写出一个较为完善的软件有了更深入的了解，这门课程中有一部分内容讲的是性能优化有关的，在结合自身所了解的一些知识，我整理了下软件性能的提升一些方法。

欢迎访问个人博客https://lyp123.com本篇私博地址：https://lyp123.com/code/jvm-tuning.html促使我写下这篇文章的是软件构造Lab5中中尝试JVM参数调优的时候

这些软件构造导致在硬件级别执行CPU和I/O操作，必须将这些操作最小化并使其尽可能高效。

头一次写博客不知道应该怎么写就假装自己是在写日记吧x就在刚刚结束的软构lab5实验中，天水（我）在试图提交35分支的时候直接gitadd*，忘记我把导出的heapdump文件也存在了目录下，导致commit了一次大文件，结果在push的时候无法上传。经过不懈的查找网上博客和求（sao）助（rao）各位大佬，终于成功把代码传上去了QAQ（感动.jpg）。周一的时候一直上传失败但是当时没搞清楚是为什么

软件构造lab1（一）实验目标本次实验通过求解三个问题，训练基本Java编程技能，能够利用JavaOO开发基本的功能模块，能够阅读理解已有代码框架并根据功能需求补全代码，能够为所开发的代码编写基本的测试程序并完成测试

MagicSquares要求1从文件中读取数字检查列和对角线的总和是否也相同。返回指示输入是否为幻方的布尔结果。函数规约：booleanisLegalMagicSquare(StringfileName)在main()函数中调用五次isLegalMagicSquare()函数，将5个文本文件名分别作为参数输入进去，看其是否得到正确的输出（true,false）。需要能够处理输入文件的各种特殊情况，

前言：在做软件工程时经常会需要用到绘图来帮助理解软件构造，CSDN的编辑器集成了插入绘图工具mermaid,以下是对其常用语法的一些记录整理状态图  以下是学习mermaid语法的官网：https://

断言将语义错误转变为语法错误。例如cpp的assert，便于开发者完成错误的定位。断言主要用于开发和维护阶段，生产时不编译进产品。断言用来检查永远不应该发生的错误。错误处理用来检查程序的非正常情况。（能在开发阶段预料到）避免把执行代码（有意义的代码）放入断言中。前条件和后条件前条件：调用方提供给被调用函数的参数。（保护传入方法的参数）后条件：与前条件相反。承诺给调用方。通常要么断言，要么错误处理，

记录一下做实验1时遇到的问题。准备工作1.GitHub的注册和配置由于之前没有接触过GitHub，所以碰到了一些问题。GitHub是什么？怎么建立GitHub远程仓库与本地仓库的连接？怎么在GitHub上传和下载文件？实验完成后我可以简单回答上述问题：Git是分布式版本控制系统；通过SSHkey建立远程与本地的连接；通过GitBash中的命令进行文件的上传和下载。图1-常用的git命令GitHub

过程如下，因为本人已经成功打入班级（雨课堂警告），所以部分过程以文字叙述.首先可能会出现访问不到Github网站的情况，可以自己检查一下能不能ping到：比如可能网页打不开github，而且ping显示丢包。此时到CSDN上找解决方法，我已经成功解决了，需要修改一下注册表。2.成功访问之后开始注册：在GetStarted上方文本框中输入注册使用的邮箱，按照提示一步步注册。3.加入classroom

注册全流程如下（希望能有帮助）1.首先是输入www.piazza.com进入之后找到SignUp进入注册页面2.找到哈尔滨工业大学，支持模糊搜索，输入harbin即可看到3.选择课程，课程码已经在老师的录播视频中给出，这里输入CS322074.这里输入注册邮箱，请使用常用的邮箱，之后可能有用5.然后填写账号信息，因为老师要求实名，所以FullName可以直接填写自己的中文名。下面的一部分是填写您正

根据复用的层次不同，有多种类型的划分。Designpatterns基于设计模式的复用：体现在抽象和具体对象的交互上；Component-baseddevelopment：基于组件层面的复用Applicationframeworks：提供一些可进行调整、拓展的抽象或具体类Legacysystemwrapping：只留下接口提供服务Sourcecode层面：方法、声明实现：代码的复制粘贴（弊端：好多代

软件构造课程实验四针对异常处理方面做了比较细致的要求，现在对异常处理做一下总结。

update2019/5/18：贴个Logging撑撑门面(¦3____]Logging写日志本实验中使用log4j进行输出日志，首先对log4j进行配置，配置文件如下：图3,.3log4j.properties配置文件可以看到，在本配置文件中，日志同时被打印到控制台和日志文件，对于DEBUG级别及以上的异常输出到debug.log，对于ERROR级别及以上的日志输出到error.log。其中Co

update6/4/2019问题解决线程关闭问题实验中，采用ScheduleExecutorServiceservice=Executors.newSingleThreadScheduledExecutor()Service.scheduleAtFixedRate实现定时任务，我们需要这个定时任务达到一定条件就停止，比如过河线程等猴子过河之后停止。停止定时任务的方法有两个关键步骤，一是Future

Update5/26/2019CheckStyleinIDEAOQLinMATOptimizationforIODesignPatternCheckStyleinIDEA使用以下操作解决缩进与包名导入问题。打开IDEA的自动导包功能：修改项目中Tab和缩进设置修改项目中注释代码的缩进设置：修改项目设置取消使用*自动导入包按照包名的字典序导入包最后右击项目src，FormatCode。OQLInMA

update:3/13/2019未考虑checkRep，RI，AFupdate：3/17/2019改一下MyExp继承RuntimeExceptionupdate：3/23/2019修改P1poet题目理解，更新poem的stream写法update：3/24/2019EdgeImmutable条件Trick：使用Collection.stream处理满足map-filter-reduce的序列。

软件构造整理的笔记（未上传图片）第一章软件构造的视图与质量目标第一节软件构造中的多维视图一、内容大纲1.软件多维视图（1）按阶段(phases)划分：构造时视图，运行时视图（build-time&runtime

以下内容旨在给没有接触过git和GitHub的像我一样的小白们的快速指引，大佬们勿喷首先进入GitHub个人主页找到你的一个仓库打开它，然后在如图所示位置找到SSH链接，一会要用然后我们打开本地某个我们想要部署的目录，右键GitBashhere打开git的命令行窗口在当前目录下输入“gitinit”命令即可创建一个本地库可以看到本地多出了一个.git文件，请不要随意删除它当我们需要上传的时候我们可

从类、API、框架三个层面学习如何设计可复用软件实体的具体技术(1）代码的复用包括目标代码和源代码的复用。其中目标代码的复用级别最低，历史也最久，当前大部分编程语言的运行支持系统都提供了连接（Link）、绑定(Binding)等功能来支持这种复用。源代码的复用级别略高于目标代码的复用，程序员在编程时把一些想复用的代码段复制到自己的程序中，但这样往往会产生一些新旧代码不匹配的错误。想大规模的实现源程

《深入理解软件构造系统:原理与最佳实践》基本信息原书名：SoftwareBuildSystems:PrinciplesandExperience原出版社：PearsonEducation作者：(加)PeterSmith

目录考点第三章3.1类型检查静态类型检查动态类型检查代码快照图Immutability3.2Specification（规格说明）防御式拷贝行为等价性前置条件后置条件规约的强度3.3AbstrateDataType(ADT)ADT操作的四种类型RepresentationIndependence（表示独立性）（待完成，44页）RAAF:R->A第五章(可复用性的度量、形态与外部表现)Program

简介软件构造的实验一要求实现一个凸包算法，这啥呢，大概就是平面上有一堆点，然后要求找到一个集合，这个集合里面的点围成的多边形包围了所有的点。

1实验目标概述2实验环境配置3实验过程3.1PoeticWalks3.1.1GetthecodeandprepareGitrepository3.1.2Problem1:TestGraph3.1.3Problem2:ImplementGraph3.1.3.1ImplementConcreteEdgesGraph3.1.3.2ImplementConcreteVerticesGraph3.1.4Pr

**1实验目标概述2实验环境配置3实验过程3.1MagicSquares3.1.1isLegalMagicSquare()3.1.2generateMagicSquare()3.2TurtleGraphics3.2.1Problem1:Cloneandimport3.2.2Problem3:TurtlegraphicsanddrawSquare3.2.3Problem5:Drawingpolygo

一个软件的生命周期大体可以分为如下几个部分，首先是获取对于软件的需求，根据需求进行建模，建模完毕后就去设计并运行程序，如果这个软件是某个某个整体架构的一部分或是软件的各部分由多人分工完成那么就要进行集成，最后是发布软件加上维护软件。软件的测试过程发生在上面说明的设计并运行程序部分（特指单元测试，集成测试发生在集成部分），对于很多高质量要求的软件，软件测试工作占据的时间占据了软件开发时间的绝大部分。

接口（Interfaces）基本概念不再赘述，值得注意（记住）的有几点：接口不应该有构造函数只有静态方法才能拥有方法体接口实现不能破坏表示不变性接口实现可以添加接口没有的方法，但是不能缺少接口声明的方法接口实现不应该违背接口规约（比如接口规约声明为不可变类型，但在实现类里加入了mutator）子类型（subtype）a是b的子类型，则a要么implementb，要么extendb。a是b的子类(s

首先吐槽一下lab3的工作量，真的是让人望而却步，虽然难度不大，但是工作量真的惊人。不过在这样的工作量下，明白了一开始设计好一个好的代码结构的重要性，以及一些设计思想的指导作用。本次实验当中我们主要用到的是工厂模式和策略模式：1）工厂模式：顾名思义，就是一个工厂里面可以批量产出所需要的配件。如果说工厂模式可以生成同一类的产品，那么抽象工厂就是可以生产出各种产品的全能工厂。工厂方法：定义一个创建对象

两年没耍C语言了，这个是基于案例的软件构造的作业。是为了实现，产生100道100以内的随机数，来组成一个算式。

Thisopenedmymind,Istartedtograspwhatitmeanstousethetoolknownasalgebra.I’llbedamnedifanyonehadevertoldmebefore:overandagainMr.Dupuy[themathematicsteacher]wasmakingpompoussentencesonthesubject,butnotonc

1、代码大全第二章中把软件构造类比成搭建一个房子，我觉得非常形象，做房子首先要进行图纸的设计，然后根据这个设计搭建一个骨架，再通过这个骨架砌砖，糊墙等等之类的，最后装修，装饰一些不好看的地方。

作为软件工程专业的核心课程之一软件构造结束了，不为博客分数，只为能留下点什么。PS:下面大多都是我个人的理解，用词上可能不太严谨。

哎，Java的循环一直在用，一直在忘，不如总结一下，没事看看哈哈哈就从简单到复杂的顺序来吧List这里需要注意，如果在遍历时删除元素的话，请倒序遍历或者使用迭代器（第二种）第一种：for(Iteratoriterator=list.iterator();iterator.hasNext();){inti=(Integer)iterator.next();System.out.println(i);

抽象数据型：在数据结构里面是指一个数学模型以及定义在此数学模型上的一组操作，但是在Java里面抽象数据型指的是以abstract定义的函数方法，那么定义这样一个没有函数体的方法有什么作用呢？这里我们先引入另外一个概念：接口。接口可以说是一个纯粹的抽象类，这里引用一下哈工大王忠杰教授对接口的理解：接口===CSP认证书、会计师证书、律师证书类===张三、李四、王五、...、全世界每一个人张三拥有“C

正则表达式也用了蛮久了,目前在Java以及JavaScript上面都使用过,今天就分别介绍一下这两种语言的正则表达式简单使用方法以及正则表达式的语法.首先先来说说JavaScript:先说说看最简单的做法吧:varreg=/@[a-zA-Z0-9_-]*[^@]?/g;console.log(reg.test("Hello"));console.log(reg.test("@Hello"));测试

Go语言为软件构造提供了一种模型，它使依赖分析更加容易，且避免了大部分C语言风格include文件与库的开头。Go语言是静态类型的语言，它的类型系统没有层级。

在这学期的软件构造课程的实验中，老师将会利用集成工具对上传的java代码进行检查，如果自动构建失败，则被判为0分。毕竟谁也不想看到自己辛辛苦苦写的代码，因为最后的构建而得0分。

代码异味codesmell代码异味（卫生）Code"smells"(hygiene)重复的代码：过长的方法：庞大的类：长的参数表：不同方向的变化：霰弹式修改依恋情结FeatureEnvy：数据堆积：基本类型迷恋（primitiveobsesstion）Switch语句：平行继承层次：冗余类：暂时的字段消息链：中间人：过度亲密：具有不同接口的替代类（AlternativeClasseswithDif

面向复用的软件构造技术设计可复用的类LSP原则客户端可用统一的方式处理不同类型的对象在可以使用父类对象的场景，都可以用子类对象代替而不会有任何问题静态检查规则：(1)子类型可以增加方法，但不可删(2)子类型需要实现抽象类型中的所有未实现方法

开闭原则（OpenClosePrinciple）1988年，勃兰特·梅耶（BertrandMeyer）在他的著作《面向对象软件构造（ObjectOrientedSoftwareConstruction）

3.1数据类型和数据检查主要内容：1.了解数据类型的基本知识，以及编程语言中的静态和动态类型检查，尤其是Java。2.理解可变性和可变对象3.识别混叠和了解易变的危险4.使用不变性来提高正确性、清晰度和可变性5.使用快照图演示程序执行期间特定时间的状态6.使用数组和集合来处理复杂的数据类型7.了解null的危害并加以避免一、编程语言中的数据类型1.一种数据类型是一组值，以及可以对这些值执行的操作。

具体代码在：这里（求打星！！）在Lab3中的ADT设计中，有一些面向复用的类中要求我们必须设计immutable的类：受限于这些类必须是immutable的要求，我们在实现实验的过程中，会遇到许多困扰：未看清immutable的要求导致需删除代码重写。这些类中只能保存其基础的，不变的属性。但轨道系统的要求中，需要轨道上存在物体、物体之间存在联系，并且这些都是可改变的，因此类间可变的联系不能存放于这

3.软件构造3.1软件第一级构造init-y:=init/drivers-y:=drivers/sound/net-y:=net/libs-y:=lib/core-y:=usr/core-y+=kernel

可维护性设计模式目录创造性模式结构化模式行为化模式创造性模式创造性模式（Creationalpatterns）一共分为三种模式，分别是：工厂方法模式：创建对象，而不指定要创建的确切类。抽象工厂模式：将具有共同主题的对象工厂分组。Builder模式：通过分离构造和表示来构造复杂的对象。下面对这三种模式一一进行描述工厂方法模式（FactoryMethodpattern）工厂方法模式也被称为虚拟构造器。

可复用性的设计模式除了Framework，5-2节所讨论的其他技术都过于“基础”和“细小”，有没有办法做更大规模的复用设计？本节：几种典型的“面向复用”的设计模式。目录适配器模式（Adapter）装饰器模式（Decorator）外观模式（Facade）策略模式（Strategy）模板方法模式（Templatemethod）迭代器模式（Iterator）除了类本身，设计模式更强调多个类/对象之间的关

这是哈工大18年春软件构造课程（徐汉川老师）的讨论题目，少部分答案摘录自课件PPT和网上的资源（链接在文中给出）。如有错误还望指出，谢谢。