Wiki » History » Version 8
Alexander Kamkin, 09/16/2011 11:37 AM
| 1 | 4 | Mikhail Chupilko | h1. Wiki Start Page |
|---|---|---|---|
| 2 | 1 | Mikhail Chupilko | |
| 3 | 5 | Mikhail Chupilko | [[C++TESK Testing ToolKit]] 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 | 6 | Mikhail Chupilko | 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 | 1 | Mikhail Chupilko | |
| 7 | 7 | Alexander Kamkin | [[Command Line Utilities]] |
| 8 | 8 | Alexander Kamkin | |
| 9 | [[C++TESK System Requirements]] |