软件构造-实验总结2-Lab2

软件构造-实验总结2-Lab2

实验简介

本次实验训练抽象数据类型（ADT）的设计、规约、测试，并使用面向对象
编程（OOP）技术实现 ADT。具体来说：
⚫ 针对给定的应用问题，从问题描述中识别所需的 ADT；
⚫ 设计 ADT 规约（pre-condition、post-condition）并评估规约的质量；
⚫ 根据 ADT 的规约设计测试用例；
⚫ ADT 的泛型化；
⚫ 根据规约设计 ADT 的多种不同的实现；针对每种实现，设计其表示
（representation）、表示不变性（rep invariant）、抽象过程（abstraction function）；
⚫ 使用 OOP 实现 ADT，并判定表示不变性是否违反、各实现是否存在表示泄
露（rep exposure）；
⚫ 测试 ADT 的实现并评估测试的覆盖度；
⚫ 使用 ADT 及其实现，为应用问题开发程序；
⚫ 在测试代码中，能够写出 testing strategy 并据此设计测试用例。

感想

1.在面向ADT的编程和直接面向应用场景编程时，ADT使用方法更为普遍
2.使用泛型编程使代码应用场合更广，代码复用性更强
3.经过P3要求从0开始设计ADT并使用它们完成一个具体应用，经过P1的编写，较为适应ADT的设计。
4.以后编写程序时会养成习惯为ADT撰写specification, invariants, RI, AF，并且会时刻注意ADT是否有rep exposure，保证代码的安全性。