Method and apparatus to generate test sequences for...

Details Method and apparatus to generate test sequences for... Method and apparatus to generate test sequences for...

2006-04-25

2006-04-25

Nghiem, Michael (Department: 2863)

Data processing: measuring, calibrating, or testing

Testing system

Reexamination Certificate

active

07035747

ABSTRACT:
A method and apparatus for generating test sequences for communication protocols that inputs data of finite state machines (FSM) representing the specification of the communication protocols, converts the test sequence generation problem to the satisfiability problem (SAT problem), and generates test sequences for communication protocols by solving the SAT problem. The method converts the test sequence generation problem to the SAT problem by modifying the FSM and describing the test sequence generation problem using a conjunctive normal form formula based on the modified FSIM. By considering multiple input/output (UID) sequences and overlapping sequences, the method generates minimum length test sequence to check whether the states described in the specification of the protocol exist in the implementation of the FSM.

REFERENCES:
patent: 6034623 (2000-03-01), Wandel
patent: 2004/0019468 (2004-01-01), De Moura et al.
patent: 2004/0193709 (2004-09-01), Selvaggi et al.

Affiliated with

Also associated with

Rating

Method and apparatus to generate test sequences for... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and apparatus to generate test sequences for..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus to generate test sequences for... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3553713