Post-condition of failure – the customer reservation continues to exist with no value change to its state attribute.Post-condition of success – the customer reservation exists with its state attribute changed to the value of “closed”.Precondition – the customer reservation exists with its state attribute having the value of “fulfilled”.Post-condition for success – the customer reservation exists with its state attribute changed to the value of “fulfilled”.Precondition – the customer reservation exists with its state attribute having the value of “open” or “confirmed”.Post-condition for success – the customer reservation with its state attribute changed to the value of “cancelled”.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |