Scheduled Maintenance on May 23rd, 2017:
IEEE Xplore will undergo an upgrade from 1:00 - 4:00 PM EDT. During this time there may be intermittent impact on performance. We apologize for any inconvenience.
By Topic

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
  • The effect of correlated faults on software reliability

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

    The reliability models often assume random testing and statistical independence of faults to keep the analysis tractable. In practice, these assumptions do not hold. This paper presents a reliability modeling approach that considers nonrandom testing. This approach is used to calculate the fault exposure ratio, which characterizes the testing process. The analysis of the experimental data suggests... 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.
  • 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.
  • 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.
  • 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.
  • Current trends of the software reliability in Japan and needs of future related activities

    Publication Year: 1993, Page(s):2 - 3
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (180 KB)

    Recently, software development is following hardware development in terms of features such as downsizing and short time-to-market. In the past, software development took place slowly in a centralized computer environment. On the other hand, recent software has the potential to be released in a rather short development time, because of the availability of distributed development environments and wo... 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.
  • 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.
  • 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 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.
  • 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 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.
  • 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.
  • 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.
  • 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.
  • Reliability of uniprocessor and multiprocessor real-time artificial intelligence planning systems

    Publication Year: 1993, Page(s):160 - 167
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (736 KB)

    By real-time artificial intelligence (AI) planning systems, we mean those systems embedded in process-control systems that must plan and execute control strategies in response to external events within a real-time constraint. We propose a methodology for estimating the reliability of uniprocessor and multiprocessor real-time AI planning systems. We first discuss why there are intrinsic faults in A... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing and reliability of logic programs

    Publication Year: 1993, Page(s):318 - 327
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (860 KB)

    The systematic approaches to testing and reliability determination of programs e.g. are applicable to imperative programming but not immediately to declarative programming, such as logic programming, which is of great importance to develop knowledge-based systems. We describe an approach to implementation-based testing and reliability determination of logic programs materialized in a product assur... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reliability prediction of distributed embedded fault-tolerant systems

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

    A new reliability model is introduced for selecting the best software fault-tolerant (FT) design. This model uses a task graph technique that allows different candidate FT configurations to be analyzed based on the structure and organization of different distributed embedded systems. Reliability prediction with this approach can be useful for addressing system dependability issues (i.e., fault det... 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.
  • Automated testing support for a robot tape library

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

    This paper presents a method and tool to automate testing of command-based systems. We use syntactic and semantic information at the parameter, command, and script level. Test data generation is based on a domain model of the application. We applied method and tool to automated testing for a robot tape library 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.
  • Adding capability checks enhances error detection and isolation in object-based systems

    Publication Year: 1993, Page(s):182 - 191
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (784 KB)

    Error detection and error isolation are becoming stringent requirements for many computational problems requiring high reliability in addition to high performance. This paper presents CAPACETI, a technique for utilizing capabilities at the application level in order to achieve dependable operations. The proposed technique is further augmented with executable assertions and other software error det... 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.