PyModel

PyModel è un framework di test basati su modello open-source in Python.
Nel test di unità, i codici programmatore casi di test, e codici anche affermazioni che verificano se ogni test superato. Nei test model-based, il "modello" codici programmatore che genera il maggior numero di casi di test, se lo desideri e funge anche l'oracolo che controlla i casi.
Si raccomanda-modello basato esperimenti, se sono necessari molti casi di test che non è possibile codificare tutti a mano. Questa esigenza nasce durante il test i comportamenti che mostrano la storia-dipendenza e determinismo, in modo che molte varianti (valori di dati, interleavings, etc.) devono essere provati per ogni scenario (o usare caso). Gli esempi includono i protocolli di comunicazione, applicazioni web, sistemi di controllo e interfacce utente.
PyModel supporta testing on-the-fly, che può generare test non ripetuto indefinitamente fino a quando il test viene eseguito. PyModel può concentrarsi casi di test su scenari di interesse per la composizione, una tecnica versatile che combina modelli sincronizzando azioni condivise e interleaving azioni non condivise. PyModel può guidare copertura di test secondo strategie programmabili codificati dal programmatore.
PyModel offre tre programmi:
- Analizzatore pma.py pymodel: genera una macchina a stati finiti (FSM) e calcola le proprietà esplorando un modello di programma, FSM, suite di test, o di un prodotto di questi.
- Grafica pmg.py pymodel: genera un file di comandi grafici da un FSM.
- Pmt.py pymodel tester: visualizza le tracce, genera le prove in linea, esegue le prove in linea, o genera ed esegue i test on-the-fly.
Utilizzare pma e pmg di visualizzare in anteprima e il comportamento di pmt. Ogni percorso attraverso il grafico creato da PMA (e disegnato da PMG) è una traccia (test) che può essere generato da PMT, quando pma e PMT vengono richiamati gli stessi argomenti.
PyModel è influenzato da NModel, ma non è una traduzione o reimplementazione

Requisiti .

• Python