Selected analysis
Two cases.
One way of thinking.
From defining the right behaviour to finding where a distributed system breaks.
01 / Functional analysisWhen the payment succeeds,
Rejected transfer.
From Requirement to UAT
Ambiguous request → requirements → business rules → traceability → UAT
02 / System analysisWhen the payment succeeds,
but the order doesn't.
Incident → APIs → event contract → logs → root cause
03 / Banking · System analysisRejected transfer.
Funds still blocked.
Banking rules → distributed state → ledger → root cause → UAT