Parallel Implementation for Deriving Preset Distinguishing Experiments of Nondeterministic Finite State Machines

被引：0
作者：
Haddad, Abdul Rahim [1 ]
El-Fakih, Khaled [1 ]
Barlas, Gerassimos [1 ]
机构：
[1] Amer Univ Sharjah, Comp Sci & Engn, Sharjah, U Arab Emirates
来源：
2017 7TH INTERNATIONAL CONFERENCE ON MODELING, SIMULATION, AND APPLIED OPTIMIZATION (ICMSAO) | 2017年
关键词：
Software Engineering; Functional Testing; Distinguishing Experiments; Nondeterministic Finite State Machines; Parallel Algorithms; OpenMP;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Derivation of input sequences for distinguishing states of a finite state machine (FSM) specification is well studied in the context of FSM-based functional testing. We present a parallel multithreaded implementation of the exact algorithm using Open Multi-Processing (OpenMP). Experiments are conducted to assess the performance of the parallel implementation as compared to the sequential implementation using both execution time speedup and efficiency.
引用
收藏
页数：6
相关论文
共 7 条
[1]  
Alur R., 1995, Proceedings of the Twenty-Seventh Annual ACM Symposium on the Theory of Computing, P363, DOI 10.1145/225058.225161
[2]   FSM-based conformance testing methods: A survey annotated with experimental evaluation [J].
Dorofeeva, Rita ;
El-Fakih, Khaled ;
Maag, Stephane ;
Cavalli, Ana R. ;
Yevtushenko, Nina .
INFORMATION AND SOFTWARE TECHNOLOGY, 2010, 52 (12) :1286-1297
[3]   Heuristics for deriving distinguishing experiments of nondeterministic finite state machines [J].
El-Fakih, Khaled ;
Haddad, Abdul Rahim ;
Aleb, Nassima ;
Yevtushenko, Nina .
APPLIED SOFT COMPUTING, 2016, 49 :1175-1184
[4]   Studying the separability relation between finite state machines [J].
Spitsyna, Natalia ;
El-Fakih, Khaled ;
Yevtushenko, Nina .
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2007, 17 (04) :227-241
[5]  
Tembhurne JV, 2014, INT CONF CONTEMP, P283, DOI 10.1109/IC3.2014.6897187
[6]  
von Bochmann G., 1994, SIGSOFT Software Engineering Notes, P109
[7]  
Wang E., 2014, HIGH PERFORMANCE COM, P61
1