PyModel

PyModel jest open-source, w oparciu o model ramach badań w Pythonie.
W testów jednostkowych, kody programista przypadki testowe, a także kody twierdzenia, że ​​sprawdzić, czy każdy przypadek testowy przeszedł. W badaniach opartych na modelu, kody programista "model", który generuje tyle przypadków testowych zgodnie z potrzebami, a także działa jako wyroczni, która sprawdza przypadki.
Zaleca się badanie w oparciu o model, w którym potrzebne są więc wiele przypadków testowych, że nie jest możliwe, aby zakodować je wszystkie strony. Potrzeba ta powstaje, gdy badania zachowań, które wykazują zależność od historii i nondeterminism, tak że wiele odmian (wartości danych, interleavings, etc.) powinny być badane dla każdego scenariusza (lub użyć sprawy). Przykłady obejmują protokoły komunikacyjne, aplikacje internetowe, systemy sterowania i interfejsów użytkownika.
PyModel wspiera badania na locie, który może generować nieskończoność długie testy nonrepeating jako test wykonuje. PyModel może skupić przypadków testowych na scenariuszy zainteresowaniem składzie, wszechstronną techniką, która łączy modele wspólnych działań przez synchronizację i przeplatanie działania niedzieloną. PyModel poprowadzi pokrycie testowe według programowalnych strategii kodowanych przez programistę.
PyModel oferuje trzy programy:
- Analizator pma.py pymodel: generuje stan maszyny skończonych (FSM) i oblicza właściwości poprzez zbadanie modelowego programu, FM, zestaw testów, lub produktów z nich.
- Grafika pmg.py pymodel: generuje z FSM plik poleceń graficznych.
- Tester pmt.py pymodel: wyświetla ślady, generuje testów zalogowany, wykonuje testy w trybie offline, lub tworzy i wykonuje testy on-the-fly.
Użyj PMA i PMG do wizualizacji i podgląd na zachowanie PMT. Każda ścieżka przez wykresu utworzonego przez PMA (i rysowane przez PMG) jest trace (test), które mogą być generowane przez PMT, gdy PMA i PMT są wywoływane z tymi samymi argumentami.
PyModel wpływa NModel, ale nie jest to tłumaczenie lub ponowne wdrożenie

Wymagania .

• Python