amount checkBalance (acctid account) result fundTransfer(acctid sourceid, acctid destid, posint amount) CONVERSATIONS: C C-F C: IT190000002345, OK ABCde045012222, KO EMPTY KO ABCde045012222ARCde045012222 KO F: IT240000002578, 2000 OK IT240000002578, 0 OK IT240000002578, -100 OK IT190000002345, 2000 OK IT190000002345, 0 OK IT190000002345, -1000 KO ABCde045012222, 2000 KO ABCde045012222, 0 KO ABCde045012222, -1000 KO EMPTY,2000 KO EMPTY,0 KO EMPTY,-1000 KO ABCde045012222ARCde045012222, 2000 KO ABCde045012222ARCde045012222, 0 KO ABCde045012222ARCde045012222, -1000 KO C-F:(senza modello implementazione) IT190000002345, IT240000002578, 2000 KO IT190000002345, IT190000002345, 2000 OK IT190000002345, IT190000002345, 0 OK ..... TO BE CONTINUED SAPENDO CHE L'IMPLEMENTAZIONE DI C E' STATELESS E CHE L'IMPLEMENTAZIONE DI F HA AUTOMA INTERNO TRANSFER.amount <= 5000 - stato dotransfer TRANSFER.amount > 5000 - stato ask authorization authorization = Y stato do transfer authorization = N stato endtransfer scrivere almeno 3 casi di test per C-F