Article

An integrated verification and testing environment

  1. Richard N. Taylor

Article first published online: 30 OCT 2006

DOI: 10.1002/spe.4380130805

Issue

Software: Practice and Experience

Software: Practice and Experience

Volume 13, Issue 8, pages 697–713, August 1983

Additional Information

How to Cite

Taylor, R. N. (1983), An integrated verification and testing environment. Software: Practice and Experience, 13: 697–713. doi: 10.1002/spe.4380130805

Author Information

  1. Department of Information and Computer Science, University of California, Irvine Irvine, California 92717, U.S.A.

Publication History

  1. Issue published online: 30 OCT 2006
  2. Article first published online: 30 OCT 2006
  3. Manuscript Revised: 21 MAR 1983
  4. Manuscript Received: 7 JUN 1982

Funded by

  • Natural Sciences and Engineering Research Council of Canada. Grant Numbers: GR29, A5538

SEARCH

SEARCH BY CITATION

ARTICLE TOOLS

Get PDF (1166K)

Keywords:

  • Verification and testing;
  • Programming environments;
  • Tools Reliability;
  • Software development aids;
  • Embedded software

Abstract

A verification and testing environment that includes static analysis, symbolic execution, and dynamic analysis capabilities is presented. Tool integration and co-operation are promoted through use of an intermediate program representation and a system data manager. A substantial user interface aids application of the tools. Their use is guided by a verification and testing methodology on which the system's design is based. The environment has been engineered to support the production of flight control software written in HAL/S. The environment itself is written in Pascal and is designed to be portable. Several development experiences are described. The environment demonstrates that a strong, unified verification and testing environment can be built; it serves as a basis for future investigations.

Get PDF (1166K)