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
    Dorofeeva, Rita
    El-Fakih, Khaled
    Maag, Stephane
    Cavalli, Ana R.
    Yevtushenko, Nina
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2010, 52 (12) : 1286 - 1297
  • [3] Heuristics for deriving distinguishing experiments of nondeterministic finite state machines
    El-Fakih, Khaled
    Haddad, Abdul Rahim
    Aleb, Nassima
    Yevtushenko, Nina
    [J]. APPLIED SOFT COMPUTING, 2016, 49 : 1175 - 1184
  • [4] Studying the separability relation between finite state machines
    Spitsyna, Natalia
    El-Fakih, Khaled
    Yevtushenko, Nina
    [J]. 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