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.