Computing UIO Sequences using Parallel GAs

Guo, Qiang, McCall, John and González-Vélez, Horacio (2012) Computing UIO Sequences using Parallel GAs. In: PPSN - 12th International Conference on Parallel Problem Solving From Nature, September 1-5, 2012, Taormina, Italy. (Submitted)

Full text not available from this repository.

Abstract

Unique Input/Output (UIO) sequence is an important state verification technique in Finite State Machine (FSM) based testing. Computing UIOs is NP-hard. Genetic Algorithms (GAs) were applied to compute UIOs where an objective function is defined to guide GAs to search UIOs. The technique was experimentally evaluated for its effectiveness but also shown for its high computational cost. In this paper, we look at computing UIOs using parallel GAs. By making use of multicore resources, we intend to improve computational performance. Two parallel GA models were proposed. The models explore parallel patterns from GAs and FSMs and map them to the available multicore processors.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	Q Science > QA Mathematics > Electronic computers. Computer science T Technology > T Technology (General) > Information Technology > Electronic computers. Computer science
Divisions:	School of Computing > Staff Research and Publications
Depositing User:	Caoimhe Ní Mhaicín
Date Deposited:	05 Mar 2014 11:04
Last Modified:	30 May 2018 13:09
URI:	https://norma.ncirl.ie/id/eprint/995

Actions (login required)

View Item