Recover functional obligations
- Capture workflows, roles, inputs, validation and outputs.
- Record business calculations, state transitions and reports.
- Measure database effects and file transformations.
- Specify network/device messages and timing.
- Exercise boundary values and error/recovery behavior.
Make requirements traceable
Link each requirement to screenshots, captured inputs/outputs, database diffs, traffic or repeated experiments. Mark confidence as confirmed, strongly inferred or unresolved and turn examples into acceptance tests.
Use behavior analysis to gather evidence, black-box migration for implementation strategy, executable analysis for dependencies and the pillar.