PyModel

PyModel är ett open-source modellbaserad testning ramverk i Python.
I enhetstestning, programmeraren koder testfall, samt koder påståenden som kontrollerar huruvida varje testfall passerat. I modellbaserad testning, den programmerare koder en "modell" som genererar så många testfall som önskas och även fungerar som orakel som kontrollerar fallen.
Modellbaserad testning rekommenderas där det behövs så många testfall att det inte är möjligt att koda dem alla för hand. Detta behov uppstår när man testar beteenden som uppvisar historia beroende och nondeterminism, så att många variationer (datavärden, interleavings, etc.) bör testas för varje scenario (eller använd fall). Som exempel kan nämnas kommunikationsprotokoll, webbapplikationer, styrsystem och användargränssnitt.
PyModel stöder on-the-fly tester, som kan generera obestämd tid långa icke upprepande tester som provkörningen körs. PyModel kan fokusera testfall på scenarier av intresse genom förlikning, en mångsidig teknik som kombinerar modeller genom att synkronisera delade åtgärder och mellanläggs odelade åtgärder. PyModel kan vägleda testtäckning enligt programmerbara strategier som kodas av programmeraren.
PyModel erbjuder tre program:
- Pma.py pymodel analysator: genererar en ändlig tillståndsmaskin (FSM) och beräknar egenskaper genom att undersöka ett modellprogram, FSM, testsvit, eller en produkt av dessa.
- Pmg.py pymodel grafik: genererar en fil med grafiska kommandon från en FSM.
- Pmt.py pymodel testare: visar spår genererar tester offline utför offline tester, eller genererar och exekverar tester on-the-fly.
Använd PMA och PMG att visualisera och förhandsgranska beteende pmt. Varje väg genom grafen som skapats av PMA (och teckningar av PMG) är ett spår (testkörning) som kan genereras av pmt, när PMA och pmt åberopas med samma argument.
PyModel påverkas av Nmodel, men är inte en översättning eller återutnyttjande

Krav .

• Python