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 Permissions | PDF file iconPDF (85 KB)  
    Freely Available from IEEE
  • Mutation analysis testing for finite state machines

    Publication Year: 1994 , Page(s): 220 - 229
    Cited by:  Papers (20)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (548 KB)  

    Proposes the application of the mutation analysis criterion in the context of specifications based on finite state machines. The main concepts of finite state machines and mutation analysis are briefly introduced. An experiment is reported which manually applies mutation analysis to a finite state machine modeling a Class 0 ISO transport protocol specification, using two test-sequence generator cr... View full abstract»

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

    Publication Year: 1994 , Page(s): 143 - 151
    Cited by:  Papers (4)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (788 KB)  

    A measure of software dependability called trustability is described. A program p has trustability T if we are at least T confident that p is free of faults. Trustability measurement depends on detectability. The detectability of a method is the conditional probability that it will detect faults. The trustability model characterizes the kind of information needed to justify a given level of trusta... 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 Permissions | 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.
  • On input profile selection for software testing

    Publication Year: 1994 , Page(s): 196 - 205
    Cited by:  Papers (13)
    Request Permissions | 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.
  • Applying various learning curves to hyper-geometric distribution software reliability growth model

    Publication Year: 1994 , Page(s): 8 - 17
    Cited by:  Papers (17)
    Request Permissions | 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.
  • Some effects of fault recovery order on software reliability models

    Publication Year: 1994 , Page(s): 338 - 342
    Cited by:  Papers (2)
    Request Permissions | 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 Permissions | 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.
  • Empirical studies of predicate-based software testing

    Publication Year: 1994 , Page(s): 55 - 64
    Cited by:  Papers (9)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (788 KB)  

    We report the results of three empirical studies of fault detection and stability performance of the predicate-based BOR (Boolean Operator) testing strategy. BOR testing is used to develop test cases based on formal software specification, or based on the implementation code. We evaluated the BOR strategy with respect to some other strategies by using Boolean expressions and actual software. We ap... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Estimating the software reliability of smoothly degrading systems

    Publication Year: 1994 , Page(s): 168 - 177
    Cited by:  Papers (2)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (720 KB)  

    Presents the application of a domain-based reliability measure to systems that can be represented by Markov chains. A load testing algorithm is presented, and the measure is applied to assess the reliability of these systems after they have been tested. Data are presented for three industrial telecommunications systems that had been tested using the load testing algorithm, tracking the reliability... 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 Permissions | 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.
  • A framework for reliability estimation

    Publication Year: 1994 , Page(s): 18 - 24
    Cited by:  Papers (4)  |  Patents (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (620 KB)  

    We present a framework for reliability estimation for software modules. The framework comprises methods and tools relating not only to calculating the reliability estimates, but also for specifying and creating the operational profiles and random test cases upon which the estimations are based View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing applications using domain based testing and Sleuth

    Publication Year: 1994 , Page(s): 206 - 215
    Cited by:  Papers (14)  |  Patents (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (700 KB)  

    Domain-based testing (DBT) is a test generation method based on two concepts from software reuse: domain analysis and domain modeling. Instead of using domain models for reuse, they serve as a structure to generate tests. In general, domain-based testing forms a family of test generation methods. Each member of the family defines a specialized domain analysis and domain model for each problem doma... 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 Permissions | 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.
  • Putting assertions in their place

    Publication Year: 1994 , Page(s): 152 - 157
    Cited by:  Papers (13)  |  Patents (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (468 KB)  

    Assertions that are placed at each statement in a program can automatically monitor the internal computations of a program execution. However, the advantages of universal assertions come at a cost. A program with such extensive internal instrumentation will be slower than the same program without the instrumentation. Some of the assertions may be redundant. The task of instrumenting the code with ... 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 Permissions | 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.
  • Software reliability: to use or not to use?

    Publication Year: 1994 , Page(s): 66 - 73
    Request Permissions | Click to expandAbstract | PDF file iconPDF (624 KB)  

    Research activities in software reliability engineering have been vigorous in the past two decades since Z. Jelinski and P.B. Moranda (1972) proposed the first software reliability model. Since then, numerous software reliability models and measurement procedures have been proposed for the prediction, estimation, and engineering of software reliability. However, there seems to be a gap among the s... 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 Permissions | 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.
  • The relationship between test coverage and reliability

    Publication Year: 1994 , Page(s): 186 - 195
    Cited by:  Papers (27)
    Request Permissions | 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.
  • Modelling an imperfect debugging phenomenon with testing effort

    Publication Year: 1994 , Page(s): 178 - 183
    Cited by:  Papers (4)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (384 KB)  

    A software reliability growth model (SRGM) based on non-homogeneous Poisson processes (NHPP) is developed. The model describes the relationship between the calendar time, the testing effort consumption and the error removal process under an imperfect debugging environment. The role of learning (gaining experience) with the progress of the testing phase is taken into consideration by assuming that ... 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 (8)
    Request Permissions | 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.
  • Assessing the dynamic strength of software systems using interference analysis

    Publication Year: 1994 , Page(s): 343 - 348
    Cited by:  Papers (1)
    Request Permissions | 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.
  • Fault modeling using the program dependence graph

    Publication Year: 1994 , Page(s): 126 - 135
    Request Permissions | 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.
  • V&V in defense and commercial projects

    Publication Year: 1994 , Page(s): 84 - 92
    Request Permissions | 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.
  • An exploratory analysis of system test data

    Publication Year: 1994 , Page(s): 25 - 34
    Request Permissions | Click to expandAbstract | PDF file iconPDF (612 KB)  

    We conduct an exploratory data analysis of a specific system test data set that includes concomitant variables measuring aspects of test effort as well as the failure count and time variables considered in standard software reliability analyses. We consider a family of Poisson process models for which failure rates may depend on time as well as on the test effort variables. We analyze failure rate... View full abstract»

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