search

JingYuOng / pe

0 stars 0 forks source link

There is no Precondition and Guarantee for all the use cases #9

Open JingYuOng opened 4 years ago

JingYuOng commented 4 years ago

User might not fully understand what does the use case do

nus-pe-bot commented 4 years ago

Team's Response

Rejected as there is no hindrance in understanding or mistake in formatting, as far as I know. I might need TAs to validate this though.

For all use cases, we do not have a precondition as there is no assumed initial state at the start of the cases. Most of the invalid states are handled as extensions.

I think guarantees are not a must-have in use cases. It helps to specify things, but in this case, I think the extensions have described it as well.

Items for the Tester to Verify

:question: Issue response

Team chose [response.Rejected]

Reason for disagreement: i think if there is indeed no initial state, you can write pre-condition as null. As for post-condition, you need to write a clear statement to inform tell user what exactly has been done with this use case, rather than asking user read from extension or use case.