Table 6 Example of a specification of functional test requirements for the withdraw operation (ATM-log system)
Input condition | Valid class | Invalid class | Boundary value |
|---|---|---|---|
Withdrawn value “v” | (C1) v ≤ account balance | (I1) v > account balance | (B1) v = 0 |
(B2) v = account balance | |||
(B3) v = account balance + 1 | |||
Output condition | Valid class | ||
Success message | (O1) “successful withdraw” | ||
Logging message | (O2) operation is logged |