Source code is examined without running the system for verification. Can be done early, even on incomplete systems. Static verification of the software.
May be applied to any representation of the system such as requirements, design, configuration data, test data, etc.
Can be done without additional cost. Can be done before the completion of implementation. Can uncover chain of errors.
Cannot check for non-functional characteristics.