Testing av tilstandsovergang med eksempel

by: Thomas Hamilton Thomas Hamilton
Hours oppdatert

⚡ Smart oppsummering

Testing av tilstandsoverganger er en svartboksteknikk som validerer hvordan en applikasjon beveger seg mellom tilstander når inndataforholdene endres. Denne veiledningen forklarer de fire diagramdelene, forskjellen mellom tilstandsdiagrammer og tabeller, og eksempler på fungerte minibanker og pålogging for testere.

  • 🔄 Kjerneide: Teknikken sjekker systematferd når samme inngang produserer forskjellige utganger basert på tidligere hendelser (et system med endelig tilstand).
  • 🧩 Fire byggeklosser: Hver modell er bygget fra tilstander, overganger, hendelser og handlinger.
  • 🗺️ Diagram kontra tabell: Diagrammer viser gyldige overganger; tabeller eksponerer ugyldige overganger.
  • 🏧 Praktiske eksempler: PIN-låsing i minibank og pålogging for flyreservasjoner viser reell dekning.
  • 🤖 AI-aktivering: AI-verktøy genererer automatisk tilstandsmodeller fra krav og flagger manglende eller ugyldige overganger.
Les mer

Testing av overgang til stater – stater

Hva er State Transition Testing?

Statlig overgangstesting er en svartboks-testteknikk der endringer i inngangsforhold forårsaker tilstandsendringer eller endringer i utdata i applikasjonen under test (AUT). Den hjelper med å analysere oppførselen til en applikasjon for forskjellige inngangsforhold, og testere kan gi positive og negative inngangsverdier mens de registrerer systemets oppførsel.

Den er basert på modellen som systemet og testene er bygget på. Ethvert system der du får forskjellig utdata for samme inngang – avhengig av hva som skjedde før – er et system med begrenset tilstand. Teknikken for testing av tilstandsoverganger er nyttig der du trenger teste forskjellige systemoverganger.

Når man skal bruke testing av tilstandsovergang

  • Når en tester tester applikasjonen for et begrenset sett med inngangsverdier.
  • Når testeren tester en sekvens av hendelser som oppstår i AUT-en, slik at applikasjonens oppførsel kan kontrolleres for en sekvens av inngangsverdier.
  • Når systemet som testes er avhengig av hendelser eller verdier fra fortiden.

Når man ikke skal stole på testing av tilstandsoverganger

  • Når testingen ikke er utført for sekvensielle inngangskombinasjoner.
  • Når testingen er rettet mot forskjellige funksjoner, for eksempel utforskende testing.

Fire deler av et tilstandsovergangsdiagram

Det er fire hovedkomponenter i tilstandsovergangsmodellen, beskrevet nedenfor.

1) stater som programvaren kan nå.

Testing av overgang til stater – stater

2) Overgang fra en stat til en annen.

Testing av tilstandsovergang – Overgang

3) Begivenheter som utløser en overgang, for eksempel å lukke en fil eller ta ut penger.

Testing av tilstandsoverganger – arrangementer

4) Handlinger som følge av en overgang, for eksempel en feilmelding eller å ha mottatt kontanter.

Testing av tilstandsovergang – handlinger

Tilstandsovergangsdiagram vs. tilstandsovergangstabell

Det finnes to hovedmåter å representere eller designe tilstandsovergang på: tilstandsovergangsdiagrammet og tilstandsovergangstabellen.

Aspekt Overgangsdiagram for tilstand Overgangstabell for staten
Også kalt Statsdiagram / graf Statens tabell
Representasjon Boxes for tilstander, piler for overganger Rutenett av tilstander (rader) og hendelser (kolonner)
Best for identifisering Gyldige overganger Ugyldige overganger
Hver celle viser - Tilstanden som nås etter at en hendelse har inntruffet

Hvordan foreta en tilstandsovergang (eksempler)

Eksempel 1: Utlåsing av PIN-kode for minibank

Tenk deg en minibanksystemfunksjon der kontoen låses hvis brukeren taster inn et ugyldig passord tre ganger.

I dette systemet, hvis brukeren skriver inn et gyldig passord i ett av de tre første forsøkene, er brukeren logget inn. Hvis brukeren skriver inn det ugyldige passordet på første eller andre forsøk, blir de bedt om å skrive det inn på nytt. Til slutt, hvis brukeren skriver inn feil passord en tredje gang, blokkeres kontoen.

Tilstandsovergangsdiagram (eksempel 1)

Overgangsdiagram for PIN-tilstand for minibank

I diagrammet går brukeren til statusen Tilgang gitt når de taster inn riktig PIN-kode. Hvis de taster inn feil passord, går de videre til neste forsøk, og hvis de gjør det samme en tredje gang, nås statusen Konto blokkert.

RELATERTE ARTIKLER

Tabell for tilstandsovergang (eksempel 1)

Tilstand Riktig PIN-kode Feil PIN
S1) Start S5 S2
S2) 1. forsøk S5 S3
S3) 2. forsøk S5 S4
S4) 3. forsøk S5 S6
S5) Tilgang gitt - -
S6) Konto blokkert - -

I tabellen, når brukeren taster inn riktig PIN-kode, går statusen over til S5 (Tilgang gitt). Hvis brukeren taster inn feil passord, går de videre til neste status, og etter det tredje feilforsøket når de statusen Konto blokkert.

Eksempel 2: Innlogging for flyreservasjon

På innloggingsskjermen for flyreservasjonen må du oppgi riktig agentnavn og passord for å få tilgang til søknad om flyreservasjon.

Graf for overgang til stat for flyreservasjon

Statsovergangsgraf

Applikasjonen tillater tre forsøk; hvis brukeren skriver inn feil passord på det fjerde forsøket, lukkes programmet automatisk.

Tilstandsgrafen hjelper deg med å bestemme gyldige overganger som skal testes. Testing med både riktig og feil passord er obligatorisk, og for test scenarier, innlogging på andre, tredje eller fjerde forsøk kan testes. Du kan bruke en tilstandstabell for å bestemme ugyldige systemoverganger.

Tabell for overgang til flyreservasjon

I en tilstandstabell er alle gyldige tilstander listet opp til venstre, og hendelsene som forårsaker dem er listet opp øverst. Hver celle viser tilstanden systemet går til når hendelsen inntreffer. For eksempel, i tilstand S1 tar et riktig passord deg til S6 (Tilgang gitt); et feil passord på første forsøk tar deg til S3 (2. forsøk). På samme måte kan du bestemme alle andre tilstander.

To ugyldige tilstander utheves ved hjelp av denne metoden. Anta at du er i tilstand S6 (allerede logget inn) og du åpner en annen instans av flyreservasjonen og skriver inn passord for den samme agenten. Systemresponsen for et slikt scenario må testes.

Fordeler og ulemper med statlig overgangsteknikk

Fordeler Ulemper
Gir en billedlig eller tabellarisk fremstilling av systemoppførselen, helping testdekselet og forstå systemet effektivt. Kan ikke stoles på hver gang – for eksempel passer den ikke systemer som ikke er endelige eller sekvensielle.
Lar testeren bekrefte at alle betingelser er dekket og resultatene registreres. Krever definering av alle mulige tilstander. Dette fungerer for små systemer, men brytes ned for større systemer på grunn av den eksponentielle veksten i antall tilstander.

Spørsmål og svar

Tilstandsovergangstesting er en svartboksteknikk som verifiserer hvordan et system beveger seg mellom tilstander når inngangsbetingelsene endres. Den passer til endelige tilstandssystemer der samme inngang kan produsere forskjellige utganger avhengig av tidligere hendelser.

De fire delene er Tilstander (forhold programvaren kan være i), Overganger (bevegelse mellom tilstander), Hendelser (utløsere som forårsaker en overgang) og Handlinger (resultater av en overgang, for eksempel en melding eller utdata).

Et tilstandsovergangsdiagram bruker bokser og piler og er best for å identifisere gyldige overganger. En tilstandstabell viser tilstander mot hendelser i et rutenett og er best for å oppdage ugyldige overganger.

Unngå det når innganger ikke er sekvensielle eller når du utfører utforskende testing av varierte funksjoner. Det brytes også ned for veldig store systemer fordi antallet tilstander vokser eksponentielt.

0-svitsjedekning tester hver eneste gyldige overgang én gang. 1-svitsjedekning tester hvert par av påfølgende overganger. Høyere svitsjedekning finner flere sekvensrelaterte defekter, men krever flere testtilfeller.

Det er en svartboksteknikk. Testtilfeller utledes fra forventet ekstern oppførsel av tilstander og overganger, uten behov for kunnskap om applikasjonens interne kildekode.

AI-verktøy leser krav og bygger automatisk tilstandsmodeller, og genererer deretter testtilfeller som dekker gyldige baner og kantoverganger. Dette reduserer manuell modelleringsarbeid og forbedrer dekningen av komplekse sekvenser.

Ja. AI kan analysere en tilstandsmodell og flagge manglende, utilgjengelige eller ugyldige overganger ved å sammenligne den med forventede atferdsmønstre.ping testere fanger opp hull som manuelle tabellvurderinger ofte overser.

Oppsummer dette innlegget med: