2022年5月30日
软件构造Lab2实验总结
摘要： 本次实验训练抽象数据类型（ADT）的设计、规约、测试，并使用面向对象编程（OOP）技术实现ADT。具体来说内容如下： 针对给定的应用问题，从问题描述中识别所需的ADT； 设计ADT规约（pre-condition、post-condition）并评估规约的质量； 根据ADT的规约设计测试用例； AD 阅读全文
posted @ 2022-05-30 20:44 120L021509朱俊 阅读(40) 评论(0) 推荐(0)
软件构造Lab2实验总结
摘要： 本次实验训练抽象数据类型（ADT）的设计、规约、测试，并使用面向对象编程（OOP）技术实现ADT。具体来说内容如下： 针对给定的应用问题，从问题描述中识别所需的ADT； 设计ADT规约（pre-condition、post-condition）并评估规约的质量； 根据ADT的规约设计测试用例； AD 阅读全文
posted @ 2022-05-30 20:43 120L021509朱俊 阅读(42) 评论(0) 推荐(0)