An IS auditor is reviewing a large predictive (waterfall) software development project nearing the testing phase. The auditor wants to verify that every approved business requirement has been correctly addressed by the design, built into the code, and validated during testing. Which artifact would BEST enable the auditor to confirm this?