volume_mute
Post-condition
publish date: 2026/06/06 23:08:29.082984 UTC
volume_mute
In a structured specification for the ticket-issuing system, which of the following would be an appropriate post-condition for the 'Issue Ticket' function?
Correct Answer
A rail ticket has been printed and the user's credit card account has been debited by the ticket price
Explanation
A post-condition describes what is true after the function has been successfully executed. After ticket issuance, a ticket has been printed and the account has been debited. The other options describe pre-conditions or triggers, not the resulting state after the function completes.
Reference
Software Engineering, Ian Sommerville, 9th edition