View in EDS

A Software-Reliability Growth Model for N-Version Programming Systems.

Saved in:
Bibliographic Details
Title: A Software-Reliability Growth Model for N-Version Programming Systems.
Authors: Xiaolin Teng, Hoang Pham
Source: IEEE Transactions on Reliability. Sep2002, Vol. 51 Issue 3, p311. 11p. 2 Diagrams, 5 Charts, 7 Graphs.
Subjects: Reliability engineering software, Software engineering, Poisson processes
Abstract: This paper presents a NHPP-based SRGM (software reliability growth model) for NVP (N-version programming) Systems (NVP-SRGM) based on the NHPP (nonhomogeneous Poisson process). Although many papers have been devoted to modeling NVP-system reliability, most of them consider only the stable reliability, i.e., they do not consider the reliability growth in NVP systems due to continuous removal of faults from software versions. The model in this paper is the first reliability-growth model for NVP Systems which considers the error-introduction rate and the error-removal efficiency. During testing and debugging, when a software fault is found, a debugging effort is devoted to remove this fault. Due to the high complexity of the software, this fault might not be successfully removed, and new faults might be introduced into the software. By applying a generalized NHPP model into NVP system, a new NVP-SRGM is established, in which the multi-version coincident failures are well modeled. A simplify software control logic for a water-reservoir control system illustrates how to apply this new software reliability model. The s-confidence bounds are provided for system-reliability estimation. This software reliability model can be used to evaluate the reliability and to predict the performance of NVP systems. More application is needed to validate fully the proposed NVP-SRGM for quantifying the reliability of fault-tolerant software systems in a general industrial setting. As the first model of its kind in NVP reliability-growth modeling, the proposed NVP SRGM can be used to overcome the shortcomings of the independent reliability model. It predicts the system reliability more accurately than the independent model and can be used to help determine when to stop testing, which is a key question in the testing and debugging phase of the NVP system-development life cycle. [ABSTRACT FROM AUTHOR]
Copyright of IEEE Transactions on Reliability is the property of IEEE 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: 7476783
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A Software-Reliability Growth Model for N-Version Programming Systems.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Xiaolin+Teng%22">Xiaolin Teng</searchLink><br /><searchLink fieldCode="AR" term="%22Hoang+Pham%22">Hoang Pham</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22IEEE+Transactions+on+Reliability%22">IEEE Transactions on Reliability</searchLink>. Sep2002, Vol. 51 Issue 3, p311. 11p. 2 Diagrams, 5 Charts, 7 Graphs.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Reliability+engineering+software%22">Reliability engineering software</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Poisson+processes%22">Poisson processes</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: This paper presents a NHPP-based SRGM (software reliability growth model) for NVP (N-version programming) Systems (NVP-SRGM) based on the NHPP (nonhomogeneous Poisson process). Although many papers have been devoted to modeling NVP-system reliability, most of them consider only the stable reliability, i.e., they do not consider the reliability growth in NVP systems due to continuous removal of faults from software versions. The model in this paper is the first reliability-growth model for NVP Systems which considers the error-introduction rate and the error-removal efficiency. During testing and debugging, when a software fault is found, a debugging effort is devoted to remove this fault. Due to the high complexity of the software, this fault might not be successfully removed, and new faults might be introduced into the software. By applying a generalized NHPP model into NVP system, a new NVP-SRGM is established, in which the multi-version coincident failures are well modeled. A simplify software control logic for a water-reservoir control system illustrates how to apply this new software reliability model. The s-confidence bounds are provided for system-reliability estimation. This software reliability model can be used to evaluate the reliability and to predict the performance of NVP systems. More application is needed to validate fully the proposed NVP-SRGM for quantifying the reliability of fault-tolerant software systems in a general industrial setting. As the first model of its kind in NVP reliability-growth modeling, the proposed NVP SRGM can be used to overcome the shortcomings of the independent reliability model. It predicts the system reliability more accurately than the independent model and can be used to help determine when to stop testing, which is a key question in the testing and debugging phase of the NVP system-development life cycle. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of IEEE Transactions on Reliability is the property of IEEE 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=7476783
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/TR.2002.801853
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 11
        StartPage: 311
    Subjects:
      – SubjectFull: Reliability engineering software
        Type: general
      – SubjectFull: Software engineering
        Type: general
      – SubjectFull: Poisson processes
        Type: general
    Titles:
      – TitleFull: A Software-Reliability Growth Model for N-Version Programming Systems.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Xiaolin Teng
      – PersonEntity:
          Name:
            NameFull: Hoang Pham
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 09
              Text: Sep2002
              Type: published
              Y: 2002
          Identifiers:
            – Type: issn-print
              Value: 00189529
          Numbering:
            – Type: volume
              Value: 51
            – Type: issue
              Value: 3
          Titles:
            – TitleFull: IEEE Transactions on Reliability
              Type: main
ResultId 1