|
The beta version of CTESK 2.5 has been published.
The main new features are:
- Full integration of CTESK tool in Eclipse+CDT (C/C++ Development Tools) IDE.
- Advanced facilities of test coverage definition and achieved coverage acquisition.
- The run-time support library implementation in C to improve the compatiblility of the binary library files with diffrenet versions of gcc compiler.
- Improved support of C programming language and its gcc extensions by the translator of specifications.
- Significant improvement of tools's speed and stability especially for large test suites.
|
|
