Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/12126
Title: Parallel algorithms for generating harmonised state identifiers and characterising sets
Authors: Hierons, RM
Turker, U
Keywords: Software engineering/software/program verification;Software engineering/testing and debugging;Software engineering/test design;Finite state machine;Characterising sets;Harmonised state identifiers;General purpose graphics processing units
Issue Date: 2016
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Citation: IEEE Transactions on Computers, Forthcooming, (2016)
Abstract: Many automated finite state machine (FSM) based test generation algorithms require that a characterising set (CS) or a set of harmonised state identifiers (HSIs) is first produced.The only previously published algorithms for partial FSMs were brute-force algorithms with exponential worst case time complexity. This paper presents polynomial time algorithms and also massively parallel implementations of both the polynomial time algorithms and the brute-force algorithms. In the experiments the parallel algorithms scaled better than the sequential algorithms and took much less time. Interestingly, while the parallel version of the polynomial time algorithm was fastest for most sizes of FSMs, the parallel version of the brute-force algorithm scaled better due to lower memory requirements.
URI: http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=12
http://bura.brunel.ac.uk/handle/2438/12126
ISSN: 0018-9340
Appears in Collections:Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
Fulltext.pdf1.36 MBUnknownView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.