Patent Document ID: 7813911
Application ID: 11531070

Base Claim:
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.

---

Claim 5:
5. The method of claim 1 , further comprising accessing the at least one model during the testing.