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...
Saved in:
Main Authors: | , , , , |
---|---|
Format: | Conference or Workshop Item |
Published: |
2013
|
Subjects: | |
Online Access: | http://eprints.utm.my/id/eprint/51068/ http://dx.doi.org/10.1109/ISCAS.2013.6572197 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my.utm.51068 |
---|---|
record_format |
eprints |
spelling |
my.utm.510682017-09-17T06:31:23Z http://eprints.utm.my/id/eprint/51068/ Feasible transition path generation for EFSM-based system testing Wong, S. Ooi, C. Y. Hau, Y. W. Marsono, M. N. Shaikh-Husin, N. TN Mining engineering. Metallurgy 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. In order to avoid infeasible path generation, this paper proposed an approach that uses the modified breadth first search with conflict checker to generate a set of minimum FTP for each transition. An EFSM executable model is developed for algorithm modeling and verification as well as performance evaluation. Experimental results conducted on two EFSM models showed that the proposed approach is able to generate feasible transition path with at least 18% path length reduction. 2013 Conference or Workshop Item PeerReviewed Wong, S. and Ooi, C. Y. and Hau, Y. W. and Marsono, M. N. and Shaikh-Husin, N. (2013) Feasible transition path generation for EFSM-based system testing. In: Proceedings - IEEE International Symposium on Circuits and Systems. http://dx.doi.org/10.1109/ISCAS.2013.6572197 |
institution |
Universiti Teknologi Malaysia |
building |
UTM Library |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Teknologi Malaysia |
content_source |
UTM Institutional Repository |
url_provider |
http://eprints.utm.my/ |
topic |
TN Mining engineering. Metallurgy |
spellingShingle |
TN Mining engineering. Metallurgy Wong, S. Ooi, C. Y. Hau, Y. W. Marsono, M. N. Shaikh-Husin, N. Feasible transition path generation for EFSM-based system testing |
description |
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. In order to avoid infeasible path generation, this paper proposed an approach that uses the modified breadth first search with conflict checker to generate a set of minimum FTP for each transition. An EFSM executable model is developed for algorithm modeling and verification as well as performance evaluation. Experimental results conducted on two EFSM models showed that the proposed approach is able to generate feasible transition path with at least 18% path length reduction. |
format |
Conference or Workshop Item |
author |
Wong, S. Ooi, C. Y. Hau, Y. W. Marsono, M. N. Shaikh-Husin, N. |
author_facet |
Wong, S. Ooi, C. Y. Hau, Y. W. Marsono, M. N. Shaikh-Husin, N. |
author_sort |
Wong, S. |
title |
Feasible transition path generation for EFSM-based system testing |
title_short |
Feasible transition path generation for EFSM-based system testing |
title_full |
Feasible transition path generation for EFSM-based system testing |
title_fullStr |
Feasible transition path generation for EFSM-based system testing |
title_full_unstemmed |
Feasible transition path generation for EFSM-based system testing |
title_sort |
feasible transition path generation for efsm-based system testing |
publishDate |
2013 |
url |
http://eprints.utm.my/id/eprint/51068/ http://dx.doi.org/10.1109/ISCAS.2013.6572197 |
_version_ |
1643652929380417536 |
score |
13.160551 |