Proceedings of 1993 IEEE International Symposium on Software Reliability Engineering

3-6 Nov. 1993

Filter Results

Displaying Results 1 - 25 of 37
  • Proceedings of 1993 IEEE International Symposium on Software Reliability Engineering

    Publication Year: 1993
    Request permission for commercial reuse | PDF file iconPDF (251 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1993, Page(s): 333
    Request permission for commercial reuse | PDF file iconPDF (43 KB)
    Freely Available from IEEE
  • Infinite failure models for a finite world: A simulation study of the fault discovery process

    Publication Year: 1993, Page(s):284 - 293
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (716 KB)

    Many software reliability growth models have been published in journals and conference proceedings over the last 20-25 years. Each one has been justified based on theoretical or empirical evidence. Although there are many ways of classifying these models, a particularly interesting classification involves distinguishing models based upon the asymptotic expected number of total failures. These mode... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience in software reliability: From data collection to quantitative evaluation

    Publication Year: 1993, Page(s):234 - 245
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1076 KB)

    This paper describes the different steps in software failure data processing in order to monitor the software development and to quantify the operational reliability. Processing consists in (a) filtering the raw data in order to keep only those corresponding to software failures without duplicate, (b) partitioning of data into sub-sets according for instance to failure severity or fault location, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TERSE: A tool for evaluating software reliability models

    Publication Year: 1993, Page(s):274 - 283
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (824 KB)

    Currently more than forty models for estimating reliability exist. Thus, a practitioner is faced with the problem of selecting one out of many models to predict the behavior of given software. In such a situation, a method or tool to compare the reliability estimates from different models can certainly provide confidence in the selection of models and the estimates given by the selected model. To ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Designing reliable software

    Publication Year: 1993, Page(s):45 - 54
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (980 KB)

    In this paper we examine the quantitative software attributes that are known to be related to software faults and subsequently software failures. The object is to develop design guidelines based on these quantitative attributes that will assist the evaluation of alternatives in the software design process. In order for the several design alternatives to provide meaningful input to the design proce... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A neural network modeling methodology for the detection of high-risk programs

    Publication Year: 1993, Page(s):302 - 309
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (740 KB)

    The profitability of a software development effort is highly dependent on both timely market entry and the reliability of the released product. To get a highly reliable product to the market on schedule, software engineers must allocate resources appropriately across the development effort. Software quality models based upon data drawn from past projects can identify key risk or problem areas in c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A systematic approach to software reliability modeling

    Publication Year: 1993, Page(s):62 - 70
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (884 KB)

    We propose a systematic approach for distinguishing between software reliability models and parameter estimation procedures using predictive performance. We consider several composite modeling procedures consisting of a variety of elementary modeling procedures based on some NHPP models together with either maximum likelihood or least squares parameter estimation. We also consider a number of sele... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using algebraic specifications to find sequencing defects

    Publication Year: 1993, Page(s):226 - 232
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (632 KB)

    One class of program defect results from illegal sequences of otherwise legal operations in software implementations. Expressions that specify the correct sequences can be written in the Cecil sequencing constraint language. Programs can then be checked at compile time by the Cesar analysis system. Explicit statement of sequencing constraints, however, is not a common activity when specifying soft... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System simulation testing: Pre-delivery testing to ensure system dependability

    Publication Year: 1993, Page(s):208 - 217
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (616 KB)

    When customers develop a new computer system, their main concern is trouble-free performance. However, as the systems grow in size and complexity it becomes more and more difficult to guarantee their total dependability. In order to ensure the system's reliability, which is required by customers, Hitachi validates them by executing an integrated pre-delivery testing called system simulation testin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Complexity metrics for distributed programs

    Publication Year: 1993, Page(s):132 - 141
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (760 KB)

    This paper proposes some new complexity metrics for distributed programs. The metrics are defined based on graph-theoretical representations for multiple control flows, multiple data flows, and various primary program dependences in distributed programs. They can be used to measure the complexity of a distributed program from various different viewpoints View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A mathematical comparison of Software Breeding and Community Error Recovery in multiversion software

    Publication Year: 1993, Page(s):192 - 201
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (712 KB)

    This paper compares Software Breeding, a new approach for improving the reliability of multiversion software, with Community Error Recovery by mathematical models of the reliability of the multiversion software by these. The following results were obtained: (1) the reliability of the Software Breeding increases when the number of modules of the multiversion software increases, (2) the multiversion... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the need for simulation for better characterization of software reliability

    Publication Year: 1993, Page(s):264 - 273
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (772 KB)

    Software reliability engineering must develop beyond statistical analysis of data and analytic models which frequently require unrealistic assumptions. We must develop a viable discipline of simulation to aid experimental and industrial application of software reliability engineering. This will require developing standard modeling components, connections, tools, and a body of knowledge to interpre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System reliability analysis of an N-version programming application

    Publication Year: 1993, Page(s):103 - 111
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (620 KB)

    This paper presents a quantitative reliability analysis of a system designed to tolerate both hardware and software faults. The system being studied achieves integrated fault tolerance by implementing N-version programming (NVP) on redundant hardware. The analysis of the system considers independent software faults, related software faults, transient hardware faults, permanent hardware faults, and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A hierarchical object-oriented approach to fault tolerance in distributed systems

    Publication Year: 1993, Page(s):168 - 177
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (864 KB)

    We develop an object-oriented framework to support fault tolerance in distributed systems using nested atomic actions. The inherent properties of the object-oriented programming paradigm enhance the error detection and recovery capabilities of the fault tolerance schemes. In our approach, error detection is performed locally within the object, whereas the recovery from errors is accomplished eithe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Engineering reliable software

    Publication Year: 1993, Page(s):36 - 43
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (912 KB)

    Software reliability engineering is not only the use of software reliability models and similar techniques, it is the use of sensible engineering principles with cost/benefit analysis throughout the software life cycle to obtain reliable software. The need to have a comprehensive view on software development to engineer reliable software is emphasized. Cleanroom Software Engineering is proposed as... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Achieving Success in Measurement and Reliability Modeling

    Publication Year: 1993, Page(s):296 - 300
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (388 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A quantitative risk assessment method for space flight software systems

    Publication Year: 1993, Page(s):246 - 252
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (512 KB)

    A risk index factor has been developed at the NASA Johnson Space Center in order to quantify the risk associated with individual software components in programs developed for space flight applications. Risk can be defined as the combination of the likelihood of a failure occurrence with the consequence of that occurrence. The risk index attempts to quantify this product, utilizing the results from... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Controlling software reliability during development

    Publication Year: 1993, Page(s):55 - 59
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (420 KB)

    The application of both classical and state of the art tools of quality control to the software development process are described. These tools and methods use actual test results and determine the range of failure rate expected, based on the anticipated customer use. These tools properly take into account the natural “clustering” of orthogonal defect discoveries during stochastic testi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A neural network approach for software reliability growth modeling in the presence of code churn

    Publication Year: 1993, Page(s):310 - 317
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (540 KB)

    One of the key assumptions made in most of the time-domain based software reliability growth models is that the complete code for the system is available before testing starts and that the code remains frozen during testing. However, this assumption is often violated in large software projects. Thus, the existing models may not be able to provide an accurate description of the failure process in t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enhancing accuracy of software reliability prediction

    Publication Year: 1993, Page(s):71 - 79
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (692 KB)

    The measurement and prediction of software reliability require the use of the software reliability growth models (SRGMs). The predictive quality can be measured by the average end-point projection error. In this paper, the effects of two orthogonal classes of approaches to improve prediction capability of a SRM have been examined using a large number of data sets. The first approach is preprocessi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Robustness of optimum software release policies

    Publication Year: 1993, Page(s):218 - 225
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB)

    In the development of software systems, it is important to determine when the software testing can be stopped and when the system can be released. An optimum release time is usually determined by minimizing the expected total cost under a reliability requirement. Usually the optimum release time depends on the unknown parameters in the underlying reliability growth models and these parameters have... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal selection of failure data for predicting failure counts

    Publication Year: 1993, Page(s):142 - 149
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (412 KB)

    In the use of software reliability models it is not necessarily the case that all the failure data should be used to estimate model parameters and to predict failures. The reason for this is that old data may not be as representative of the current and future failure process as recent data. Therefore it may be possible to obtain more accurate predictions of future failures by excluding or giving l... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new fault tolerant distributed algorithm for longest paths in a DAG

    Publication Year: 1993, Page(s):202 - 206
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (448 KB)

    Self-stabilization is a relatively new approach in designing fault tolerant algorithms especially for distributed applications. The purpose of the paper is to propose a new fault tolerant (self-stabilizing) distributed algorithm for computing the longest distances for each node in a directed acyclic graph. The algorithm is simple; the technique used to prove the correctness of the algorithm is dif... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dependability modeling and evaluation of recovery block systems

    Publication Year: 1993, Page(s):112 - 120
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (592 KB)

    The paper presents performance modeling and evaluation of recovery block systems. In order to produce a dependability model for a complete fault tolerant system we consider the interaction between the faults in the alternatives and the faults in the acceptance test. The study is based on finite state continuous time Markov model, and unlike previous works, we carry out the analysis in the time dom... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.