Automated Method for Software Integration Testing Based on UML Behavioral Models

Autor:	Eduardas Bareiša, Šarūnas Packevičius, Dominykas Barisas
Rok vydání:	2013
Předmět:	UML tool Model-based testing Test data generation Computer science business.industry Programming language Integration testing Applications of UML computer.software_genre Symbolic execution Software construction Software engineering business System integration testing computer
Zdroj:	Communications in Computer and Information Science ISBN: 9783642419461 ICIST
DOI:	10.1007/978-3-642-41947-8_23
Popis:	Nowadays, testing is often considered more important than the code itself. Therefore, in order to test large and complex systems test automation methods are needed, which help evaluating whether the software is working properly. The main goal of the research is to improve effectiveness of integration testing by creating an automated method based on UML behavioral models. Test input data generation using symbolic execution was applied and it gave full structural coverage, which increased the quality of integration testing. Testing method allowed automating the testing process and increased the effectiveness of tests in comparison with other methods. Experiments showed that 96% of all mutations were successfully detected, and automated test data generation based on symbolic execution increased the detection of mutants by 6-19% in comparison to other model-based testing methods.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1c5930328871b4deb0b440c3d74177c2 https://doi.org/10.1007/978-3-642-41947-8_23 Zobrazit plný text záznamu