ATAC - Avancerad testautomation för komplexa mjukvaruintensiva system

Syfte och mål

In ATAC, Mälardalen University had the following goals: 1. To evaluate the current state of the art in automated test generation and evaluation specifically in a safety-critical software development. 2. To propose a tool-supported approach to automated test generation that can be useful and applicable in practice. In addition the approach supports measurements and evaluation of tests including optimization and minimization. 3. To validate this approach using industrial use-case scenarios and assess its efficiency and effectiveness.

Resultat och förväntade effekter

Through the ATAC project, we advanced the state of the art in automated test generation using model-checkers. The project results were disseminated through 4 conference and 2 journal papers (one in submission). Further, we developed a ready-to-use by industry tool for testing control programs (see www.completetest.org), intended to meet the needs of industrial end users. In addition, ATAC enabled us to establish ourselves as a national research leader in the field of automated test generation for control systems and an attractive partner for research collaboration in this field.

Upplägg och genomförande

Technology transfer, dissemination and exploitation are vital for ITEA2-type projects. The research agenda should be driven by the needs of the industrial partners. Accordingly, the work in the ATAC project was performed in close collaboration with the industrial partners. Specifically, MDH staff have spent a large share of the time at Bombardier Transportation, and a PhD student is currently spending 80% of her time at Ericsson, performing a case study. These visits have enabled understanding of industrial needs, and the ability to adapt the research accordingly.

Externa länkar

Sida för verktyget CompleteTest som är del av MDHs ATAC-resultat. Projektgemensam webplats för ATAC.