CTESK Community Edition

CTESK Community Edition is the free-of-charge full-function version of the CTESK toolkit for Linux. The software is made available under the Apache License, Version 2.0.

CTESK implements UniTESK concepts of automated specification based testing for C programming language. This is a sort of functional testing, where the main task is to ensure that the system under test satisfies its requirements under different operating conditions.

So far, functional testing toolkits have always been based on manually developed test scripts or the results of code analysis. CTESK can use a formal representation of requirements, usually called formal specifications, as a source of test development.

There are no fundamental limitations on the kind of software under test. However, CTESK shows its best in application program interface testing. Most other cases can be easily reduced to API testing with the help of wrapper interfaces and applying CTESK to them.

Tools like CTESK are usually applied to software with high reliability requirements. So, the most promising areas of application of CTESK are as follows.

  • Critical software (embedded software, industrial process control, health monitoring systems).
  • System software (components implementing OS services, Web servers).
  • Telecommunication software.
  • Any software related to formally stated standards (protocols, Internet applications).

CTESK improves software development processes, because tests can be developed based on specification only, therefore being independent from implementation. Forward development of tests reduces duration of software development, and improves quality of testing. CTESK is the most powerful tool for unit and integration testing.
Copyright © 2014 Institute for System Programming of the Russian Academy of Sciences