Functional verification on PIL mode with IAR Embedded Workbench

  • Published 2013

Abstract

Nowadays, the most common tools and solutions available on the market for verifying ESW are based on structural code analysis and concentrate on checking that all structural items, e.g., executable statements, branches, and paths, within the ESW application have been exercised. A much more important and expensive task consists of checking if the software respects what is specified by its requirements. Functional verification is the process of proving that the software behaves exactly as defined by specifications and is inherently concerned with behavioral or functional aspects that are orthogonal to the structural code analysis. Functional verification is currently the most expensive task of the testing phase; while coverage-based testing approaches are fully automated, functional verification is still a human-based process.

8 Figures and Tables

Cite this paper

@inproceedings{2013FunctionalVO, title={Functional verification on PIL mode with IAR Embedded Workbench}, author={}, year={2013} }