Mark E Trumpler

US Patent:

6853963, Feb 8, 2005

Filed:

May 25, 1999

Appl. No.:

09/318286

Inventors:

Larry Apfelbaum - West Newton MA, US
Peter L. Savage - Mont Vernon NH, US
Mark Trumpler - Lexington MA, US
John D. Doyle - Hollis NH, US
Thomas Lynch - Hollis NH, US
Ramesh Vaswani - Nashua NH, US

Assignee:

Empirix Inc. - Waltham MA

International Classification:

G06F009/45

US Classification:

703 2, 703 22, 703 17, 717126

Abstract:

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.

US Patent:

6957420, Oct 18, 2005

Filed:

Aug 30, 2001

Appl. No.:

09/943640

Inventors:

Mark Trumpler - Lexington MA, US
Eric Noorda - Mont Vernon NH, US
Albert Seeley - Burlington MA, US
Kathy Campbell - Lynnfield MA, US
Nathan W. David - Jacksonville FL, US
Peter Savage - Mont Vernon NH, US

Assignee:

E m pirix Inc. - Bedford MA

International Classification:

G06F009/45

US Classification:

717125, 714 32

Abstract:

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.

US Patent:

20040015865, Jan 22, 2004

Filed:

Mar 13, 2002

Appl. No.:

10/098068

Inventors:

Kevin Cirone - Nashua NH, US
Thomas Mayberry - Holliston MA, US
Peter Savage - Mount Vernon NH, US
Mark Trumpler - Lexington MA, US

International Classification:

G06F009/44

US Classification:

717/124000, 717/131000

Abstract:

The present invention provides data synthesis for a test sequence used to test methods of a software component. The present invention allows a wide variety of data types and forms to be synthesized in order to test the component. The present method generates parameter data and places it into a data table where each row of the table provides a single instance of that data for the method.

US Patent:

58705902, Feb 9, 1999

Filed:

Sep 15, 1997

Appl. No.:

8/929936

Inventors:

Ronald Allen Kita - Hollis NH
Mark Edward Trumpler - Lexington MA
Lois Scirocco Elkind - Hollis NH

International Classification:

G06F 1716

US Classification:

395500

Abstract:

A system and apparatus for generating an extended finite state machine (EFSM) from a specification expressed as a set of data relationships. The specification is written in a specification language designed for the purpose, and is parsed in a conventional fashion. The parsed specification is used as input to the method of the invention, which comprises routines for transforming it into an EFSM including states and transitions. The EFSM thus generated is used as input to a traversal procedure, for ultimately generating validation tests to verify the operation of an implementation of the specification, with one such test being generated for each path traversed through the EFSM. The traversal of the EFSM may be carried out in a conventional fashion or by using applicant's EFSM traversal method. The EFSM's transitions represent functions and test information, and the states represent the status of the EFSM at particular points, given the traversal of a particular path through the EFSM, i. e. the history of execution of the EFSM.

US Patent:

6038378, Mar 14, 2000

Filed:

Jul 10, 1996

Appl. No.:

8/677774

Inventors:

Ronald Allen Kita - Hollis NH
Mark Edward Trumpler - Lexington MA
Lois Scirocco Elkind - Hollis NH

Assignee:

Digital Esquipment Corporation - Maynard MA

International Classification:

G06F 945

US Classification:

39518314

Abstract:

A method and apparatus for automatically generating validation tests for implementations of a program specification for an operating system, software application or a machine, where the program specification is expressed at least in part in terms of data structures and relationships. The method is carried out by a computer. The program specification is expressed in an interface specification language which is automatically parsed, and is then transformed into an extended finite state machine (EFSM) or multiple-EFSM architecture internally represented in the computer, the EFSM including objects representing states and transitions between those states representing executable functions, annotated to the states. The annotations may represent predicates, test data, value assignments, branch conditions, etc. The EFSM or architecture is traversed by a path traversal procedure, either exhaustively or in part, thereby producing path files, one for each path taken.