Patent ID: 8560893

Claim:
A method for automatically generating executable system-level tests from an initial action and a system design comprising: establishing a system design to include an interrelation of components, actions the components are operable to perform, and constraints relating to the performance of the actions; receiving at least an initial action from a user; generating a constraint satisfaction problem (CSP) including: automatically adding to the CSP a set of requisite actions to the initial action, wherein the set of requisite actions are added responsive to an evaluation of the system design to determine other actions required to perform the initial action; and, automatically adding to the CSP a set of constraints accumulated from the initial action and each action of the set of requisite actions; solving the CSP to thereby simultaneously satisfy the set of constraints; generating an executable system-level test by assembling the initial action and the set of requisite actions in an at least partial sequence responsive to a solution of the CSP, wherein the executable system-level test includes executable code operable to perform a verification test on a system represented by the system design.