Unit 10 Assignment
Review verification and validation of lexical analyzers, parsers, semantic analyzers, code generators, and code optimizers. In this unit (Unit 10) and in these exercises, we combine the ideas of those sections and look at an integrated approach to the verification and validation of the compiler as a whole.
After your review, do the following:
- Outline an approach for verifying software that translates from one programming language to another.
- Outline an approach for validating software that translates from one programming language to another.
You can check your answers against the Answer Key.