View in EDS

Testing restorable systems: formal definition and heuristic solution based on river formation dynamics.

Saved in:
Bibliographic Details
Title: Testing restorable systems: formal definition and heuristic solution based on river formation dynamics.
Authors: Rabanal, Pablo1, Rodríguez, Ismael1, Rubio, Fernando1 fernando@sip.ucm.es
Source: Formal Aspects of Computing. Sep2013, Vol. 25 Issue 5, p743-768. 26p.
Subjects: Computer systems, Computers testing, Heuristic algorithms, Finite state machines, Evolutionary computation, Problem solving
Abstract: Given a finite state machine denoting the specification of a system, finding some short interaction sequences capable of reaching some/all states or transitions of this machine is a typical goal in testing methods. If these sequences are applied to an implementation under test, then equivalent states or transitions would be reached and observed in the implementation-provided that the implementation were actually defined as the specification. We study the problem of finding such sequences in the case where configurations previously traversed can be saved and restored (at some cost). In general, this feature enables sequences to reach the required parts of the machine in less time, because some repetitions can be avoided. However, we show that finding optimal sequences in 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 (RFD). Given finite state machine specifications and sets of states/transitions to be reached, we apply RFD to construct testing plans reaching these configurations. Experimental results show that being able to load previously traversed states generally reduces the time needed to cover the target configurations. [ABSTRACT FROM AUTHOR]
Copyright of Formal Aspects of Computing is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 89729883
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Testing restorable systems: formal definition and heuristic solution based on river formation dynamics.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Rabanal%2C+Pablo%22">Rabanal, Pablo</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Rodríguez%2C+Ismael%22">Rodríguez, Ismael</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Rubio%2C+Fernando%22">Rubio, Fernando</searchLink><relatesTo>1</relatesTo><i> fernando@sip.ucm.es</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Formal+Aspects+of+Computing%22">Formal Aspects of Computing</searchLink>. Sep2013, Vol. 25 Issue 5, p743-768. 26p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+systems%22">Computer systems</searchLink><br /><searchLink fieldCode="DE" term="%22Computers+testing%22">Computers testing</searchLink><br /><searchLink fieldCode="DE" term="%22Heuristic+algorithms%22">Heuristic algorithms</searchLink><br /><searchLink fieldCode="DE" term="%22Finite+state+machines%22">Finite state machines</searchLink><br /><searchLink fieldCode="DE" term="%22Evolutionary+computation%22">Evolutionary computation</searchLink><br /><searchLink fieldCode="DE" term="%22Problem+solving%22">Problem solving</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Given a finite state machine denoting the specification of a system, finding some short interaction sequences capable of reaching some/all states or transitions of this machine is a typical goal in testing methods. If these sequences are applied to an implementation under test, then equivalent states or transitions would be reached and observed in the implementation-provided that the implementation were actually defined as the specification. We study the problem of finding such sequences in the case where configurations previously traversed can be saved and restored (at some cost). In general, this feature enables sequences to reach the required parts of the machine in less time, because some repetitions can be avoided. However, we show that finding optimal sequences in 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 (RFD). Given finite state machine specifications and sets of states/transitions to be reached, we apply RFD to construct testing plans reaching these configurations. Experimental results show that being able to load previously traversed states generally reduces the time needed to cover the target configurations. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Formal Aspects of Computing is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=89729883
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s00165-011-0206-3
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 26
        StartPage: 743
    Subjects:
      – SubjectFull: Computer systems
        Type: general
      – SubjectFull: Computers testing
        Type: general
      – SubjectFull: Heuristic algorithms
        Type: general
      – SubjectFull: Finite state machines
        Type: general
      – SubjectFull: Evolutionary computation
        Type: general
      – SubjectFull: Problem solving
        Type: general
    Titles:
      – TitleFull: Testing restorable systems: formal definition and heuristic solution based on river formation dynamics.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Rabanal, Pablo
      – PersonEntity:
          Name:
            NameFull: Rodríguez, Ismael
      – PersonEntity:
          Name:
            NameFull: Rubio, Fernando
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 09
              Text: Sep2013
              Type: published
              Y: 2013
          Identifiers:
            – Type: issn-print
              Value: 09345043
          Numbering:
            – Type: volume
              Value: 25
            – Type: issue
              Value: 5
          Titles:
            – TitleFull: Formal Aspects of Computing
              Type: main
ResultId 1