By Topic

13th International Symposium on Software Reliability Engineering, 2002. Proceedings.

12-15 Nov. 2002

Filter Results

Displaying Results 1 - 25 of 35
  • Proceedings 13th International Symposium on Software Reliability Engineering

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

    Publication Year: 2002, Page(s): 397
    Request permission for commercial reuse | PDF file iconPDF (184 KB)
    Freely Available from IEEE
  • On estimating testing effort needed to assure field quality in software development

    Publication Year: 2002, Page(s):139 - 146
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (292 KB) | HTML iconHTML

    In practical software development, software quality is generally evaluated by the number of residual defects. To keep the number of residual defects within a permissible value, too much effort is often assigned to software testing. We try to develop a statistical model to determine the amount of testing effort which is needed to assure the field quality. The model explicitly includes design, revie... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Data coverage testing of programs for container classes

    Publication Year: 2002, Page(s):183 - 194
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (462 KB) | HTML iconHTML

    For the testing of container classes and the algorithms or programs that operate on the data in a container, these data have the property of being homogeneous throughout the container. We have developed an approach for this situation called data coverage testing, where automated test generation can systematically generate increasing test data size. Given a program and a test model, it can be theor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A reliability estimator for model based software testing

    Publication Year: 2002, Page(s):53 - 63
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (279 KB) | HTML iconHTML

    This paper presents a reliability estimator based on current Markov chain usage model testing methodology. This reliability estimator is specifically formulated to take advantage of software testing performed using Markov chain models of the use of the software under test. The reliability estimator presented in this paper is useful in the absence of observed failures, behaves in a predictable mann... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mutation of Java objects

    Publication Year: 2002, Page(s):341 - 351
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (357 KB) | HTML iconHTML

    Fault insertion based techniques have been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating mutation-adequate test sets that distinguish the mutant from the original program. Software testability is measured by calculating the probability that a program will fail on the next test input coming from a predefined i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dependability analysis of a client/server software system with rejuvenation

    Publication Year: 2002, Page(s):171 - 180
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (431 KB) | HTML iconHTML

    Long running software systems are known to experience an aging phenomenon called software aging, one in which the accumulation of errors during the execution of software leads to performance degradation and eventually results in failure. To counteract this phenomenon an active fault management approach, called software rejuvenation, is particularly useful. It essentially involves gracefully termin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The impact of recovery mechanisms on the likelihood of saving corrupted state

    Publication Year: 2002, Page(s):91 - 101
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (268 KB) | HTML iconHTML

    Recovery systems must save state before a failure occurs to enable the system to recover from the failure. However, recovery will fail if the recovery system saves any state corrupted by the fault. The frequency and comprehensiveness of how a recovery system saves state has a major effect on how often the recovery system inadvertently saves corrupted state. This paper explores and measures that ef... View full abstract»

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

    Publication Year: 2002, Page(s):41 - 52
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (368 KB) | HTML iconHTML

    A number of Markov-based software reliability models have been developed for measuring software reliability. However, the application of these models is strictly limited to software that satisfies the Markov properties. The objective of our work is to expand the application domain of the Markov-based models, so that most software can be modeled and software reliability can be measured at the archi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Emulation of software faults by educated mutations at machine-code level

    Publication Year: 2002, Page(s):329 - 340
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (391 KB) | HTML iconHTML

    This paper proposes a new technique to emulate software faults by educated mutations introduced at the machine-code level and presents an experimental study on the accuracy of the injected faults. The proposed method consists of finding key programming structures at the machine code-level where high-level software faults can be emulated. The main advantage of emulating software faults at the machi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Genes and bacteria for automatic test cases optimization in the .NET environment

    Publication Year: 2002, Page(s):195 - 206
    Cited by:  Papers (13)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (437 KB) | HTML iconHTML

    The level of confidence in a software component is often linked to the quality of its test cases. This quality can in turn be evaluated with mutation analysis: faulty components (mutants) are systematically generated to check the proportion of mutants detected ("killed") by the test cases. But while the generation of basic test cases set is easy, improving its quality may require prohibitive effor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Inter-class mutation operators for Java

    Publication Year: 2002, Page(s):352 - 363
    Cited by:  Papers (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (332 KB) | HTML iconHTML

    The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operators is key to mutation testing. Mutation testing has traditionally been applied to procedural-based languages, and mutation operators have been developed to support most of their language features. Object-oriented programmi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toward a quantifiable definition of software faults

    Publication Year: 2002, Page(s):388 - 395
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (259 KB) | HTML iconHTML

    An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By definition, a fault is a structural imperfection in a software system that may lead to the system's eventually failing. A measurable and precise definition of what faults are makes it possible to accurately identify and cou... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal allocation of testing resources for modular software systems

    Publication Year: 2002, Page(s):129 - 138
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (641 KB)

    In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular software systems during the testing phase: 1) minimization of the remaining faults when a fixed amount of testing-effort and a desired reliability objective are given; 2) minimization of the required amount of testing-effort wh... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A vector Markov model for structural coverage growth and the number of failure occurrences

    Publication Year: 2002, Page(s):304 - 315
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (428 KB) | HTML iconHTML

    Most software reliability growth models specify the expected number of failures experienced as a function of testing effort or calendar time. However, there are approaches to model the development of intermediate factors driving failure occurrences. This paper starts out with presenting a model framework consisting of four consecutive relationships. It is shown that a differential equation represe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Worst case reliability prediction based on a prior estimate of residual defects

    Publication Year: 2002, Page(s):295 - 303
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (303 KB) | HTML iconHTML

    In this paper we extend an earlier worst case bound reliability theory to derive a worst case reliability function R(t), which gives the worst case probability of surviving a further time t given an estimate of residual defects in the software N and a prior test time T. The earlier theory and its extension are presented and the paper also considers the case where there is a low probability of any ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A case study using the round-trip strategy for state-based class testing

    Publication Year: 2002, Page(s):269 - 279
    Cited by:  Papers (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (334 KB) | HTML iconHTML

    A number of strategies have been proposed for state-based class testing. An important proposal made by Chow (1978), that was subsequently adapted by Binder (1999), consists in deriving test sequences covering all round-trip paths in a finite state machine (FSMs). Based on a number of (rather strong) assumptions, and for traditional FSMs, it can be demonstrated that all operation and transfer error... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Saturation effects in testing of formal models

    Publication Year: 2002, Page(s):15 - 26
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (352 KB) | HTML iconHTML

    Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, random search of finite-state machines exhibits an early saturation effect, i.e., random search quickly yields all that can be found, even after a much longer search. Hence, we avoid the theoretical problem of incompleteness,... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Effect of disturbances on the convergence of failure intensity

    Publication Year: 2002, Page(s):377 - 387
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (409 KB) | HTML iconHTML

    We report a study to determine the impact of four types of disturbances on the failure intensity of a software product undergoing system test. Hardware failures, discovery of a critical fault, attrition in the test team, are examples of disturbances that will likely affect the convergence of the failure intensity to its desired value. Such disturbances are modeled as impulse, pulse, step, and whit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault detection capabilities of coupling-based OO testing

    Publication Year: 2002, Page(s):207 - 218
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (479 KB) | HTML iconHTML

    Object-oriented programs cause a shift in focus from software units to the way software classes and components are connected. Thus, we are finding that we need less emphasis on unit testing and more on integration testing. The compositional relationships of inheritance and aggregation, especially when combined with polymorphism, introduce new kinds of integration faults, which can be covered using... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reliability prediction and sensitivity analysis based on software architecture

    Publication Year: 2002, Page(s):64 - 75
    Cited by:  Papers (56)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (428 KB) | HTML iconHTML

    Prevalent approaches to characterize the behavior of monolithic applications are inappropriate to model modern software systems which are heterogeneous, and are built using a combination of components picked off the shelf, those developed in-house and those developed contractually. Development of techniques to characterize the behavior of such component-based software systems based on their archit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing processes from formal specifications with inputs, outputs and data types

    Publication Year: 2002, Page(s):3 - 14
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (381 KB) | HTML iconHTML

    Deriving test cases from formal specifications of communicating processes has been studied for awhile. Several methods have been proposed for specifications based on FSM (Finite State Machines), LTS (Labelled Transition Systems), IOTS (Input Output Transition Systems), etc. However, most approaches are limited to a finite set of actions, excluding the possibility of communicating typed values betw... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Blocking-based simultaneous reachability analysis of asynchronous message-passing programs

    Publication Year: 2002, Page(s):316 - 326
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (402 KB) | HTML iconHTML

    Existing reachability analysis techniques for asynchronous message-passing programs assume causal communication, which means that messages sent to a destination are received in the order they are sent. In this paper, we present a new reachability analysis approach, called blocking-based simultaneous reachability analysis (BSRA). BSRA can be applied to asynchronous message-passing programs based on... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A flexible generator architecture for improving software dependability

    Publication Year: 2002, Page(s):102 - 113
    Cited by:  Papers (4)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (358 KB) | HTML iconHTML

    Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries is an effective approach for improving the reliability and security of computer software without source code access. We describe a flexible framework to generate a rich set of software wrappers for shared libraries. We d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Metrics for measuring the effectiveness of software-testing tools

    Publication Year: 2002, Page(s):117 - 128
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (307 KB) | HTML iconHTML

    The levels of quality, maintainability, testability, and stability of software can be improved and measured through the use of automated testing tools throughout the software development process. Automated testing tools assist software engineers to gauge the quality of software by automating the mechanical aspects of the software-testing task Automated testing tools vary in their underlying approa... View full abstract»

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