Runtime analysis of the (1+1) EA on computing unique input output sequences

Per Kristian Lehre, Xin Yao

    Research output: Contribution to journalJournal articleResearchpeer-review

    Abstract

    Computing unique input output (UIO) sequences is a fundamental and hard problem in conformance testing of finite state machines (FSM). Previous experimental research has shown that evolutionary algorithms (EAs) can be applied successfully to find UIOs for some FSMs. However, before EAs can be recommended as a practical technique for computing UIOs, it is necessary to better understand the potential and limitations of these algorithms on this problem. In particular, more research is needed in determining for what instance classes of the problem EAs are feasible, and for what instance classes EAs are provably better than random search strategies. This paper presents rigorous theoretical and numerical analyses of the runtime of the (1 + 1) EA and random search on several selected instance classes of this problem. The theoretical analysis shows firstly, that there are instance classes where the EA is efficient, while random testing fails completely. Secondly, an instance class that is difficult for both random testing and the EA is presented. Finally, a parametrised instance class with tunable difficulty is presented. The numerical study estimates the constants in the asymptotic expressions obtained in the theoretical analysis, and the variability of the runtime. The numerical results fit well with the theoretical results, even for small problem instance sizes. Together, these results provide a first theoretical characterisation of the potential and limitations of the (1 + 1) EA on the problem of computing UIOs.
    Original languageEnglish
    JournalInformation Sciences
    ISSN0020-0255
    DOIs
    Publication statusE-pub ahead of print - 2010

    Fingerprint Dive into the research topics of 'Runtime analysis of the (1+1) EA on computing unique input output sequences'. Together they form a unique fingerprint.

    Cite this