Title Test data generation for complex data types using imprecise model constraints and constraint solving techniques /
Another Title Sudėtingų duomenų tipų testinių duomenų generavimas, naudojantis apribojimų sprendimo technikas.
Authors Packevičius, Šarūnas ; Rudžionienė, Greta ; Guogis, Evaldas ; Barisas, Dominykas ; Jasaitis, Robertas ; Blažauskas, Tomas
DOI 10.5755/j01.itc.42.2.1855
Full Text Download
Is Part of Informacinės technologijos ir valdymas = Information technology and control.. Kaunas : KTU. 2013, t. 42, Nr. 2, p. 191-204.. ISSN 1392-124X. eISSN 2335-884X
Keywords [eng] Software testing ; Test data generation ; Quality assurance ; Model based testing
Abstract [eng] Number of software applications is growing rapidly, as well as their importance and complexity. The need of quality assurance of these applications is increasing. Testing is one of the key processes to ensure the quality of software and object-oriented applications in particular. In order to test large and complex systems, test automation methods are needed, which evaluate whether the software is working properly. The main goal is to improve effectiveness of object-oriented applications testing by creating an automated test data generation method for complex data structures. This paper presents a test data generation method by adhering to software under test static model and its model constraints. The method provides an algorithm that allows generating test data for complex data structures, by analysing software under test model, its constraints and using constraint solving techniques for building corresponding test data objects and their hierarchies. The presented method is exemplified by simple case studies as well as a large I++ protocol implementing web service project.
Published Kaunas : KTU
Type Journal article
Language English
Publication date 2013