7.3. Methodology for writing tests