Static testing

Static testing

For access to this article, please select a purchase option:

Buy chapter PDF
(plus tax if applicable)
Buy Knowledge Pack
10 chapters for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Your details
Why are you recommending this title?
Select reason:
Engineering High Quality Medical Software: Regulations, standards, methodologies and tools for certification — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

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

Preview this chapter:
Zoom in

Static testing, Page 1 of 2

| /docserver/preview/fulltext/books/he/pbhe012e/PBHE012E_ch9-1.gif /docserver/preview/fulltext/books/he/pbhe012e/PBHE012E_ch9-2.gif

Related content

This is a required field
Please enter a valid email address