Other

National Institute of Information and Communications Technology, Incorporated

Hirotaka Otsuka

Takanori Mori

Teruo Higashino

Nobuo Funabiki

Akio Nakata

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.

Growing community of inventors

Shounan-machi Higashikatsushika-gun, Chiba 277-0931, Japan

Hirotaka Otsuka