本文详述了一次软件构造实验，重点在于设计、实现和测试抽象数据类型（ADT）。实验涉及Graph接口的具体实现，包括ConcreteVerticesGraph类，以及GraphPoet类的构建。此外，还讨论了在OOP背景下如何确保表示不变性和避免表示泄露，并给出了测试策略和用例设计。最后，实验要求使用ADT重新实现社交网络图。
1. 实验目的
本次实验训练抽象数据类型（ADT）的设计、规约、测试，并使用面向对象编程（OOP）技术实现ADT。具体来说：
- 针对给定的应用问题，从问题描述中识别所需的ADT；
- 设计ADT规约（pre-condition、post-condition）并评估规约的质量；
- 根据ADT的规约设计测试用例；
- ADT的泛型化；
- 根据规约设计ADT的多种不同的实现；针对每种实现，设计其表示（representation）、表示不变性（rep invariant）、抽象过程（abstraction function）
- 使用OOP实现ADT，并判定表示不变性是否违反、各实现是否存在表示泄露（rep exposure）；
- 测试ADT的实现并评估测试的覆盖度；
- 使用ADT及其实现ÿ
最低0.47元/天 解锁文章
603
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
