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
相关论文
共 50 条
  • [1] Heuristics for deriving distinguishing experiments of nondeterministic finite state machines
    El-Fakih, Khaled
    Haddad, Abdul Rahim
    Aleb, Nassima
    Yevtushenko, Nina
    APPLIED SOFT COMPUTING, 2016, 49 : 1175 - 1184
  • [2] Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines
    Kushik, Natalia
    El-Fakih, Khaled
    Yevtushenko, Nina
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2011, 6807 : 215 - +
  • [3] Distinguishing Experiments for Timed Nondeterministic Finite State Machines
    El-Fakih, Khaled
    Gromov, Maxim
    Shabaldina, Natalia
    Yevtushenko, Nina
    ACTA CYBERNETICA, 2013, 21 (02): : 205 - 222
  • [4] Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines
    El-Fakih, Khaled
    Barlas, Gerassimos
    Ali, Mustafa
    Yevtushenko, Nina
    INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED SYSTEMS, 2018, 33 (02) : 197 - 210
  • [5] Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines
    Kushik, Natalia
    Yenigun, Husnu
    TESTING SOFTWARE AND SYSTEMS, ICTSS 2015, 2015, 9447 : 243 - 248
  • [6] Distinguishing experiments with nondeterministic non-initialized finite state machines
    Gromov, Maksim L.
    Kushik, Natalia G.
    Yevtushenko, Nina, V
    VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-UPRAVLENIE VYCHISLITELNAJA TEHNIKA I INFORMATIKA-TOMSK STATE UNIVERSITY JOURNAL OF CONTROL AND COMPUTER SCIENCE, 2011, 17 (04): : 93 - 101
  • [7] Distinguishing tests for nondeterministic finite state machines
    Boroday, SY
    TESTING OF COMMUNICATING SYSTEMS, 1998, : 101 - 107
  • [8] On adaptive experiments for nondeterministic finite state machines
    Kushik, Natalia
    El-Fakih, Khaled
    Yevtushenko, Nina
    Cavalli, Ana R.
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (03) : 251 - 264
  • [9] On adaptive experiments for nondeterministic finite state machines
    Natalia Kushik
    Khaled El-Fakih
    Nina Yevtushenko
    Ana R. Cavalli
    International Journal on Software Tools for Technology Transfer, 2016, 18 : 251 - 264
  • [10] Decreasing the length of Adaptive Distinguishing Experiments for Nondeterministic Merging-free Finite State Machines
    Yevtushenko, Nina
    Kushik, Natalia
    PROCEEDINGS OF 2015 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2015,
12345