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

摘要

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.