C++TESK Testing ToolKit » History » Version 1
Mikhail Chupilko, 08/02/2011 10:40 AM
| 1 | 1 | Mikhail Chupilko | h1. C++TESK Testing ToolKit |
|---|---|---|---|
| 2 | |||
| 3 | The toolkit was developed in Institute for System Programming of the Russian Academy of Sciencies during 2010-2011. |
||
| 4 | |||
| 5 | The major target of the toolkit is to provide useful framework for hardware and software verification. |
||
| 6 | |||
| 7 | At the current moment the toolkit includes the following components: |
||
| 8 | * [[CTESK]] |
||
| 9 | * [[C++TESK]] |
||
| 10 | * [[C++TESK Hardware Edition]] |
||
| 11 | * [[NetFSM]] |
||
| 12 | * [[Aspectrace]] |