Ivannikov Institute for System Programming of the RAS


JavaTESK is a toolkit for testing applications developed in Java. JavaTESK implements UniTESK concepts of automated testing based on specifications. The toolkit can use a formal representation of requirements, usually called formal specifications, as a source of test development. 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.

Watch for more information here.


Software Engineering

Back to the list of technologies of ISP RAS