软构实验（二 ）博客

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-VMb9NQzR-1625031897332)(media/b7c1f747a870edf8b0db7af7453bb908.jpeg)]

2021年春季学期
计算学部《软件构造》课程

**Lab 2实验报告
**

姓名	田轩
学号	1190200924
班号	1903012
电子邮件	1585315932@qq.com
手机号码	13609170381

目录

1 实验目标概述 1

2 实验环境配置 1

3 实验过程 1

3.1 Poetic Walks 1

3.1.1 Get the code and prepare Git repository 1

3.1.2 Problem 1: Test Graph <String> 1

3.1.3 Problem 2: Implement Graph <String> 1

3.1.3.1 Implement ConcreteEdgesGraph 2

3.1.3.2 Implement ConcreteVerticesGraph 2

3.1.4 Problem 3: Implement generic Graph<L> 2

3.1.4.1 Make the implementations generic 2

3.1.4.2 Implement Graph.empty() 2

3.1.5 Problem 4: Poetic walks 2

3.1.5.1 Test GraphPoet 2

3.1.5.2 Implement GraphPoet 2

3.1.5.3 Graph poetry slam 2

3.1.6 Before you’re done 2

3.2 Re-implement the Social Network in Lab1 2

3.2.1 FriendshipGraph类 2

3.2.2 Person类 3

3.2.3 客户端main() 3

3.2.4 测试用例 3

3.2.5 提交至Git仓库 3

4 实验进度记录 3

5 实验过程中遇到的困难与解决途径 3

6 实验过程中收获的经验、教训、感想 4

6.1 实验过程中收获的经验和教训 4

6.2 针对以下方面的感受 4

实验目标概述

本次实验训练抽象数据类型（ADT）的设计、规约、测试，并使用面向对象
编程（OOP）技术实现 ADT。具体来说：

⚫ 针对给定的应用问题，从问题描述中识别所需的 ADT；

⚫ 设计 ADT 规约（pre-condition、post-condition）并评估规约的质量；

⚫ 根据 ADT 的规约设计测试用例；

⚫ ADT 的泛型化；

⚫ 根据规约设计 ADT 的多种不同的实现；针对每种实现，设计其表示
（representation）、表示不变性（rep invariant）、抽象过程（abstraction
function） ⚫ 使用 OOP 实现 ADT，并判定表示不变性是否违反、各实现是否存在表
示泄露（rep exposure） ；