JavaTESK is a toolkit for testing applications developed in Java.

JavaTESK implements UniTESK concepts of automated testing based on specifications. 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.

Until now, functional testing toolkits have always been based on manually developed test scripts or the results of code analysis. JavaTESK 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, JavaTESK 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 JavaTESK to them.

JavaTESK 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. JavaTESK is the most powerful tool for unit and integration testing.