Generating test vectors from system requirements

Specification-based verification is increasingly being used when designing systems. Specification-based verification uses conventional testing methods where the program under test is repeatedly stimulated and outputs and/or other values are observed and compared against the expected values. There are number of advantages to this approach, an important one being validation of the system against the specification. Testing the implementation against the specification ensures that the implementation satisfies its specified functionality. In this paper, we describe an automated approach of validating systems using axiomatic specifications and simulation. Specifically, we describe the generation of test vectors from Rosetta specifications. These vectors can directly be translated to specific inputs to simulation runs, and the outputs generated during these runs can be checked against the acceptance criteria generated from the specifications