Search ETDs:
DVTG - Design Verification Test Generation from Rosetta Specifications
Ranganathan, Krishna

2001, MS, University of Cincinnati, Engineering : Computer Engineering.
The traditional approach to design validation has been to use implementation-based testing techniques. These techniques select test data based on the information obtained from the implementation. They focus on the actual behavior of the implementation, and tend to ignore its intended behavior. Validating a system design using specification-based testing techniques has several advantages over the implementation-based techniques. Selecting test data from the specifications enables testing intended behavior as well as actual functionality. Testing the implementation with respect to its specification ascertains that the implementation satisfies its requirements. This is called validation of the implementation, where we try to establish whether we have implemented the correct component. We thus try to ensure that the correct system has been built. In this thesis, we present a methodology for generating test scenarios and test vectors from Rosetta specifications. The primary objective of the Design Verification Test Generator (DVTG) is the automatic generation of test vectors from requirements representations. The functional requirements for components are represented in a traditional axiomatic style using Rosetta facets. The DVTG tool "walks through" a Rosetta specification, and generates input criteria and acceptance criteria, for the input and output parameters respectively. These classes of test vectors, known as test scenarios, are represented as a Rosetta facet. The input criteria are then combined with test requirements specified in Rosetta, to generate abstract test vectors. The abstract test vectors, represented in Rosetta, can be directly translated into concrete test vectors that are used as specific inputs to simulation runs. The outputs generated during these runs can be verified against the acceptance criteria to validate the implementation. In this thesis, we also demonstrate the generation of concrete test vectors by transforming the abstract vectors into WAVES test vectors suitable for VHDL simulation.
Dr. Perry Alexander (Advisor)
85 p.

Recommended Citations

Hide/Show APA Citation

Ranganathan, K. (2001). DVTG - Design Verification Test Generation from Rosetta Specifications. (Electronic Thesis or Dissertation). Retrieved from https://etd.ohiolink.edu/

Hide/Show MLA Citation

Ranganathan, Krishna. "DVTG - Design Verification Test Generation from Rosetta Specifications." Electronic Thesis or Dissertation. University of Cincinnati, 2001. OhioLINK Electronic Theses and Dissertations Center. 27 Apr 2015.

Hide/Show Chicago Citation

Ranganathan, Krishna "DVTG - Design Verification Test Generation from Rosetta Specifications." Electronic Thesis or Dissertation. University of Cincinnati, 2001. https://etd.ohiolink.edu/

Files

ucin994691304.pdf (401.53 KB) View|Download