C++TESK Testing ToolKit » History » Version 3
Mikhail Chupilko, 08/02/2011 10:47 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]] |
||
13 | 2 | Mikhail Chupilko | |
14 | 3 | Mikhail Chupilko | !figure2_eng.tiff! |