QE modeling and test selection based on PNFSM

Authors:
Lingling Wang;Hua Li;Xinming Ye;Chengyong Wu
Affiliations:
School of Computer Science, Inner Mongolia University, Huhhot, China;School of Computer Science, Inner Mongolia University, Huhhot, China;School of Computer Science, Inner Mongolia University, Huhhot, China;School of Computer Science, Inner Mongolia University, Huhhot, China
Venue:
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Year:
2009

Citing 9
Cited 0

Test sequence selection based on static data flow analysis

Computer Communications
Probabilistic testing of protocols

SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
A fault-detection approach to the conformance testing of nondeterministic systems

Journal of Parallel and Distributed Computing
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method

IEEE Transactions on Software Engineering
Studying the separability relation between finite state machines

Software Testing, Verification & Reliability
Bounded sequence testing from non-deterministic finite state machines

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Coping with nondeterminism in network protocol testing

TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Test selection for a nondeterministic FSM

Computer Communications
Testing nondeterministic finite state machines with respect to the separability relation

TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.