Kontest: A tool for scenario-based software testing(NPO-50601-1)

Kontest is a new tool for automated software testing. It provides convenient syntax allowing a developer to write test scenarios that can describe broad classes of tests. Scenarios can be as simple as an ordinary unit test with added parameters that can take a range of values, but can also include nondeterministic sequences of actions with temporal or other constraints (the notation is still under development). Given a scenario, Kontest automatically refines it into thousands of concrete tests, using dynamic program analysis to find realizations of the scenario that will trigger different execution paths through the program under test.