Mis on mudelipõhine testimine?

Mudelipõhine testimine on tarkvara testimise tehnika, mille käigus kontrollitakse testitava tarkvara käitusaja käitumist mudeli ennustustega. Mudel on süsteemi käitumise kirjeldus. Käitumist saab kirjeldada sisendjadade, toimingute, tingimuste, väljundi ja andmevoo kaudu sisendist väljundisse. See peaks olema praktiliselt arusaadav ja korduvkasutatav; jagataval peab olema testitava süsteemi täpne kirjeldus.

Saadaval on palju mudeleid ja see kirjeldab süsteemi käitumise erinevaid aspekte. Mudeli näited on järgmised:

Andmevoog
Juhtimise voog
Sõltuvusgraafikud
Otsustabelid
Oleku ülemineku masinad

Mudelipõhine testimine kirjeldab, kuidas süsteem reageerib toimingule (määratud mudeliga). Pakkuge toiminguid ja vaadake, kas süsteem reageerib ootustele.

See on kerge formaalne meetod süsteemi kinnitamiseks. Seda testimist saab rakendada nii riistvara kui ka tarkvara testimisel.

Mudelipõhise testimise näide

Ülaltoodud mudel selgitab märkmikus luule kirjutamise lihtsustatud lähenemist ja iga sammuga seotud võimalikke toiminguid. Iga toimingu jaoks (nt alustamine, luuletuse sisestamine, salvestamine) Testjuhtum saab genereerida ja väljundit saab kontrollida.

MBT tüübid

Mudelipõhiseid testimisraamistikke on kahte tüüpi -

Võrguühenduseta / a priori: testkomplektide loomine enne selle käivitamist. Testkomplekt pole midagi muud kui testjuhtumite kogum.
Võrgus / käigupealt: testkomplektide loomine testi täitmise ajal

Erinevad mudelid testimisel

MBT mõistmiseks on vaja mõista mõnda allpool kirjeldatud mudelit. Vaatame need ükshaaval läbi:

Lõppseisundi masinad

See mudel aitab testijatel tulemust hinnata sõltuvalt valitud sisendist. Erinevad sisendite kombinatsioonid võivad põhjustada süsteemi vastava oleku.

Süsteemil on konkreetne olek ja praegune olek, mida juhivad testijate antud sisendid.

Mõelge näitele -

Olemas on süsteem, mis võimaldab töötajatel rakendusse sisse logida. Nüüd on töötaja praegune olek "Väljas" ja pärast süsteemi sisselogimist muutus see "sisse". Olekus "in" saab töötaja süsteemis dokumente vaadata, printida ja skannida.

Osariigi graafikud

See on lõpliku oleku masina laiendus ja seda saab kasutada keerukate ja reaalajas süsteemide jaoks. Olekukaarte kasutatakse süsteemi erinevate käitumiste kirjeldamiseks. Sellel on kindel arv olekuid. Süsteemi käitumist analüüsitakse ja esitatakse sündmuste kujul iga oleku kohta.

Näiteks -

Defektid kuvatakse defektide haldamise tööriistas olekuga Uus. Kui arendajad on selle parandanud, tuleb see muuta olekuks Parandatud. Kui defekti ei parandata, muutke olekuks Re-Open. Osariikide diagrammid peaksid olema koostatud nii, et need peaksid kutsuma üles iga osariigi jaoks sündmuse.

Ühtne modelleerimiskeel (UML)

Ühtne modelleerimiskeel (UML) on standardiseeritud üldotstarbeline modelleerimiskeel. UML sisaldab graafiliste märkimistehnikate komplekti visuaalsete mudelite loomiseks, mis suudavad kirjeldada süsteemi väga keerulist käitumist.

UML-il on sellised märgid nagu:

Tegevused
Näitlejad
Äriprotsess
Kompkletis
Programmeerimiskeel

Mudelipõhise testimise väljakutsed

MBT juurutamine igas organisatsioonis nõuab ilmselgelt suuri investeeringuid ja jõupingutusi. Järgmised on MBT puudused Tarkvaraarendus.

Vajalikud oskused testijatel
Õppimiskõvera aeg on pikem
Mudelit ennast on raske mõista

Mudelite testimise eelised

MBT eelised on järgmised:

Lihtne testjuhtumi/komplekti hooldus
Kulude vähendamine
Täiustatud testi katvus
Saab läbi viia erinevaid teste n arvul masinatel
Varajane defektide tuvastamine
Defektide arvu suurenemine
Aja kokkuhoid
Testija tööga rahulolu paranes

Järeldus

Testijad konstrueerivad testimise ajal niikuinii vaimseid mudeleid. Neid vaimseid mudeleid saab muuta paberil olevateks mudeliteks. See aitab testijatel saavutada loetavust ja taaskasutatavust.

Mudelipõhine testimine on uus lähenemisviis tarkvara testimine. Tarkvara testimise areng on näidatud allpool -