|
|
|
None. More Events |
Subscribe to our newsletter mailing list!Sign up to receive the latest news and events about the ProTest project. |
Members loginClick here |
Training
Test Driven Development
Delegates will learn test frameworks for unit tests,
property-based tests and large-scale tests. The tutor will cover
EUnit, Common Test, QuickCheck for testing, then Wrangler,
Dialyzer and tracing (among others) for
maintenance. Participants will also learn principles of
Test-Driven Development which will promote the creation of more
reliable and maintainable software.
Duration: Three days.
These courses are either scheduled, run
bespoke at customer’s premises or linked to conferences.
Wrangler
Wrangler home page
Erlide
McErlang
McErlang- a model checker for Erlang
QuickCheck
QuickCheck - property based testing tool
