4. The method of claim 1 , further comprising: performing a custom test on at least one other portion of the software process, different than the at least one portion, the custom test designed to test an execution of the at least one other portion.
1. A method for generating a model of at least one portion of a software process in a computer system, comprising: employing a processor to execute computer executable instructions stored on a computer readable storage medium to implement at least the following acts: receiving program code represented in a programming language corresponding to at least one portion of the software process; annotating a copy of the program code with a description, wherein the description describes at least one model represented by the at least one portion of the software process; generating the at least one model based on the description annotated onto the copy of the program code; testing the at least one portion of the software process by performing a test on the at least one model; and influencing the at least one model during said testing.