QE Modeling and Test Selection Based on PNFSM

Interoperability testing involve at least two IUTs, sometimes one of two IUTs is called QE(qualified equipment) which plays a measurement role during the testing process. It can be used to verdict the other one IUT´s interoperability capability. This paper presents a modeling method to describe QE as a PNFSM (probability nondeterministic finite state machine) and based on it to select test sequence. According to the nondeterministic finite state machine of specification and the current experience of interoperability testing, a PNFSM is gradually constructed. The achieved model efficiently describes the current situation of interoperability testing. Based on PNFSM and the certain policy, the algorithm which is used to select test sequence is presented. The algorithms´ validity is proved by an example. Finally the conclusion and the research work in the future are introduced.