View in EDS PDF Full Text

A test sequence selection method for statecharts.

Saved in:
Bibliographic Details
Title: A test sequence selection method for statecharts.
Authors: Hyoung Seok Hong1, Young Gon Kim1, Sung Deok Cha1, Doo Hwan Bae1, Ural, Hasan2
Source: Software Testing: Verification & Reliability. Dec2000, Vol. 10 Issue 4, p203-227. 25p.
Subjects: Statecharts (Computer science), Structured techniques of electronic data processing, Electronic data processing, Testing equipment, Data flow computing
Abstract: This paper presents a method for the selection of test sequences from statecharts. It is shown that a statechart can be transformed into a flow graph modelling the flow of both control and data in the statechart. The transformation enables the application of conventional control and data flow analysis techniques to test sequence selection from statecharts. The resulting set of test sequences provides the capability of determining whether an implementation establishes the desired flow of control and data expressed in statecharts. Copyright © 2000 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
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 13510113
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A test sequence selection method for statecharts.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Hyoung+Seok+Hong%22">Hyoung Seok Hong</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Young+Gon+Kim%22">Young Gon Kim</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Sung+Deok+Cha%22">Sung Deok Cha</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Doo+Hwan+Bae%22">Doo Hwan Bae</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Ural%2C+Hasan%22">Ural, Hasan</searchLink><relatesTo>2</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Software+Testing%3A+Verification+%26+Reliability%22">Software Testing: Verification & Reliability</searchLink>. Dec2000, Vol. 10 Issue 4, p203-227. 25p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Statecharts+%28Computer+science%29%22">Statecharts (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Structured+techniques+of+electronic+data+processing%22">Structured techniques of electronic data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+data+processing%22">Electronic data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Testing+equipment%22">Testing equipment</searchLink><br /><searchLink fieldCode="DE" term="%22Data+flow+computing%22">Data flow computing</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: This paper presents a method for the selection of test sequences from statecharts. It is shown that a statechart can be transformed into a flow graph modelling the flow of both control and data in the statechart. The transformation enables the application of conventional control and data flow analysis techniques to test sequence selection from statecharts. The resulting set of test sequences provides the capability of determining whether an implementation establishes the desired flow of control and data expressed in statecharts. Copyright © 2000 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=13510113
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1002/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 25
        StartPage: 203
    Subjects:
      – SubjectFull: Statecharts (Computer science)
        Type: general
      – SubjectFull: Structured techniques of electronic data processing
        Type: general
      – SubjectFull: Electronic data processing
        Type: general
      – SubjectFull: Testing equipment
        Type: general
      – SubjectFull: Data flow computing
        Type: general
    Titles:
      – TitleFull: A test sequence selection method for statecharts.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Hyoung Seok Hong
      – PersonEntity:
          Name:
            NameFull: Young Gon Kim
      – PersonEntity:
          Name:
            NameFull: Sung Deok Cha
      – PersonEntity:
          Name:
            NameFull: Doo Hwan Bae
      – PersonEntity:
          Name:
            NameFull: Ural, Hasan
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 12
              Text: Dec2000
              Type: published
              Y: 2000
          Identifiers:
            – Type: issn-print
              Value: 09600833
          Numbering:
            – Type: volume
              Value: 10
            – Type: issue
              Value: 4
          Titles:
            – TitleFull: Software Testing: Verification & Reliability
              Type: main
ResultId 1