Program testing system and method
OwnerFrank Lininventor
Life of this patent
Estimating the term…
Abstract
A program testing system includes an event list, a random selector, and a state machine. The event list records events that a to-be-tested program can handle. The random selector randomly selects the to-be-tested event from the event list. According to a current state and the contents of a state transition table of the to-be-tested program, the state machine determines whether the to-be-tested event is valid in relation to the current state. When the state machine determines that, in relation to the current state, the to-be-tested event is a valid event, the program testing system then based on this result uses a valid to-be-tested event to test the to-be-tested program. The present invention also discloses a program testing method for achieving the above-mentioned system.
Claims16
A program testing system for testing a to-be-tested program that has a plurality of states and can process a plurality of events, the program testing system comprising:
- an event list, which records all the events that the to-be-tested program is able to process;
- a random selector, which randomly selects an to-be-tested event from the event list;
- and
- a state machine which, according to a current state and a state transition table of the the to-be-tested program, determines whether the to-be-tested event is a valid event for the current state, wherein the state transition table records a correlated relation between each state and event and, when the state machine determines that the event is a valid event for the current state, the program testing system uses the judgement result to test the to-be-tested program as a valid to-be-tested event.
A program testing method for testing a to-be-tested program that has a plurality of states and can process a plurality of events, the program testing method comprising:
- selecting a to-be-tested event randomly from an event list that records the plurality of events;
- according to a current state and a state transition table of the to-be-tested program, checking if the to-be-tested event is valid in regarding to the current state, wherein the state transition table records a correlated relation between each state and event;
- and
- testing the to-be-tested program with a valid to-be-tested event in accordance with the judgement result of the state machine.
A computer readable recording medium which records program codes that once a computer loades in will be able to execute the following procedures:
- selecting a to-be-tested event randomly from an event list which records a plurality of events;
- according to a current state and a state transition table of the to-be-tested program, checking if a to-be-tested event is valid in regarding to the current state, wherein the state transition table records a correlated relation between each state and event;
- and
- testing the to-be-tested program with a valid to-be-tested event in accordance with the judgement result of the state machine.
Dependencies are inferred from the claim text.