Feasible transition path generation for EFSM-based system testing

• Main Authors: Wong, S., Ooi, C. Y., Hau, Y. W., Marsono, M. N., Shaikh-Husin, N.
• Format: Conference or Workshop Item
• Published: 2013
• Subjects: TN Mining engineering. Metallurgy
• Online Access: http://eprints.utm.my/id/eprint/51068/; http://dx.doi.org/10.1109/ISCAS.2013.6572197

This paper presents a feasible transition path (FTP) generation approach for testing extended finite state machines (EFSM). The major problem faced by EFSM-based testing is the existence of the infeasible paths due to conflict of the context variable with the enable conditions in the transition path...