Microsoft Technology Licensing, LLC

Steven Rosaria

Henry J Robinson

Michael P Corning

Roger W Porter

Barry Webberley

Glenn LaVigne

A finite state model-based testing system has a user interface to enable a user to enter state information and transition information about a software application to be tested. The user interface further enables a user to initiate a model generation engine to generate a model of the software application from the state information and transition information. A graph traversal menu enables a user to select a graph traversal program to generate a test sequence of inputs for the software application from the model, and a test execution menu enables a user to select a test driver program to read the test sequence of inputs for the software application, and execute the test sequence of inputs on the software application.

Finite state model-based testing user interface

A software reduction component may be provided with a software interface. The software interface may define a test case load method also define a model load method. The reduction component has logic for reducing test cases loaded via implementations of the method definitions. An implementation of the software interface can be provided. The implementation has an implementation of the defined test case load method, which can parse test cases in a first format and can build data structures corresponding to the test cases that are accessible by the software reduction component. The implementation can also have an implementation of the defined model load method, which can parse descriptions of models of respective programs and generate therefrom model data structures that model behavior of the respective programs.

Model independent input reduction

An exemplary computer-implementable method includes receiving a test specification document file for a software product wherein the test specification document file includes mark-up language, calling for storage of the test specification document file in a test database, parsing the mark-up language, creating test information for manual test variations based at least in part on the parsing of the mark-up language, outputting a list of at least some of the manual test variations, receiving manual test result information based on execution of at least one of the manual test variations on the software product and calling for storage of the manual test result information in the test database. Various other exemplary methods, devices, systems, etc., are also disclosed.

Growing community of inventors

Redmond, WA, United States of America

Steven Rosaria