PyModel-0.9: Model-based testing in Python
jon.p.jacky at gmail.com
Tue Jul 12 17:15:10 CEST 2011
PyModel-0.9, an open-source model-based testing framework in Python,
has been released. Code, documents, and downloads are available:
Version 0.9 adds new functionality, new samples, and some changes to
internals to be more consistent with recommended Python style and
programming practices. For details see see
pymodel/notes/release-0.9.txt at the above site. Version 0.85 was
announced here in March 2010.
There will be talk on PyModel at SciPy 2011 on Wednesday, July
13 in Austin, Texas:
In unit testing, the programmer codes the test cases, and also codes
assertions that check whether each test case passed. In model-based
testing, the programmer codes a "model" that generates as many test
cases as desired and also acts as the oracle that checks the cases.
PyModel supports on-the-fly testing, which can generate indefinitely
long nonrepeating tests as the test run executes. PyModel can focus
test cases on scenarios of interest by composition, a versatile
technique that combines models by synchronizing shared actions and
interleaving unshared actions. PyModel can guide test coverage
according to programmable strategies coded by the programmer.
PyModel provides three programs:
- pma, pymodel analyzer: generates a finite state machine (FSM) and
computes properties by exploring a model program, FSM, test suite,
or a product of these.
- pmg, pymodel graphics: generates a file of graphic commands from an
- pmt, pymodel tester: displays traces, generates tests offline,
executes offline tests, or generates and executes tests on-the-fly.
Use pma and pmg to visualize and preview the behavior of pmt. Every
path through the graph created by pma (and drawn by pmg) is a trace
(test run) that may be generated by pmt, when pma and pmt are invoked
with the same arguments.
More information about the Python-announce-list