Project

General

Profile

Wiki » History » Version 2

Mikhail Chupilko, 08/02/2011 10:36 AM

1 1 Mikhail Chupilko
h1. C++TESK Testing ToolKit Wiki
2
3 2 Mikhail Chupilko
[[C++TESK Testing TooKit]] was created to facilitate verification of complex hardware designs. C++TESK includes all the best [[CTESK]] abilities of FSM-based test stimuli generation and usage of pre- and post-conditions. To start using the toolkit is possible after downloading, decompressing, compiling with gcc.
4 1 Mikhail Chupilko
5
The toolkit delivers rather useful and convenient API to create test systems for hardware models. All the components of test systems based on the toolkit are written only by means C++ language. The test systems usually include following components: a test oracle (it includes a reference model and an adapter for the model), a functional coverage tracker based on the reference model, test scenarios. The test systems being developed follow TLM-like approach to the sending data between its components; both approaches are based on messages. According to the level of detail of the reference model and the carefulness of the oracle, the resulted test system can be called cycle-accurate, approximated, and time-free.
6
7
This Wiki will provide all the necessary information about the toolkit.