Other examplesFinding a digicodeA bank account manager



A bank account manager

The purpose of this example is to simulate a bank account. A client can deposit or withdraw money, but, in case of withdraw, it is verified that the amount of the account is greater than the money to be withdrawn, as described in the specification.
The test purpose describe a scenario where a sum is withdrawn and we want to get the Cash but not 'NoMoney'.
STG generates the following testcase where an undefined number of deposits is made before a withdraw and the sum to be withdrawn is constrainted to be lesser than the amount accumulated by the successive deposits.

F Ployette, F-X Ponscarme, October 18, 2007

Other examplesFinding a digicodeA bank account managerContentsIndex