摘要：本次实验训练抽象数据类型（ADT）的设计、规约、测试，并使用面向对象编程（OOP）技术实现ADT。具体来说内容如下： 针对给定的应用问题，从问题描述中识别所需的ADT； 设计ADT规约（pre-condition、post-condition）并评估规约的质量； 根据ADT的规约设计测试用例； AD 阅读全文

摘要：本实验通过解决三个问题，训练了基本的Java编程技能，并给出了Eclipse+Jdk+Junit的配置方案，以及对使用git进行项目管理的方式。 1.因此，本实验的第一个要点是配置环境。具体配置环境过程如下： Eclipse（IDE）:直接从官网上安装，按默认配置进行即可。 Jdk:官网下载，在ec 阅读全文