Programinės įrangos regresinis testavimas naudojant simbolinius vyksmus
|
Title | Programinės įrangos regresinis testavimas naudojant simbolinius vyksmus |
Authors | |
Abstract | Pateikiamas būdas, kaip aprašyti kūrimą testų, kurie tikrina, ar dėl programinės įrangos pakeitimų neatsirado regresinių klaidų. Programuotojai paprastai vykdo naują programos versiją naudodami tą patį testų rinkinį. Siekiant šio tikslo modelio tikrinimas buvo naudojamas testiniams įėjimams generuoti, šitaip siekiant padengti visas programos būsenas. Modeliui tikrintii buvo sukurtas praplėtimas, kuris padėjo pagerinti testų kokybę ir surasti daugiau regresinių klaidų. Perteikta pagrindinė idėja ir pavyzdinis modelis. Il. 7, bibl. 18 (anglų kalba; santraukos anglų ir lietuvių k.).http://dx.doi.org/10.5755/j01.eee.112.6.457 |
Publisher | Kaunas University of Technology |
Date | 2011-06-22 |
Source | Elektronika ir elektrotechnika Vol 112, No 6 (2011) |
Rights | Autorių teisės yra apibrėžtos Lietuvos Respublikos autorių teisių ir gretutinių teisių įstatymo 4-37 straipsniuose. |