Identifying discrepancies or missing elements between expected and actual states of a system or codebase.