Sudėtingų duomenų tipų testinių duomenų generavimas, naudojantis apribojimų sprendimo technikas
|
Title | Sudėtingų duomenų tipų testinių duomenų generavimas, naudojantis apribojimų sprendimo technikas |
Authors | |
Abstract | 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 |
Publisher | Kaunas University of Technology |
Date | 2013-06-11 |
Source | Informacinės technologijos ir valdymas Vol 42, No 2 (2013) |
Rights | Copyright terms are indicated in the Republic of Lithuania Law on Copyright and Related Rights, Articles 4-37. |