PyModel

PyModel es un framework de pruebas basado en modelos de código abierto en Python.
En las pruebas unitarias, los códigos de programador los casos de prueba, así como códigos de afirmaciones que comprueban si cada caso de prueba pasó. En pruebas basadas en modelos, el programador codifica un "modelo" que genera la mayor cantidad de casos de prueba como se desee y también actúa como el oráculo que comprueba los casos.
Se recomienda basado en modelos de prueba donde se necesitan tantos casos de prueba que no es factible para codificar todos ellos con la mano. Esta necesidad surge al probar comportamientos que exhiben la historia-dependencia y no determinismo, por lo que muchas variaciones (valores de datos, interleavings, etc.) deben ser probados para cada escenario (o utilice caso). Los ejemplos incluyen los protocolos de comunicación, aplicaciones web, sistemas de control e interfaces de usuario.
PyModel admite la prueba en la marcha, que puede generar pruebas no repetitivo indefinidamente siempre que la prueba se ejecuta. PyModel puede enfocar los casos de prueba en escenarios de interés por la composición, una técnica versátil que combina modelos mediante la sincronización de acciones compartidas y no compartidas entrelazado de acciones. PyModel puede guiar cobertura de la prueba de acuerdo a las estrategias programables codificadas por el programador.
PyModel ofrece tres programas:
- Analizador pymodel pma.py: genera una máquina de estados finitos (FSM) y calcula las propiedades mediante la exploración de un programa modelo, FSM, banco de pruebas, o un producto de ellos.
- Gráficos pymodel pmg.py: genera un archivo de comandos gráficos de un FSM.
- Probador pymodel pmt.py: muestra rastros, genera pruebas fuera de línea, ejecuta pruebas fuera de línea, o genera y ejecuta pruebas sobre la marcha.
Utilice pma y pmg para visualizar y obtener una vista previa del comportamiento de pmt. Cada camino a través de la gráfica creada por pma (y dibujado por PMG) es una traza (prueba) que puede ser generado por pmt, cuando pma y pmt se invocan con los mismos argumentos.
PyModel está influenciada por NModel, pero no es una traducción, o re-implementación

Requisitos .

• Python