Hvad er tilstandsovergangstestning i softwaretestning?

Tilstandsovergangstestning er en black-box-teknik, der verificerer, hvordan et system bevæger sig mellem tilstande, når inputbetingelserne ændrer sig. Den bruges til finite-state-systemer, hvor det samme input kan producere forskellige output afhængigt af tidligere begivenheder.

Hvornår bør man ikke bruge test af tilstandsovergang?

Undgå det, når input ikke er sekventielle, eller når du udfører udforskende test af forskellige funktionaliteter. Det kan også være problematisk for meget store systemer, fordi antallet af tilstande vokser eksponentielt.

Test af tilstandsovergang med eksempel

⚡ Smart opsummering

Test af tilstandsovergange er en black-box-teknik, der validerer, hvordan en applikation bevæger sig mellem tilstande, når inputbetingelserne ændrer sig. Denne vejledning forklarer de fire diagramdele, forskellen mellem tilstandsdiagrammer og tabeller samt eksempler på fungerende ATM- og login-funktioner for testere.

🔄 Kerneidé: Teknikken kontrollerer systemadfærd, når det samme input producerer forskellige output baseret på tidligere hændelser (et finite-state system).
🧩 Fire byggesten: Hver model er bygget ud fra tilstande, overgange, begivenheder og handlinger.
🗺️ Diagram vs. tabel: Diagrammer viser gyldige overgange; tabeller eksponerer ugyldige overgange.
🏧 Praktiske eksempler: Spærring af pinkode til hæveautomat og login til flyreservationer demonstrerer reel dækning.
🤖 AI-aktivering: AI-værktøjer genererer automatisk tilstandsmodeller ud fra krav og markerer manglende eller ugyldige overgange.

Læs mere

Hvad er State Transition Testing?

Statsovergangstest er en black-box-testteknik, hvor ændringer i inputforhold forårsager tilstandsændringer eller outputændringer i den testede applikation (AUT). Det hjælper med at analysere en applikations adfærd under forskellige inputforhold, og testere kan give positive og negative inputværdier, mens de registrerer systemets adfærd.

Det er baseret på den model, som systemet og testene er bygget på. Ethvert system, hvor man får et forskelligt output for det samme input – afhængigt af hvad der skete før – er et finite-state system. Teknikken med tilstandsovergangstestning er nyttig, hvor man har brug for teste forskellige systemovergange.

Hvornår skal man bruge test af tilstandsovergang

Når en tester tester applikationen for et endeligt sæt af inputværdier.
Når testeren tester en rækkefølge af hændelser, der forekommer i AUT'en, hvilket gør det muligt at kontrollere applikationens adfærd for en rækkefølge af inputværdier.
Når det testede system afhænger af begivenheder eller værdier fra fortiden.

Hvornår man ikke skal stole på test af tilstandsovergang

Når testen ikke udføres for sekventielle inputkombinationer.
Når testningen er rettet mod forskellige funktionaliteter, såsom udforskende testning.

Fire dele af et tilstandsovergangsdiagram

Der er fire hovedkomponenter i tilstandsovergangsmodellen, som er beskrevet nedenfor.

1) stater som softwaren kan nå.

2) Overgang fra én stat til en anden.

3) Begivenheder der udløser en overgang, såsom lukning af en fil eller hævning af penge.

4) Handlinger som følge af en overgang, såsom en fejlmeddelelse eller at have fået udbetalt kontanter.

Tilstandsovergangsdiagram vs. Tilstandsovergangstabel

Der er to primære måder at repræsentere eller designe tilstandsovergang på: tilstandsovergangsdiagrammet og tilstandsovergangstabellen.

Aspect	Tilstandsovergangsdiagram	Statsovergangstabel
Også kaldet	Statsdiagram / graf	Statstabel
Repræsentation	Boxes for tilstande, pile for overgange	Gitter af tilstande (rækker) og begivenheder (kolonner)
Bedste for at identificere	Gyldige overgange	Ugyldige overgange
Hver celle viser	—	Den tilstand, der opnås efter en begivenhed

Sådan foretager du en tilstandsovergang (eksempler)

Eksempel 1: Spærring af pinkode til hæveautomat

Overvej en hæveautomatsystemfunktion, hvor kontoen låses, hvis brugeren indtaster den ugyldige adgangskode tre gange.

I dette system er brugeren logget ind, hvis brugeren indtaster en gyldig adgangskode i et af de første tre forsøg. Hvis brugeren indtaster den ugyldige adgangskode i første eller andet forsøg, bliver de bedt om at indtaste den igen. Hvis brugeren indtaster den forkerte adgangskode en tredje gang, blokeres kontoen.

Tilstandsovergangsdiagram (eksempel 1)

I diagrammet går brugeren til tilstanden Adgang givet, når de indtaster den korrekte pinkode. Hvis de indtaster den forkerte adgangskode, går de videre til næste forsøg, og hvis de gør det samme en tredje gang, nås tilstanden Konto blokeret.

Tabel for tilstandsovergang (eksempel 1)

Tilstand	Korrekt pinkode	Forkert PIN-kode
S1) Start	S5	S2
S2) 1. forsøg	S5	S3
S3) 2. forsøg	S5	S4
S4) 3. forsøg	S5	S6
S5) Adgang givet	-	-
S6) Konto blokeret	-	-

I tabellen skifter tilstanden til S5 (Adgang givet), når brugeren indtaster den korrekte pinkode. Hvis brugeren indtaster en forkert adgangskode, går de videre til den næste tilstand, og efter det tredje forkerte forsøg når de tilstanden Konto blokeret.

Eksempel 2: Login til flyreservation

På loginskærmen til flyreservationen skal du indtaste det korrekte agentnavn og den korrekte adgangskode for at få adgang til ansøgning om flyreservation.

Tilstandsovergangsgraf

Applikationen tillader tre forsøg; hvis brugeren indtaster den forkerte adgangskode i det fjerde forsøg, lukker systemet applikationen automatisk.

Tilstandsgrafen hjælper dig med at bestemme gyldige overgange, der skal testes. Testning med både den korrekte og en forkert adgangskode er obligatorisk, og for test scenarier, login på 2., 3. eller 4. forsøg kan hver især testes. Du kan bruge en tilstandstabel til at bestemme ugyldige systemovergange.

I en tilstandstabel er alle gyldige tilstande angivet til venstre, og de hændelser, der forårsager dem, er angivet øverst. Hver celle viser den tilstand, systemet bevæger sig til, når hændelsen indtræffer. For eksempel, i tilstand S1, fører en korrekt adgangskode dig til S6 (Adgang givet); en forkert adgangskode ved første forsøg fører dig til S3 (2. forsøg). Ligeledes kan du bestemme alle andre tilstande.

To ugyldige tilstande fremhæves ved hjælp af denne metode. Antag, at du er i tilstand S6 (allerede logget ind), og du åbner en anden instans af flyreservationen og indtaster adgangskoder til den samme agent. Systemets respons for et sådant scenarie skal testes.

Fordele og ulemper ved statsovergangsteknik

Fordele	Ulemper
Giver en billedlig eller tabelformet repræsentation af systemets adfærd, helping testdækslet og forstå systemet effektivt.	Kan ikke stoles på hver gang — for eksempel passer den ikke til systemer, der ikke er endelige eller sekventielle.
Lader testeren verificere, at alle betingelser er dækket, og at resultaterne registreres.	Kræver definition af alle mulige tilstande. Dette fungerer for små systemer, men fungerer ikke for større systemer på grund af den eksponentielle vækst i antallet af tilstande.

Ofte Stillede Spørgsmål

Tilstandsovergangstestning er en black-box-teknik, der verificerer, hvordan et system bevæger sig mellem tilstande, når inputbetingelserne ændrer sig. Den er egnet til finite-state-systemer, hvor det samme input kan producere forskellige output afhængigt af tidligere begivenheder.

De fire dele er Tilstande (forhold, som softwaren kan være i), Overgange (bevægelse mellem tilstande), Hændelser (udløsere, der forårsager en overgang) og Handlinger (resultater af en overgang, såsom en besked eller output).

Et tilstandsovergangsdiagram bruger bokse og pile og er bedst til at identificere gyldige overgange. En tilstandstabel viser tilstande i forhold til hændelser i et gitter og er bedst til at finde ugyldige overgange.

Undgå det, når input ikke er sekventielle, eller når du udfører udforskende test af forskellige funktionaliteter. Det kan også forekomme i meget store systemer, fordi antallet af tilstande vokser eksponentielt.

0-switch coverage tester hver eneste gyldige overgang én gang. 1-switch coverage tester hvert par af fortløbende overgange. Højere switch coverage finder flere sekvensrelaterede defekter, men kræver flere testtilfælde.

Det er en black-box-teknik. Testcases udledes af den forventede eksterne adfærd af tilstande og overgange, uden behov for kendskab til applikationens interne kildekode.

AI-værktøjer læser krav og bygger automatisk tilstandsmodeller, hvorefter de genererer testcases, der dækker gyldige stier og kantovergange. Dette reducerer manuel modelleringsindsats og forbedrer dækningen af komplekse sekvenser.