PyModel

PyModel is 'n oop-bron model-gebaseerde toets raamwerk in Python.
In eenheid toets, die programmeerder kodes die toets gevalle, en ook kodes bewerings dat kyk of elke toets geval geslaag het. In-model gebaseer toets, die programmeerder kodes 'n "model" wat so baie toets gevalle genereer as gewenste en tree ook op as die binneste vertrek dat die gevalle tjeks.
-Model gebaseer toets word aanbeveel waar so baie toets gevalle is nodig dat dit nie haalbaar is om hulle almal te kodeer met die hand. Hierdie behoefte ontstaan ​​wanneer die toets gedrag wat die geskiedenis-afhanklikheid en nondeterminism, sodat baie variasies (data waardes, interleavings, ens) te stal moet getoets word vir elke scenario (of gebruik geval). Voorbeelde sluit in kommunikasie protokolle, web programme, stelsels en gebruikerkoppelvlakke.
PyModel ondersteun on-the-fly toets, wat onbepaald lank nonrepeating toetse kan genereer as die toetslopie voer. PyModel kan toets gevalle te fokus op scenario's van belang deur samestelling, 'n veelsydige tegniek wat modelle kombineer deur sinchronisasie gedeel aksies en inleg ongedeelde aksies. PyModel kan toets dekking lei volgens programmeerbare strategieë gekodeer deur die programmeerder.
PyModel bied drie programme:
- Pma.py pymodel ontleder: genereer 'n eindige toestand masjien (FSM) en bere eienskappe deur die verkenning van 'n model program, FSM, toets suite of 'n produk van hierdie.
- Pmg.py pymodel grafiese: genereer 'n lêer van grafiese instruksies van 'n FSM.
- Pmt.py pymodel tester: vertoon spore, genereer toetse af, voer op die regte pad toetse, of genereer en voer toetse op-die-vlieg.
Gebruik pma en customer om te visualiseer en 'n voorbeeld van die gedrag van PMT. Elke pad deur die grafiek geskep deur pma (en getrek deur customer) is 'n spoor (toetslopie) wat gebruik kan word gegenereer deur PMT, wanneer pma en PMT opgeroep met dieselfde argumente.
PyModel word beïnvloed deur NModel, maar is nie 'n vertaling of re-implementering

Vereistes :.

• Python