By Topic

Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering

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
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • The Automatic Efficient Test Generator (AETG) system

    Publication Year: 1994, Page(s):303 - 309
    Cited by:  Papers (33)
    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.
  • Sensitivity of field failure intensity to operational profile errors

    Publication Year: 1994, Page(s):334 - 337
    Cited by:  Papers (26)
    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.
  • Using formal methods to validate C programs

    Publication Year: 1994, Page(s):252 - 258
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (500 KB)

    Presents the CAVEAT project. The purpose of this project is to develop a tool designed to assist a user in the verification of C programs. Such a verification is required for safety applications in a pragmatic approach. The tool enables a user to verify the global or local properties of these applications. The context in which a property is to be verified is defined in terms of hypotheses. Most of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Methodology of independent software nuclear safety analysis

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

    Independent software nuclear safety analysis provides a methodology to ensure that software does not cause or contribute to a violation of the nuclear safety standards established by the Department of Defense, and that nuclear safety-critical software is not adversely affected by interfacing software or by operator action. This methodology is a systematic approach to examine a specific aspect of s... 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 permission for commercial reuse | 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 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.
  • 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.
  • Adjusting measured field failure intensity for operational profile variation

    Publication Year: 1994, Page(s):330 - 333
    Cited by:  Papers (11)
    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.
  • 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.
  • Testing synchronous critical software

    Publication Year: 1994, Page(s):239 - 248
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (800 KB)

    Three approaches to the problem of testing synchronous critical software are presented, based on the data-flow language LUSTRE. The first approach automatically transforms a set of LUSTRE invariant properties characterizing the environment into a constrained random generator of test data sequences. The second approach consists in analyzing the required safety properties (written in LUSTRE) of the ... 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 permission for commercial reuse | 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.
  • A framework for reliability estimation

    Publication Year: 1994, Page(s):18 - 24
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Mutation analysis testing for finite state machines

    Publication Year: 1994, Page(s):220 - 229
    Cited by:  Papers (22)
    Request permission for commercial reuse | 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.