Verification is the activity relating to the evaluation of the software system in order to determine whether the product of a given development phase satisfies the requirements established before the start of that phase. The focus is on building the product correctly. Validation, instead, concerns the evaluation of the software system in order to determine whether the product meets its intended use. The focus is on building the correct product. Testing is one of the best tools to verify and validate a software system.

Chapter Contents:

• 9.1 Introduction and background
• 9.2 Static testing
• 9.3 Static analysis
• 9.3.1 Control flow analysis
• 9.3.2 Data dependence analysis
• 9.3.3 Control dependence analysis

Inspec keywords: program testing; program verification

Other keywords: software system; software verification; static testing; software validation

Subjects: Formal methods; Diagnostic, testing, debugging and evaluating systems