The project “MOdel-Based SEcurity Testing In Practice” was focused on model-based testing in the area of security testing. The goal of the project was the development of a methodology for automatic generation and execution of test cases that cover certain security aspects of software components. The project tackled issues to determine a feasible development language, implement the tools for the generation of test cases, execution of the tool in a specific project of one of our partner companies and cooperation on an international level in course of the ITEA2 DIAMONDS project.
The results generated in this project were of essential economic importance, especially in the automation of security tests, and take an important role in all of our upcoming projects.