PyModel

PyModel er en åpen kildekode-modellbasert testing rammeverk i Python.
I enhetstesting, programmerer koder testtilfeller, og også koder påstander som sjekker om hver test bestått. I modellbasert testing, programmerer koder en "modell" som genererer så mange testtilfeller som ønsket, og også fungerer som orakel som sjekker sakene.
Modellbasert testing anbefales der så mange testtilfeller er nødvendig at det ikke er mulig å kode dem alt for hånd. Dette behovet oppstår når testing atferd som viser historie-avhengighet og nondeterminism, slik at mange variasjoner (dataverdier, interleavings, etc.) bør testes for hvert scenario (eller bruke tilfelle). Eksempler er kommunikasjonsprotokoller, web-applikasjoner, kontrollsystemer, og brukergrensesnitt.
PyModel støtter on-the-fly testing, noe som kan generere uendelig lange nonrepeating tester som testkjøringen utfører. PyModel kan fokusere testtilfeller på scenarier av interesse ved komposisjon, en allsidig teknikk som kombinerer modellene ved å synkronisere felles handlinger og innfelling udelte handlinger. PyModel kan veilede testdekning i henhold til programmerbare strategier kodet av programmereren.
PyModel har tre programmer:
- Pma.py pymodel analysator: genererer en endelig tilstandsmaskin (FSM) og beregner egenskaper ved å utforske en modell program, FSM, test suite, eller et produkt av disse.
- Pmg.py pymodel grafikk: genererer en fil av grafiske kommandoer fra en FSM.
- Pmt.py pymodel tester: viser spor, genererer tester offline, utfører offline tester, eller genererer og utfører tester on-the-fly.
Bruk PMA og pmg å visualisere og forhåndsvise oppførselen til innbetaling. Hver sti gjennom grafen skapt av PMA (og tegnet av PMG) er et spor (testkjøring) som kan genereres ved innbetaling, når PMA og innbetaling er startet med de samme argumentene.
PyModel er påvirket av NModel, men er ikke en oversettelse eller re-implementering

Krav .

• Python