Abstract: The invention relates to a method of automatic testing of a software system through test driver code that classifies test data into equivalence classes and updates the available test data after using it against the software system. One embodiment of the invention is a Test Runner that monitors the effect of calling the software system on the available test data and uses this information to automatically determine the execution order of test cases to meet a number of objectives including to: Reuse data between calls, ensure all test cases are executed, perform parallelized testing, perform time dependent testing, perform continuous testing according to a probability distribution on test cases, perform automated management of complex test data and finally to provide an easy and concise way for a user to define a large sets of test cases.

Abstract: The invention relates to a method of automatic testing of a software system through test driver code that classifies test data into equivalence classes and updates the available test data after using it against the software system. One embodiment of the invention is a Test Runner that monitors the effect of calling the software system on the available test data and uses this information to automatically determine the execution order of test cases to meet a number of objectives including to: Reuse data between calls, ensure all test cases are executed, perform parallelized testing, perform time dependent testing, perform continuous testing according to a probability distribution on test cases, perform automated management of complex test data and finally to provide an easy and concise way for a user to define a large sets of test cases.

Abstract: The invention relates to a method of automatic testing of a first software system using a test specification, the first software system comprising data and interacting with a third software system communicatively coupled to a database; the method comprising defining at least one operation; wherein an operation operates on at least one of at least one entity; defining at least one test condition; wherein a test condition defines at least one required value of a number of properties of at least one entity in order for the at least one entity to be passed on to the at least one operation and wherein said at least one test condition is defined by at least one condition generating expression in said test specification; operating, via said third software system, said at least one operation on said first software system, transmitting from the first software system to the third software system first data representing a result of said at least one operation operating on said first software system; if the first data sa