By Topic

Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on

Date 6-9 Nov. 1994

Filter Results

Displaying Results 1 - 25 of 40
  • Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering

    Publication Year: 1994
    Request permission for commercial reuse | PDF file iconPDF (85 KB)
    Freely Available from IEEE
  • An automated environment for software testing and reliability estimation

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

    We present the automated testing performed at Ericsson Telecom, Transport Network Systems, and how we intend to combine it with a test analyser to estimate the software reliability of our products. The test analyser will also provide a basis for test management decisions, e.g. resource allocation, as well as feedback to system design View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Automatic Efficient Test Generator (AETG) system

    Publication Year: 1994, Page(s):303 - 309
    Cited by:  Papers (31)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (468 KB)

    Software testing is expensive, tedious and time consuming. Thus, the problem of making testing more efficient and mechanical, without losing its effectiveness, is very important. The Automatic Efficient Test Generator (AETG) is a new tool that mechanically generates efficient test sets from user defined test requirements. It is based on algorithms that use ideas from statistical experimental desig... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • FIABILOG: a software reliability tool and its application to space projects

    Publication Year: 1994, Page(s):296 - 302
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (412 KB)

    To support project managers in reliability evaluation, the company Mathix has developed a tool named Fiabilog. Fiabilog can be used for any software from the test phase onwards and would be of interest to anyone involved in software debugging, validation or maintenance. The CNES (French Spatial Agency) has chosen Fiabilog to analyze software reliability during the development and operational phase... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault modeling using the program dependence graph

    Publication Year: 1994, Page(s):126 - 135
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (732 KB)

    We present a fault classification scheme and a fault seeding method that is based on the manifestation of faults in the program dependence graph (PDG). We enhance the domain/computation fault classification scheme to further characterize faults as structural and statement level, depending on the differences between the PDG for the original program and the PDG for the faulty program. Structural fau... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System reliability policy at Motorola Codex

    Publication Year: 1994, Page(s):289 - 293
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (356 KB)

    The paper describes the Motorola Codex experience of establishing a company-wide system reliability policy. It outlines the consistent policy requirements for each project, as well as the method for assessing the project maturity from the system reliability point of view. Practical numerical results are provided. It could serve as a guide for quality and reliability practitioners implementing simi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Assessing the dynamic strength of software systems using interference analysis

    Publication Year: 1994, Page(s):343 - 348
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (460 KB)

    The concept of dynamic strength is closely related to reliability: the probability that a software system does not encounter a latent fault during execution. Dynamic strength is assessed by analyzing the interference between the execution profile, a probability density for system size, and the composite static strength distributions. Composite static strength is the sum of the relative software co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Temporal complexity and software faults

    Publication Year: 1994, Page(s):115 - 125
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (768 KB)

    Software developers use complexity metrics to predict development costs before embarking on a project and to estimate the likelihood of faults once the system is built. Traditional measures, however, were designed principally for sequential programs, providing little insight into the added complexity of concurrent systems or increased demands of real-time systems. For the purpose of predicting cos... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Identifying risk using ODC based growth models

    Publication Year: 1994, Page(s):282 - 288
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (500 KB)

    The paper uses the relative growth of defects, classified using orthogonal defect classification to get a finer insight into dynamics of the software development process during later parts of testing. This is particularly useful to help identify management actions to better use people resources (both skill and staffing levels) to respond to difficulties experienced with the product in test. Specif... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some effects of fault recovery order on software reliability models

    Publication Year: 1994, Page(s):338 - 342
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (500 KB)

    Since traditional approaches to software reliability modeling allow the user to formulate predictions using data from one realization of the debugging process, it is necessary to understand the influence of the fault recovery order on predictive performance. We introduce an experimental methodology using a data structure called the debugging graph and use it to analyze the effects of various fault... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the impact of software product dissimilarity on software quality models

    Publication Year: 1994, Page(s):104 - 114
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (812 KB)

    The current software market favors software development organizations that apply software quality models. Software engineers fit quality models to data collected from past projects. Predictions from these models provide guidance in setting schedules and allocating resources for new and ongoing development projects. To improve model stability and predictive quality, engineers select models from the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A case study to investigate sensitivity of reliability estimates to errors in operational profile

    Publication Year: 1994, Page(s):276 - 281
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (244 KB)

    We report a case study to investigate the effect of errors in an operational profile on reliability estimates. A previously reported tool named TERSE was used in this study to generate random flow graphs representing programs, model errors in operational profile, and compute reliability estimates. Four models for reliability estimation were considered: the Musa-Okumoto model, the Goel-Okumoto mode... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sensitivity of field failure intensity to operational profile errors

    Publication Year: 1994, Page(s):334 - 337
    Cited by:  Papers (24)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (224 KB)

    Sensitivity of field failure intensity estimates to operational profile occurrence probability errors is investigated. This is an important issue in software reliability engineering, because these estimates enter into many development decisions. Sensitivity was computed for 59,200 sets of conditions, spread over a wide range. For 99.4% of these points, the failure intensity was very robust with re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A process for software requirements safety analysis

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

    We introduce a detailed process for software requirements safety analysis. The approach for identification of safety faults in this process is based on fault tree analysis. This process consists of four main steps: software requirements fault tree generation; software requirements fault tree verification and validation; software safety requirements generation and safety fault mitigation; and softw... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On input profile selection for software testing

    Publication Year: 1994, Page(s):196 - 205
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (616 KB)

    Analyzes the effect of input profile selection on software testing using the concept of a fault detectability profile. The optimality of the input profile during testing depends on factors such as the planned testing effort and the fault detectability profile. To achieve ultra-reliable software, it is preferable to select the test input uniformly among the different input domains. On the other han... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Assessment of a sampling method for measuring safety-critical software reliability

    Publication Year: 1994, Page(s):93 - 102
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (816 KB)

    The paper addresses the issue of using sampling to assess the reliability of safety-critical software. Several factors are considered, such as the number of test cases required, modifications in the program, determining the operational profile, generating test cases, and checking the correctness of the output. The problems are classified into two broad categories: those that can be overcome via ad... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A generalized software reliability process simulation technique and tool

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

    The paper describes the structure and rationale of the generalized software reliability process and a set of simulation techniques that may be applied for the purpose of software reliability modeling. These techniques establish a convenient means for studying a realistic, end-to-end software life cycle that includes intricate subprocess interdependencies, multiple defect categories, many factors o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying various learning curves to hyper-geometric distribution software reliability growth model

    Publication Year: 1994, Page(s):8 - 17
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (592 KB)

    The hyper-geometric distribution software reliability growth model (HGDM) has been shown to be able to estimate the number of faults initially resident in a program at the beginning of the test-and-debug phase. A key factor of the HGDM is the “sensitivity factor”, which represents the number of faults discovered and rediscovered at the application of a test instance. The learning curve... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adjusting measured field failure intensity for operational profile variation

    Publication Year: 1994, Page(s):330 - 333
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (244 KB)

    Failure intensity depends on the operational profile used in executing a system. Operational profiles can change, so we would like to determine the new failure intensity without the expense of actually reexecuting the system under the new operational profile. We derive a transformation for adjusting the failure intensity to the value it would have under the new operational profile. This transforma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Connecting test coverage to software dependability

    Publication Year: 1994, Page(s):158 - 165
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    It is widely felt that software quality in the form of reliability or “trustworthiness”, can be demonstrated by the successful completion of testing that “covers” the software. However, this intuition has little experimental or theoretical support. The paper considers why the intuition is so powerful and yet misleading. Formal definitions of software “dependability&rd... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experimental analysis of models for correlation in multiversion software

    Publication Year: 1994, Page(s):36 - 44
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (492 KB)

    Two different classes of models for correlation in multiversion systems have been proposed in the literature. One considers that the version failures are statistically correlated, and the other defines additional failure types to account for related failures. We investigate these two model types, and apply them to several different sets of experimental data available in the literature. Both models... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The relationship between test coverage and reliability

    Publication Year: 1994, Page(s):186 - 195
    Cited by:  Papers (37)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB)

    Models the relationship between testing effort, coverage and reliability, and presents a logarithmic model that relates testing effort to test coverage: statement (or block) coverage, branch (or decision) coverage, computation use (c-use) coverage, or predicate use (p-use) coverage. The model is based on the hypothesis that the enumerables (like branches or blocks) for any coverage measure have di... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • V&V in defense and commercial projects

    Publication Year: 1994, Page(s):84 - 92
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (624 KB)

    Verification and validation activities in defense projects are compared with those in the nuclear power plant industry. A significant difference is that in most defense projects the V&V effort is funded directly by the sponsor whereas in the nuclear power industry the major responsibility for V&V resides with the developer. This may cause a shift in V&V emphasis from early life cycle s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CLAIRE: an event-driven simulation tool for testing software

    Publication Year: 1994, Page(s):259 - 263
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (364 KB)

    CLAIRE is a tool developed at CEA, the French nuclear research institute, for testing software involved in the information and control systems of nuclear plants. The tool is based purely on software simulation: the environment of the code is modelled and, at simulation time, exchanges information with the code under validation. Verification of safety properties can be performed with this tool. Sev... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • More efficient software testing through the application of design of experiments (DOE)

    Publication Year: 1994, Page(s):318 - 322
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (340 KB)

    The paper presents one application of the design of experiments techniques to the software test of a thrust vector control system similar to those used in space booster vehicles and upper stages. Traditionally, testing similar control systems has involved substantial investments in time to test all the components of the system and large quantities of engineering experience to make critical choices... View full abstract»

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