Projects

Oxygen

(previously PCTgen)

URL: http://sen.felk.cvut.cz/oxygen

Oxygen (previously 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 Oxygen for automated generation of the test cases for application processes of workflows and data consistency tests. 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.

People: Ing. Miroslav Bureš, Ph.D.


OS informatika a společnost

ČSKI

URL: http://www.cski.cz/

OS informatika a společnost

People: Doc. Ing. Karel Richta, CSc.