在这份合同中写什么

Question

我正在设计一个学术决策支持系统。我必须为该项目编写文档。我坚持的部分是写合同。

我有一个用例生成自定义报告。

用户与系统进行的互动是setParametersforReport()。

在此功能中，他将设置属性，例如student_rollNumber或marks，或warning count或他希望在报告中看到的任何其他内容。

但是我很困惑在合同的帖子条件中写什么。

我应该提到的三件事是：

1. 创建的实例
2. 关联形成或破裂
3. 属性已更改

我不知道该写什么以及如何解释，因为实际上没有创建任何东西。我在数据库中拥有我想要的所有数据，而且我在没有类的情况下访问它们。我很困惑，因为无法创建数据库实例。

请提供任何帮助。

Answer 1

后置条件用于指定操作执行结束时系统的状态。在您的情况下，看起来系统末端的状态与开始时的状态相同，因为您没有修改数据库（并且您也没有存储报告实例）。因此，我没有看到为此操作定义合同的重点。