= Parity
modernise COBOL, with proof
Map
Rules
Translation
Decoder
Edge Cases
Side by Side
Proof
Mutants
1
System Map
2
Business Rules
3
Translation Layer
Convert all links
COBOL — CBACT04C.cbl
Java — Cbact04c.java
4
Record Decoder
5
Edge Cases
6
Side by Side, Byte for Byte
Show a planted bug
7
The Proof
Run proof on data it has never seen
8
Planted Bugs