Empirix Inc.

Peter Savage

John David Doyle

Mark Trumpler

Larry Apfelbaum

Tibor F Ivanyi

David Hsing-Wang Wong

Albert Robinson Seeley

Ramesh H Vaswani

Wesley C Hand, Jr

Nathan W David

Jason Neri

Eric Noorda

Kathy Campbell

Monica Chandnani

Thomas Lynch

Eduardo Joo

Katrin Bell

A system and method for testing signals in digital-network packets includes generation of reference clips and associated reference key values and comparison of the reference key values with current key values associated with incoming current-digital-network packets under test In this way the incoming current-digital-network packets can be tested for either a correct audio and/or video signal or a signal with sufficiently high signal integrity to allow it to be understood by a user at a destination point.

System and method for testing signals within digital-network packets

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

A method of using a computer to analyze an extended finite state machine model of a system includes receiving at least one requirement expression, determining at least one path of states and transitions through the model, evaluating at least one of the requirement expressions based on at least one of the determined paths through the model to determine whether the path satisfies the requirement expression, and generating a report based on the evaluating.

Growing community of inventors

Mont Vernon, NH, United States of America

Peter Savage