Advertisement
Published in:
2009 | OriginalPaper | Chapter
Testing Restorable Systems by Using RFD
Authors : Pablo Rabanal, Ismael Rodríguez
Published in: Bio-Inspired Systems: Computational and Ambient Intelligence
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Given a finite state machine denoting the
specification
of a system, finding some short interaction sequences capable to reach some/all states or transitions of this machine is a typical goal in testing methods. We study the problem of finding such sequences in the case where configurations previously traversed can be
saved
and
restored
(at some cost). Finding optimal sequences for this case is an NP-hard problem. We propose an heuristic method to approximately solve this problem based on an evolutionary computation approach, in particular
River Formation Dynamics
. Some experimental results are reported.