Empirix Inc.

Mark Trumpler

Peter Savage

Albert Robinson Seeley

John David Doyle

Ramesh H Vaswani

Larry Apfelbaum

Wesley C Hand, Jr

Nathan W David

Thomas Lynch

Eric Noorda

Kathy Campbell

A method is disclosed for testing applications that include non-deterministic behavior. The presently disclosed method generates test code for testing deterministic behavior of an application. When instances of non-deterministic behavior of the application being tested are encountered, the method provides acceptable alternate behaviors, such that the non-deterministic behavior can be effectively tested. The method may be implemented as a software test tool that utilizes a graphical programming interface to make the test generation simple and easy to use.

Method of generating test scripts for systems having dynamic behavior

A method of using a computer to analyze an extended finite state machine model of a system includes providing a graphical user interface that presents a table of rows, receiving data in at least one table row, and determining at least one path through the states and transitions of the extended finite state machine model using at least one of the rows in the table.

Analyzing an extended finite state machine system model

Growing community of inventors

Lexington, MA, United States of America

Mark Trumpler