摘要:Programinė įranga tampa vis svarbesnė ir sudėtingesnė, ji vis labiau pritaikoma. Reikia vis labiau užtikrinti šių programų kokybę. Siekiant patikrinti didelių ir sudėtingų sistemų veikimą, reikalingi testavimo automatizavimo metodai, padedantys įvertinti, ar programa veikia tinkamai ir atitinka specifikaciją. Pagrindinis tikslas sukurti efektyvų automatizuotą testinių duomenų generavimo metodą naudojant sudėtingas duomenų struktūras. Straipsnyje pateikiamas testinių duomenų generavimo metodas sudėtingoms duomenų struktūroms, atsižvelgiant į testuojamos programinės įrangos modelį, klasių ryšius ir pateiktus apribojimus, - pritaikomi apribojimų sprendimo metodai ir jais konstruojami atitinkami testinių duomenų objektai ir jų hierarchijos. Pateiktas metodas iliustruojamas paprasto ir didelio projekto, realizuojančio I++ protokolo saityną, pavyzdžiais.DOI: http://dx.doi.org/10.5755/j01.itc.42.2.1855
其他摘要: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.DOI: http://dx.doi.org/10.5755/j01.itc.42.2.1855
关键词:software testing; test data generation; quality assurance; model based testing