Test generation of FSM with weighted transitions

Conformance testing of a protocol is used to guarantee the correctness of the implementation. Testing is done by applying a sequence of inputs to the implementation under test (IUT) and observing the corresponding output sequence of the IUT. The sequence of inputs and corresponding outputs is called the test sequence. A new finite state machine (FSM) model-FSMw (FSM with weighted transition) is presented. In the FSMw, every transition has its transfer weight-the `time´ consumed in the transition. The FSMw is more practical than FSM, especially in communication systems. After modeling of FSMw, a new method for generating test cases with minimum total weight value-UIOf method is´ given. An examples is illustrated to explain the method