METHOD AND SYSTEM FOR TESTING AND ANALYZING USER INTERFACES
First Claim
Patent Images
1. A method for testing an application interface, comprising:
- generating a test for the application interface, the test based upon a verification language, wherein the verification language is different from a programming language used to create the application interface;
driving the application interface using the test in the verification language;
collecting data resulting from driving the application interface using the test;
analyzing the data from driving the application interface; and
displaying analysis results or storing the analysis results in a computer readable medium.
1 Assignment
0 Petitions
Accused Products
Abstract
A system and method is described in which the state of the art in automated software applications is significantly improved. According to some approaches, interface testing is implemented and based upon a verification language and a verification environment. The system and method support the concepts of constrained random test generation, coverage, constrained random generation, and dynamic checks.
110 Citations
34 Claims
-
1. A method for testing an application interface, comprising:
-
generating a test for the application interface, the test based upon a verification language, wherein the verification language is different from a programming language used to create the application interface; driving the application interface using the test in the verification language; collecting data resulting from driving the application interface using the test; analyzing the data from driving the application interface; and displaying analysis results or storing the analysis results in a computer readable medium. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19)
-
-
20. A system for testing an application interface, comprising:
-
a memory for holding executable code comprising instructions for testing an application interface; a processor communicable with the memory for executing the executable code; a test created in a verification language, wherein the verification language is different from a programming language used to create the application interface, and wherein the test is capable of driving the application interface. - View Dependent Claims (21, 22, 23, 24, 25, 26, 27)
-
-
28. A computer program product that includes a computer readable medium, the computer readable medium comprising a plurality of computer instructions which, when executed by a processor, cause the processor to execute performing a process for testing an application interface, the process comprising
generating a test for the application interface, the test based upon a verification language, wherein the verification language is different from a programming language used to create the application interface; -
driving the application interface using the test in the verification language; collecting data resulting from driving the application interface using the test; analyzing the data from driving the application interface; and displaying analysis results or storing the analysis results in a computer readable medium. - View Dependent Claims (29, 30, 31, 32, 33, 34)
-
Specification