View in EDS PDF Full Text

Generation of Efficient Test Sequences from LOTOS Specifications.

Saved in:
Bibliographic Details
Title: Generation of Efficient Test Sequences from LOTOS Specifications.
Authors: Okazaki, Naonobu1, Noguchi, Shoichi1, Takahashi, Kaoru2, Shiratori, Norio3
Source: Electronics & Communications in Japan, Part 1: Communications. Feb93, Vol. 76 Issue 2, p1-18. 18p.
Subjects: LOTOS (Computer program language), Programming languages, Mathematical variables, Computer science, Computer software, Mathematics
Abstract: LOTOS is a formal description technique (FDT) developed by ISO. This paper proposes a formal technique for generating test sequences from a LOTOS specification. In the proposed technique, test sequences correspond to a finite `tree" which is represented as a Tree LOTOS expression which Is a subset of LOTOS. A labelled transition system (LTS) with variables called VTS is introduced to generate test sequences. which is useful not only for compactness of expression but also for effective selection of test sequences at the execution of tests. Furthermore, the concept of the reduced form of a VTS is introduced and, by using this concept, efficient test sequences can be obtained. [ABSTRACT FROM AUTHOR]
Copyright of Electronics & Communications in Japan, Part 1: Communications 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: 14084079
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Generation of Efficient Test Sequences from LOTOS Specifications.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Okazaki%2C+Naonobu%22">Okazaki, Naonobu</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Noguchi%2C+Shoichi%22">Noguchi, Shoichi</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Takahashi%2C+Kaoru%22">Takahashi, Kaoru</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AR" term="%22Shiratori%2C+Norio%22">Shiratori, Norio</searchLink><relatesTo>3</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Electronics+%26+Communications+in+Japan%2C+Part+1%3A+Communications%22">Electronics & Communications in Japan, Part 1: Communications</searchLink>. Feb93, Vol. 76 Issue 2, p1-18. 18p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22LOTOS+%28Computer+program+language%29%22">LOTOS (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+variables%22">Mathematical variables</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+science%22">Computer science</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematics%22">Mathematics</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: LOTOS is a formal description technique (FDT) developed by ISO. This paper proposes a formal technique for generating test sequences from a LOTOS specification. In the proposed technique, test sequences correspond to a finite `tree" which is represented as a Tree LOTOS expression which Is a subset of LOTOS. A labelled transition system (LTS) with variables called VTS is introduced to generate test sequences. which is useful not only for compactness of expression but also for effective selection of test sequences at the execution of tests. Furthermore, the concept of the reduced form of a VTS is introduced and, by using this concept, efficient test sequences can be obtained. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Electronics & Communications in Japan, Part 1: Communications 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=14084079
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1002/ecja.4410760201
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 18
        StartPage: 1
    Subjects:
      – SubjectFull: LOTOS (Computer program language)
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Mathematical variables
        Type: general
      – SubjectFull: Computer science
        Type: general
      – SubjectFull: Computer software
        Type: general
      – SubjectFull: Mathematics
        Type: general
    Titles:
      – TitleFull: Generation of Efficient Test Sequences from LOTOS Specifications.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Okazaki, Naonobu
      – PersonEntity:
          Name:
            NameFull: Noguchi, Shoichi
      – PersonEntity:
          Name:
            NameFull: Takahashi, Kaoru
      – PersonEntity:
          Name:
            NameFull: Shiratori, Norio
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: Feb93
              Type: published
              Y: 1993
          Identifiers:
            – Type: issn-print
              Value: 87566621
          Numbering:
            – Type: volume
              Value: 76
            – Type: issue
              Value: 2
          Titles:
            – TitleFull: Electronics & Communications in Japan, Part 1: Communications
              Type: main
ResultId 1