×

Method and apparatus for testing event driven software

  • US 6,353,896 B1
  • Filed: 12/15/1998
  • Issued: 03/05/2002
  • Est. Priority Date: 12/15/1998
  • Status: Expired due to Term
First Claim
Patent Images

1. A software testing method comprising:

  • providing a source program of the software, the source program including a plurality of instructions which contain a first source code segment for causing a computer to execute a event driven system;

    the first source code segment including a first plurality of instructions defining a plurality of control states, the plurality of control states being associated with the event driven system, a second plurality of instructions defining a plurality of events of the event driven system, and a third plurality of instructions defining a plurality of actions of the event driven system, each control state of the plurality of control states having an individual identifier within the first plurality of instructions of the first source code segment, the individual identifier being a programming symbol which is common to all the identified control states, and a second source code segment containing at least one plurality of instructions defining a sequential control of the computer executing the event driven system;

    parsing the source program to identify the plurality of control states and converting the source program to a state machine format;

    applying a translation map to the plurality of instructions of the source program;

    converting the state machine format of the source program to a verification program;

    applying an environmental model to the verification program; and

    testing the software in a verification tool using the verification program.

View all claims
  • 7 Assignments
Timeline View
Assignment View
    ×
    ×