Complete, randomly ordered traversal of cyclic directed graphs

摘要

A test generator creates a cyclic directed graph representation of the interface of a program being tested and then generates tests from this representation. In generating the tests, the test generator iteratively selects traversal paths through the cyclic directed graph that result in traversal of every edge in the graph in a random order with a minimum number of iterations. The resulting tests contain randomly selected actions and randomly generated data, and thus when executed, these tests randomly manipulate the program being tested.