Feasible transition path generation for EFSM-based system testing

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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Sieng Wong, Chia Yee Ooi, Yuan Wen Hau, Marsono, M. N., Shaikh-Husin, Nasir
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Analytical models Conferences Conflict Checker Context Extended Finite State Machines Model Feasible Transition Path Modified Breadth First Search Online banking Testing Vectors
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!