Refining VHDL Specifications Through Conformance Testing: Case Study of an Adaptive Computing Architecture

Report No. ARL-TR-2010
Authors: Duale, Ali Y.; McClure, Bruce D.; Uyar, M. Umit
Date/Pages: July 1999; 45 pages
Abstract: The aim of this work is to enable a more rigorously tested product by integrating protocol specification and conformance test sequence generation. Such an integration will allow for the removal of costly mistakes from a specification at an early stage of the development process before they propagate into different implementations, possibly combined with other errors. This integrated approach has been applied to the VHDL specification of a military- oriented protocol prototype called the "Local Proxy." Based on the results of the conformance test generation process, the Local Proxy specification has been refined by uncovering various missing actions, removing redundancies, and restructuring the specification to improve its testability.
Distribution: Approved for public release
  Download Report ( 2.515 MBytes )
If you are visually impaired or need a physical copy of this report, please visit and contact DTIC.

Last Update / Reviewed: July 1, 1999