View in EDS PDF Full Text

Algebraic Specifications and Sequencing: A Defect Detection Method.

Saved in:
Bibliographic Details
Title: Algebraic Specifications and Sequencing: A Defect Detection Method.
Authors: Olender, Kurt M.1, Bieman, James M.1
Source: Software Testing: Verification & Reliability. Mar1995, Vol. 5 Issue 1, p49-70. 22p.
Subjects: Testing, Defect correction methods (Numerical analysis), Operations research, Methodology, Reliability in engineering, Fault-tolerant computing
Abstract: One class of program defects results from illegal sequences of otherwise legal operations in software implementations. Explicit statement of sequencing constraints, however, is not a common activity when specifying software even when using formal specification methods. This paper shows that constraints on program execution sequences can be derived directly from algebraic specifications. Results include heuristic methods for generating sequencing constraints and a generalization of these methods into automatable rules. The heuristics can be Integrated into a specification methodology such as Larch. Engineers can use the generated sequencing constraints to detect sequencing defects in software even before dynamic testing begins. The method can be used to increase the reliability of software that is specified using algebraic methods. [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: 12805343
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Algebraic Specifications and Sequencing: A Defect Detection Method.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Olender%2C+Kurt+M%2E%22">Olender, Kurt M.</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Bieman%2C+James+M%2E%22">Bieman, James M.</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Software+Testing%3A+Verification+%26+Reliability%22">Software Testing: Verification & Reliability</searchLink>. Mar1995, Vol. 5 Issue 1, p49-70. 22p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Testing%22">Testing</searchLink><br /><searchLink fieldCode="DE" term="%22Defect+correction+methods+%28Numerical+analysis%29%22">Defect correction methods (Numerical analysis)</searchLink><br /><searchLink fieldCode="DE" term="%22Operations+research%22">Operations research</searchLink><br /><searchLink fieldCode="DE" term="%22Methodology%22">Methodology</searchLink><br /><searchLink fieldCode="DE" term="%22Reliability+in+engineering%22">Reliability in engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Fault-tolerant+computing%22">Fault-tolerant computing</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: One class of program defects results from illegal sequences of otherwise legal operations in software implementations. Explicit statement of sequencing constraints, however, is not a common activity when specifying software even when using formal specification methods. This paper shows that constraints on program execution sequences can be derived directly from algebraic specifications. Results include heuristic methods for generating sequencing constraints and a generalization of these methods into automatable rules. The heuristics can be Integrated into a specification methodology such as Larch. Engineers can use the generated sequencing constraints to detect sequencing defects in software even before dynamic testing begins. The method can be used to increase the reliability of software that is specified using algebraic methods. [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=12805343
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1002/stvr.4370050104
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 22
        StartPage: 49
    Subjects:
      – SubjectFull: Testing
        Type: general
      – SubjectFull: Defect correction methods (Numerical analysis)
        Type: general
      – SubjectFull: Operations research
        Type: general
      – SubjectFull: Methodology
        Type: general
      – SubjectFull: Reliability in engineering
        Type: general
      – SubjectFull: Fault-tolerant computing
        Type: general
    Titles:
      – TitleFull: Algebraic Specifications and Sequencing: A Defect Detection Method.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Olender, Kurt M.
      – PersonEntity:
          Name:
            NameFull: Bieman, James M.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 03
              Text: Mar1995
              Type: published
              Y: 1995
          Identifiers:
            – Type: issn-print
              Value: 09600833
          Numbering:
            – Type: volume
              Value: 5
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: Software Testing: Verification & Reliability
              Type: main
ResultId 1