PCTgen is project focusing on efficiency and possible improvements in methods for process and data consistency testing of software applications. The research cover areas as automated generation of the test cases, more flexible and practically applicable coverage criteria and synergies between process and data consistency testing. One of project practical outputs is application PCTgen for automated generation of the test cases for application processes of workflows, abstracted as directed graphs. The main use case of the application is to significantly reduce the test designer’s time needed for manual creation of the process test cases. Besides the practical usability of its public release for the test designer community, the application serves as experimental platform for verification of proposed enhancements in test design techniques.

Involved: Miroslav Bureš, Martin Filipský, Karel Frajták

Project website: