In this paper, we propose an effective conformance testing method for a subclass of protocols modeled as a set of DFSMs. The number of test cases in the proposed method is only proportional to the sum of those of states and transitions in a given set of DFSMs. In our method, we find a characterization set for each DFSM, which is used to test the DFSM alone in Wp-method, and the union of the characterization sets is used as a characterization set for the total system. For a set of DFSMs with common inputs, there may exist two or more tuples of states that have correct responses against a given characterization set. So, in order to identify each state 8 in a DFSM, we find a characterization set with some specific properties. Then we select a suitable

Abstract. In this paper, we propose a functional testing method of media synchronization protocols, which control the synchronization between audio and movie, described in concurrent synchronous timed I/O automata. In order to trace all test sequences (I/O event sequences) with synchronization on the model, we need to execute each I/O event at an adequate timing which satisfies the whole timing constraint for all the given test sequences. However, the outputs are given from the IUT and uncontrollable. Also each output/synchronization timing may affect executable timing for its succeeding I/O events in the test sequences. In this paper, we propose a technique to derive a set of time intervals which make all the given test sequences executable, and propose a method for functional testing using the technique.

According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (DFSMs). In those , protocols, a common input may be taken by some of concurrent DFSMs competitively. I n such a case, the global behaviour becomes non-deterministic in general. Conformance testing is typically a black-box testing, i.e. it is based on its specifcation. Formal methods for deriving conformance test cases are widely recognized as being capable of producing tests with high fault coverage. In this paper, we propose a conformance testing method based on GWp-method for a sub-class of non-observable non-deterministic FSMs (NFSMs). In this class, the global behaviour of many protocols modeled as concurrent DFSMs can be specified. The proposed method can be used not only for testing NFSMs directly but also for testing concurrent DFSMs whose global behaviour becomes non-observable non-deterministic.