NatsuyaZ-CSDN博客

原创软件构造LAB2

本次实验训练抽象数据类型（ADT）的设计、规约、测试，并使用面向对象编程（OOP）技术实现 ADT。具体来说：编译Java代码的IDE我选择使用的是IntelliJ IDEA2022.1将项目目录按照实验指导书的指定格式复制到IEAD的project目录中，然后同样在Project structure中进行源文件测试文件的设置。这个实验的目的是让我们练习设计、测试和实现抽象数据类型ADT。具体的要求是需要我们创建并维护一个图结构，并使用这个图结构来进行诗歌的创作和派生。在实现这个GraphPoet的过程中，

2022-06-14 23:57:32 195 1

原创 HIT软件构造学习笔记8- Construction for Reuse

可复用性的衡量指标：那么一个拥有着良好复用性的软件应该包含以下的特点：小而简单、与标准兼容、灵活可变、可扩展、泛型化、模块化、变化的局部性、稳定、有着丰富的文档和帮助。复用有几个不同层级的层面，其中最主要的是代码层面的复用。但是我们可以说，软件构造过程中的任何实体都可能被复用，包括require、Spec、data、testcase以及Doc等在复用这一块儿我们的关注点是这样的：复用又有两种形式，白盒复用和黑盒复用。白盒复用：是源代码可见的复用。简单来说就是复制已有代码到正在开发的系统，然后进行适配和修改

2022-06-14 01:45:08 186

原创 HIT软件构造学习笔记7-Equality in ADT and OOP

Equality operation on an ADTADT是对数据的抽象，体现为一组对数据的操作抽象函数AF：内部表示->抽象表示基于抽象函数AF定义ADT的等价操作我们定义下面一种关系E，使之满足：同时满足上述自反、传递和对称的关系我们称之为等价关系。举一个例子来说，我们经常使用的逻辑比较符和方法就是一种等价关系。因为满足自反对称传递，因此为等价关系。ADT是对数据的抽象，通过已操作为特点的数据的抽象而不是表示方法的抽象。对于一个抽象数据类型而言，抽象函数AF解释了具体的表示值是怎么对应映射到抽

2022-06-14 00:26:05 205

原创 HIT软件构造学习笔记5- Abstract Data Type (ADT)——1

每一种编程语言都有他自己内置的变量类型，例如大家再熟悉不过的、、等等。当然用户可以根据自己的需要定义自己的数据类型数据抽象：数据抽象是指由一组操作所刻画的数据类型，例如数字number就是一种能够进行加和乘的东西，而字符串string是一种可以进行连接和获得子串的东西传统的类型定义：程序员在使用早先时候的编程语言的时候，定义变量时更关注于数据的具体表示。例如，他们会创建一个int整型变量来存储一天的年月日日期抽象类型：抽象类型更加聚焦于操作。它的使用者无需担心它的数据实际上是怎么存储的，它的实现者也可

2022-06-13 21:50:15 310

原创 HIT软件构造学习笔记6- Object-Oriented Programming (OOP)

在真实世界中的对象都有两个基本的属性特征，那就是状态和行为。那我们可以延伸思维，从定义真实世界中的对象的状态和行为开始，慢慢了解面向对象编程的含义。举两个例子：那么我们进行一下归纳总结：一个对象就是一捆状态和行为的集合体。状态，是对象包含数据所在字段；行为，是对象所支持进行的操作。每一个对象有一个类，在类中可以定义对象的方法，方法和变量的字段称为类的成员。类中同时定义了数据类型和实现方法，数据类型说明了对象可以怎么被使用，而实现方法表明了对象怎么做事情。不严格的说，一个类的方法就是他的应用接口，就是我们听过

2022-06-13 21:49:20 335

原创 HIT软件构造学习笔记4- Designing Specification-1

Method：Method意思是方法。在一个类中可以定义很多个方法，它就像是这个类的一部分，在创建一个这个类的实例化的时候，可以通过调用类中的方法来实现一些功能。有的类中可能会包含一个主方法，可以通过运行这个主方法来实现一个类似客户端的界面Parameters：Parameters意思是参数。在定义一个方法或者函数的时候进行传递的就是参数。值得提醒的是，参数类型是否匹配在静态类型检查阶段完成。Return Values：Return values意思是返回值。在定义方法的时候需要规定该方法的返回

2022-06-13 00:01:16 153

原创 HIT软件构造学习笔记-3 Data Type and Type Checking

ADT：软件构造的理论基础OOP：软件构造的技术基础Can’t achieve unity of expression （无法实现表达的统一）Unity of expression with generics表达与泛型的统一除Object外的所有类都有一个父类，由extends子句指定静态类型检查 & 动态类型检查静态检查往往是关于类型、与变量所具有的特定值无关的错误静态类型保证变量将具有该集合中的某些值，但直到运行时，我们才知道它具有的确切值因此，如果错误只由某些值引起，比如被零除或索

2022-06-12 01:35:58 208

原创 HIT软件构造学习笔记-2 Testing and Test-First Programming

Unit testing 单元测试测试某一小部分代码的正确性，尤其是测试某个函数。Integration testing 集成测试由多个程序员或编程团队创建的两个或多个类、包、组件、子系统的组合执行System testing 系统测试测试一整个已经集成好的系统，看这个系统是否满足需求，即在最终的一个配置下运行软件Testing是为了发现是否存在错误Debugging为了识别、定位已知错误的根源白盒测试是对程序内部代码进行的测试。黑盒测试仅针对陈旭外部表现出的行为进行测试。软件测试的困难所在

2022-06-08 21:21:22 168

原创 HIT软件构造学习笔记-1 Views and Quality Objectives of Software Construction

程序过程调用图，信息图（顺序图）逻辑/物理实体在内存/硬件环境中的形态随时间的变化源码组织在文件中，进而组织在目录中文件存档在包中，并逻辑上归属于组件和子系统可重用的模块以库的形式存在，库存储在磁盘文件中静态链接：库被拷贝进代码形成整体，执行的时候无需提供库文件动态链接：库文件不会在构建阶段被加入可执行软件，仅仅做出标记；程序运行时，根据标记装载库至内存；发布软件时，将程序所依赖的所有动态库都复制给用户分布式程序：需要多个运行程序，分别部署于多个计算机物理环境代码快照：描述程序运行时内存里变量层面的状态内存

2022-06-07 23:49:40 287

原创 CASPP大作业

计算机系统大作业题目程序人生-Hello’s P2P 专业计算机学　　号 120L020712 班　　级 2003011 学生张扬　　　指导教师郑贵滨　计算机科学与技术学院2021年5月...

2022-05-20 14:54:23 325 1

Zy0712的博客