TextTest

TextTest 3.28.2 updated

As the name suggests, the TextTest project works via comparing plain text logged by programs with a previous 'gold standard' version of that text.This is in contrast to most acceptance testing frameworks on offer today, which generally use some form of...

UPPAAL

UPPAAL 4.0.6

UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).UPPAAL CORA is a branch of UPPAAL for Cost Optimal...

van.pg

van.pg 2.0

van.pg is a Python module that provides easy creation of PostgreSQL databases (and clusters) for unit testing.Dirty DatabasesTest databases take a long time to create. In general you need to be a little careful when you decide to delete/recreate a test...