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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1999
Accession Number
ADA369013

Entities

People

  • Ali Y. Duale
  • Bruce D. Mcclure
  • M. Umit Uyar

Organizations

  • United States Army Research Laboratory

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Algorithms
  • Case Studies
  • Computer Architecture
  • Computing System Architectures
  • Demographic Cohorts
  • Electrical Engineering
  • Local Area Networks
  • Loops
  • Military Research
  • Models
  • Network Protocols
  • Network Topology
  • Networks
  • Redundancy
  • Refining
  • Specifications
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Fault Tolerant Diagnosis of Black and White Balloon Isolation Tests Using ¥.
  • Software Engineering.
  • Systems Analysis and Design