View in EDS PDF Full Text

Reliability Analysis in Symbolic Pathfinder.

Saved in:
Bibliographic Details
Title: Reliability Analysis in Symbolic Pathfinder.
Authors: Filieri, Antonio1 antonio.filieri@informatik.uni-stuttgart.de, Pasareanu, Corina S.2 corina.s.pasareanu@nasa.gov, Visser, Willem3 wvisser@cs.sun.ac.za
Source: ICSE: International Conference on Software Engineering. Feb2013, p622-631. 10p.
Subjects: Software reliability, Computer reliability, Architectural design, Source code, Data structures, Electronic data processing
Abstract: Software reliability analysis tackles the problem of predicting the failure probability of software. Most of the current approaches base reliability analysis on architectural abstractions useful at early stages of design, but not directly applicable to source code. In this paper we propose a general methodology that exploit symbolic execution of source code for extracting failure and success paths to be used for probabilistic reliability assessment against relevant usage scenarios. Under the assumption of finite and countable input domains, we provide an efficient implementation based on Symbolic PathFinder that supports the analysis of sequential and parallel programs, even with structured data types, at the desired level of confidence. The tool has been validated on both NASA prototypes and other test cases showing a promising applicability scope. [ABSTRACT FROM AUTHOR]
Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery 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: 87904332
AccessLevel: 6
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Reliability Analysis in Symbolic Pathfinder.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Filieri%2C+Antonio%22">Filieri, Antonio</searchLink><relatesTo>1</relatesTo><i> antonio.filieri@informatik.uni-stuttgart.de</i><br /><searchLink fieldCode="AR" term="%22Pasareanu%2C+Corina+S%2E%22">Pasareanu, Corina S.</searchLink><relatesTo>2</relatesTo><i> corina.s.pasareanu@nasa.gov</i><br /><searchLink fieldCode="AR" term="%22Visser%2C+Willem%22">Visser, Willem</searchLink><relatesTo>3</relatesTo><i> wvisser@cs.sun.ac.za</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>. Feb2013, p622-631. 10p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Software+reliability%22">Software reliability</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+reliability%22">Computer reliability</searchLink><br /><searchLink fieldCode="DE" term="%22Architectural+design%22">Architectural design</searchLink><br /><searchLink fieldCode="DE" term="%22Source+code%22">Source code</searchLink><br /><searchLink fieldCode="DE" term="%22Data+structures%22">Data structures</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+data+processing%22">Electronic data processing</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Software reliability analysis tackles the problem of predicting the failure probability of software. Most of the current approaches base reliability analysis on architectural abstractions useful at early stages of design, but not directly applicable to source code. In this paper we propose a general methodology that exploit symbolic execution of source code for extracting failure and success paths to be used for probabilistic reliability assessment against relevant usage scenarios. Under the assumption of finite and countable input domains, we provide an efficient implementation based on Symbolic PathFinder that supports the analysis of sequential and parallel programs, even with structured data types, at the desired level of confidence. The tool has been validated on both NASA prototypes and other test cases showing a promising applicability scope. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery 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=87904332
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 10
        StartPage: 622
    Subjects:
      – SubjectFull: Software reliability
        Type: general
      – SubjectFull: Computer reliability
        Type: general
      – SubjectFull: Architectural design
        Type: general
      – SubjectFull: Source code
        Type: general
      – SubjectFull: Data structures
        Type: general
      – SubjectFull: Electronic data processing
        Type: general
    Titles:
      – TitleFull: Reliability Analysis in Symbolic Pathfinder.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Filieri, Antonio
      – PersonEntity:
          Name:
            NameFull: Pasareanu, Corina S.
      – PersonEntity:
          Name:
            NameFull: Visser, Willem
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: Feb2013
              Type: published
              Y: 2013
          Titles:
            – TitleFull: ICSE: International Conference on Software Engineering
              Type: main
ResultId 1