PyModel

PyModel er en open-source modelbaseret test rammer i Python.
I test af enheder, programmøren koder testcases, og også koder påstande, der kontrollerer, om hver testcase bestået. I modelbaseret test, den programmør koder en "model", der genererer så mange prøvesager som ønsket, og også fungerer som orakel, der kontrollerer sagerne.
Anbefales modelbaseret test, hvor så mange prøvesager er brug at det ikke er muligt at kode dem alle i hånden. Dette behov opstår, når test adfærd, der udviser historie-afhængighed og nondeterminism, således at mange variationer (dataværdier, interleavings, etc.) bør testes for hvert scenario (eller brug tilfælde). Eksempler omfatter kommunikationsprotokoller, web-applikationer, kontrolsystemer, og brugergrænseflader.
PyModel understøtter on-the-fly test, som kan generere uendeligt lange nonrepeating tests som prøvekørslen udfører. PyModel kan fokusere testcases på scenarier af interesse ved sammensætningen, en alsidig teknik, der kombinerer modeller ved at synkronisere aktioner med og interleaving udelte handlinger. PyModel kan vejlede test dækning i henhold til programmerbare strategier kodet af programmøren.
PyModel giver tre programmer:
- Pma.py pymodel analysator: genererer en tilstandsmaskine (FSM) og beregner egenskaber ved at udforske en model program, MFS, test suite eller et produkt af disse.
- Pmg.py pymodel grafik: genererer en fil med grafiske kommandoer fra en FSM.
- Pmt.py pymodel tester: viser spor, genererer tests offline, udfører offline tests, eller genererer og udfører test on-the-fly.
Brug PMA og PMG til at visualisere og se et eksempel på adfærd PMT. Hver sti gennem grafen skabt af PMA (og tegnet af PMG) er et spor (prøvekørsel), der kan genereres af pmt, når PMA og PMT påberåbes med de samme argumenter.
PyModel påvirkes af NModel, men er ikke en oversættelse eller re-implementering

Krav :.

• Python