View in EDS HTML Full Text PDF Full Text

Test generation from recursive tile systems.

Saved in:
Bibliographic Details
Title: Test generation from recursive tile systems.
Authors: Chédor, Sébastien1, Jéron, Thierry2, Morvan, Christophe3
Source: Software Testing: Verification & Reliability. Nov2014, Vol. 24 Issue 7, p532-557. 26p.
Subjects: Test generators, Conformance testing, Tiles, Algorithms, Graph grammars
Abstract: SUMMARY This paper explores the generation of conformance test cases for recursive tile systems (RTSs) in the framework of the classical ioco testing theory. The RTS model allows the description of reactive systems with recursion and is very similar to other models like pushdown automata, hyperedge replacement grammars or recursive state machines. Test generation for this kind of infinite state labelled transition systems is seldom explored in the literature. The first part presents an off-line test generation algorithm for weighted RTSs, a determinizable sub-class of RTSs, and the second one an on-line test generation algorithm for the full RTS model. Both algorithms use test purposes to guide test selection through targeted behaviours. Additionally, essential properties relating verdicts produced by generated test cases with both the soundness, with respect to the specification, and the precision, with respect to a test purpose, are proved. Copyright © 2014 John Wiley & Sons, Ltd. [ABSTRACT FROM AUTHOR]
Copyright of Software Testing: Verification & Reliability is the property of Wiley-Blackwell 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
Full text is not displayed to guests.
FullText Links:
  – Type: pdflink
Text:
  Availability: 1
Header DbId: egs
DbLabel: Engineering Source
An: 98698663
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Test generation from recursive tile systems.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Chédor%2C+Sébastien%22">Chédor, Sébastien</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Jéron%2C+Thierry%22">Jéron, Thierry</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AR" term="%22Morvan%2C+Christophe%22">Morvan, Christophe</searchLink><relatesTo>3</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Software+Testing%3A+Verification+%26+Reliability%22">Software Testing: Verification & Reliability</searchLink>. Nov2014, Vol. 24 Issue 7, p532-557. 26p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Test+generators%22">Test generators</searchLink><br /><searchLink fieldCode="DE" term="%22Conformance+testing%22">Conformance testing</searchLink><br /><searchLink fieldCode="DE" term="%22Tiles%22">Tiles</searchLink><br /><searchLink fieldCode="DE" term="%22Algorithms%22">Algorithms</searchLink><br /><searchLink fieldCode="DE" term="%22Graph+grammars%22">Graph grammars</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: SUMMARY This paper explores the generation of conformance test cases for recursive tile systems (RTSs) in the framework of the classical ioco testing theory. The RTS model allows the description of reactive systems with recursion and is very similar to other models like pushdown automata, hyperedge replacement grammars or recursive state machines. Test generation for this kind of infinite state labelled transition systems is seldom explored in the literature. The first part presents an off-line test generation algorithm for weighted RTSs, a determinizable sub-class of RTSs, and the second one an on-line test generation algorithm for the full RTS model. Both algorithms use test purposes to guide test selection through targeted behaviours. Additionally, essential properties relating verdicts produced by generated test cases with both the soundness, with respect to the specification, and the precision, with respect to a test purpose, are proved. Copyright © 2014 John Wiley & Sons, Ltd. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Software Testing: Verification & Reliability is the property of Wiley-Blackwell 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=98698663
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1002/stvr.1525
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 26
        StartPage: 532
    Subjects:
      – SubjectFull: Test generators
        Type: general
      – SubjectFull: Conformance testing
        Type: general
      – SubjectFull: Tiles
        Type: general
      – SubjectFull: Algorithms
        Type: general
      – SubjectFull: Graph grammars
        Type: general
    Titles:
      – TitleFull: Test generation from recursive tile systems.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Chédor, Sébastien
      – PersonEntity:
          Name:
            NameFull: Jéron, Thierry
      – PersonEntity:
          Name:
            NameFull: Morvan, Christophe
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 11
              Text: Nov2014
              Type: published
              Y: 2014
          Identifiers:
            – Type: issn-print
              Value: 09600833
          Numbering:
            – Type: volume
              Value: 24
            – Type: issue
              Value: 7
          Titles:
            – TitleFull: Software Testing: Verification & Reliability
              Type: main
ResultId 1