||Correct distributed Java applications
||2009 - 2013
||BMBF / AiF
||University of Applied Sciences Osnabrueck, soft2tec GmbH (Ruesselsheim, Germany), University of Osnabrueck (Germany)
||Software Quality, Model-Driven-Development, Applied Formal Methods
||Speed and quality (e.g. in the form of security issues and reliability) are competitive factors in the software development market with increasing importance. Model-driven software development is one approach to fasten the development tasks by means of re-use and automatization. The system is developed on the design level. UML (Unified Modeling Language) is used, for instance, to structure and design the software in a developer-friendly graphical way resulting in a domain model. From these models the final code is generated - often by re-using and combining existing software components. While this is already used in practice to fasten the software development, quality aspects are typically neglected within this generation process. This project aims at new solutions to combine the software generation process with testing and verification techniques. Due to the variety of systems in a distributed environment there is no single test method or tool which covers all quality issues. Therefore, different approaches to verify and test systems will be analyzed and combined. The combination of the different quality ensurance methods will be validated by means of industrial case studies.