Method for testing, debugging, and comparing computer programs using concurrent simulation of program paths

A method for testing and debugging a computer program utilizing multi-domain concurrent simulation on a digital computer system comprising the steps of:

• a. providing a set of input variables for a computer program having a series of computer program paths;
• b. defining a set of values for each of the input variables;
• c. identifying a reference value as a first value assigned to each input variable;
• d. initiating a first computer program as a simulation run of each computer program path on a computer using the reference value of each of the input variables and assigning each simulation run a corresponding first reference signature;
• e. simulating each of the computer program paths using a succeeding one of the set of values for each one of the set of input variables and providing a first group of primary experiments corresponding to a difference between the reference signature of each computer program path and the succeeding one of the set of values and assigning each one of the primary experiments with unique signatures;
• f. simulating each of the computer program paths using a next succeeding one of the set of values for each one of the set of input variables and providing a second group of primary experiments corresponding to a difference between the reference signature of each computer program path using the next succeeding one of the set of values and assigning each one of the second group of primary experiments with unique signatures;
• g. forming a plurality of difference signatures corresponding to differences in signatures between the signature of a reference experiment and the signature of the first and second groups of primary experiments;
• and
• h. comparing the difference group of signatures generated from each computer program path to the corresponding reference signature to determine an absence, a presence, and a location of any number of computer program design errors.