Skip to main content

Table 6 Example of a specification of functional test requirements for the withdraw operation (ATM-log system)

From: Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience

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