Automated Testing of Software with Adequate Coverage of Input Space

Some software products have large input spaces, with potentially an exponentially large number of parameter combinations. It is infeasible to exhaustively test such software products. This disclosure describes techniques to automatically generate input space coverage for a software product by generating test cases from a rules grammar while maintaining coverage over the lifetime of the product. The various components include a grammar for describing the input space; a test engine to accept workloads and input parameters and to generate test cases that run workloads against input parameters; a software module that computes the number of interacting parameters to test and efficient combinations thereof to make a tractable number of test inputs; etc