Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Ryan R. Ulaszek0
Michael D. Miller0
Date of Patent
July 17, 2012
0Patent Application Number
120213830
Date Filed
January 29, 2008
0Patent Citations Received
...
Patent Primary Examiner
Patent abstract
Some embodiments of the present invention provide a system that tests a software program. During operation, the system creates a behavioral model of the software program using branches, decisions, and options. Next, the system generates a test case from the behavioral model and executes the test case on the software program. Finally, the system analyzes an output of the executed test case to determine a validity of the software program.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
