PyModel

PyModel je open-source modelu na bázi testování rámec v Pythonu.
V jednotkové testy, kódy programátor testovací případy, a také kódy tvrzení, že zkontrolovat, zda každý test případ předán. V modelového testování kódy programátor "modelem", který generuje tolik testovacích případů, jak je požadováno, a také se chová jako Oracle, který kontroluje případy.
Model založený na testování se doporučuje, pokud je potřeba tolik test případech, že to není možné je všechny kód ručně. Tato potřeba vzniká při testování chování, které vykazují historii závislost a Nedeterminismus, takže mnoho variací (datové hodnoty, interleavings, atd), by měla být testována pro každý scénář (nebo použít případ). Příklady zahrnují komunikační protokoly, webové aplikace, kontrolní systémy, a uživatelských rozhraní.
PyModel podporuje on-the-fly testování, které může generovat neurčitě dlouhé zkoušky, neopakující se jako zkušební provoz spustí. PyModel mohou zaměřit testovacích případů na scénářích zájmu složením, univerzální techniku, která kombinuje modely synchronizací společných akcí a prokládání nesdílené akce. PyModel může vést test pokrytí v souladu s programovatelnými strategiemi kódovaných programátorem.
PyModel nabízí tři programy:
- Pma.py pymodel analyzátor: generuje konečný státní stroj (FSM) a počítá vlastnosti zkoumáním modelového programu, FSM, testovací balík, nebo výrobek z nich.
- Pmg.py pymodel grafika: generuje soubor grafických příkazů z FSM.
- Pmt.py pymodel Tester: zobrazuje stopy, generuje testy v režimu offline, spustí v režimu offline zkoušky, nebo vytváří a provádí testy on-the-fly.
Použijte PMA a PMG k vizualizaci a náhled chování PMT. Každá cesta přes grafu vytvořený PMA (a taženém PMG), je stopový (zkušební provoz), které mohou být generovány PMT, kdy PMA a PMT jsou vyvolán s stejné argumenty.
PyModel je ovlivněna NModel, ale není překlad nebo re-implementace

Požadavky na :.

• Python