By Topic

IEEE Transactions on Software Engineering

Issue 1 • Date Jan. 1986

Filter Results

Displaying Results 1 - 22 of 22
  • Contents

    Publication Year: 1986, Page(s): 1
    Request permission for commercial reuse | PDF file iconPDF (621 KB)
    Freely Available from IEEE
  • [Inside front cover]

    Publication Year: 1986, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (205 KB)
    Freely Available from IEEE
  • Foreword software reliability

    Publication Year: 1986, Page(s):1 - 2
    Request permission for commercial reuse | PDF file iconPDF (711 KB)
    Freely Available from IEEE
  • Certifying the reliability of software

    Publication Year: 1986, Page(s):3 - 11
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2013 KB)

    A description is given of a procedure for certifying the reliability of software before its release to users. The ingredients of this procedure are a life cycle of executable product increments, representative statistical testing, and a standard estimate of the MTTF (mean time to failure) of the product at the time of its release. The authors also discuss the development of certified software prod... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Exponential order statistic models of software reliability growth

    Publication Year: 1986, Page(s):12 - 24
    Cited by:  Papers (40)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2817 KB)

    Failure times of a software reliability growth process are modeled as order statistics of independent, nonidentically distributed exponential random variables. The Jelinsky-Moranda, Goel-Okumoto, Littlewood, Musa-Okumoto logarithmic, and power law models are all special cases of exponential order statistic models, but there are many additional examples as well. Various characterizations, propertie... View full abstract»

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

    Publication Year: 1986, Page(s):25 - 31
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1427 KB)

    A discrete and, as approximation to it, a continuous model for the software reliability growth process are examined. The discrete model is based on independent multinomial trials and concerns itself with the joint distribution of the first occurrence time of its underlying events (bugs). The continuous model is based on the order statistics of N independent nonidentically distributed expone... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis of software availability/reliability under the influence of hardware failures

    Publication Year: 1986, Page(s):32 - 41
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1813 KB)

    A new hardware-software reliability model is developed where lifetimes and repair times of the software subsystem have general system state-dependent distributions. The hardware subsystem constitutes an independent alternating renewal process having exponential up-times and general down-times. Multiple errors may be introduced or removed through repairs. The model is formulated as a multivariate s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed program reliability analysis

    Publication Year: 1986, Page(s):42 - 50
    Cited by:  Papers (42)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1914 KB)

    The reliability of distributed processing systems can be expressed in terms of the reliability of the processing elements that run the programs, the reliability of the processing elements holding the required files, and the reliability of the communication links used in file transfers. The authors introduce two reliability measures, namely distributed program reliability and distributed system rel... View full abstract»

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

    Publication Year: 1986, Page(s):51 - 58
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2017 KB)

    A systems approach to the analysis and control of software reliability is described which is intended to supplement conventional software reliability models which focus on program attributes under the control of the software professionals. A review of software reliability experience during the operations and maintenance (O&M) phase is presented. This is followed by a description of a basic fai... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Atomic actions for fault-tolerance using CSP

    Publication Year: 1986, Page(s):59 - 68
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2320 KB)

    Two complementary techniques have evolved for providing fault-tolerance in software: forward error recovery and backward error recovery. Few implementations permit both approaches to be combined within a particular application. Fewer techniques are available for the construction of fault-tolerant software for systems involving concurrent processes and multiple processors. Many schemes for supporti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Concurrency and forward recovery in atomic actions

    Publication Year: 1986, Page(s):69 - 78
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2228 KB)

    Some difficulties and complexities in atomic actions occur only when the concept of atomic actions is extended to allow concurrency within atomic actions and to allow a single atomic action to execute at a number of different sites. Also, providing facilities for both forward and backward recovery presents problems not found in the more usual case of allowing only backward recovery. The author pre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modular redundancy in a message passing system

    Publication Year: 1986, Page(s):79 - 86
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1644 KB)

    Modular redundancy in the form of replicated computations in a concurrent programming model consisting of communicating sequential processes is investigated. Some conditions are given which must always be verified to ensure correctness in the presence of nondeterminism. Then some implementations which satisfy the given conditions are proposed. This approach permits redundant systems to be robust w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A watchdog processor based general rollback technique with multiple retries

    Publication Year: 1986, Page(s):87 - 95
    Cited by:  Papers (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1783 KB)

    A common assumption in the existing rollback techniques is that transients, the cause of most failures, subside very quickly, implying that a single story retry of the program from the previous rollback point is sufficient. The authors discuss a general rollback strategy with n(n≥2) retries which takes into consideration multiple transient failures as well as transients of lon... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An experimental evaluation of the assumption of independence in multiversion programming

    Publication Year: 1986, Page(s):96 - 109
    Cited by:  Papers (187)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3096 KB)

    N-version programming has been proposed as a method of incorporating fault tolerance into software. Multiple versions of a program (i.e. `N') are prepared and executed in parallel. Their outputs are collected and examined by a voter, and, if they are not identical, it is assumed that the majority is correct. This method depends for its reliability improvement on the assumption that p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experiments in software reliability: Life-critical applications

    Publication Year: 1986, Page(s):110 - 123
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2724 KB)

    Digital computers are being used more frequently for process control applications in which the cost of system failure is high. Consideration of the potentially life-threatening risk, resulting from the high degree of functionality being ascribed to the software components of these systems, has stimulated the recommendation of various designs for tolerating software faults. The author discusses fou... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification directed module testing

    Publication Year: 1986, Page(s):124 - 133
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1976 KB)

    If a program is developed from a specification in a mathematically rigorous manner, work done in the development can be utilized in the testing of the program. The better understanding afforded by these methods provides a more thorough check on the correct operation of the program under test. This should lead to earlier detection of faults (making it easier to determine their causes), more useful ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A high level language-based computing environment to support production and execution of reliable programs

    Publication Year: 1986, Page(s):134 - 146
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2532 KB)

    The authors present an environment which involves a debugging tool to aid in the detection and removal at logic errors. The debugging tool is supported by a special architecture, named SPRING, which was originally developed for reliable execution of Ada or Pascal programs. Following an overview of the system backed up by SPRING, the details of SPRING architecture are described, and the implementat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building reliable interactive information systems

    Publication Year: 1986, Page(s):147 - 156
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2515 KB)

    User software engineering (USE) is a methodology, with supporting tools, for the specification, design, and implementation of interactive information systems. With the USE approach, the user interface is formally specified with augmented state transition diagrams, and the operations may be formally specified with preconditions and postconditions. The USE state transition diagrams may be directly e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Typestate: A programming language concept for enhancing software reliability

    Publication Year: 1986, Page(s):157 - 171
    Cited by:  Papers (43)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3020 KB)

    The authors introduce a new programming language concept, called typestate, which is a refinement of the concept of type. Whereas the type of a data object determines the set of operations over permitted on the object, typestate determines the subset of these operations which is permitted in a particular context. Typestate tracking is a program analysis technique which enhances program reliability... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generation and consistency checking of design and program structures

    Publication Year: 1986, Page(s):172 - 181
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1831 KB)

    The author describes a mini methodology for generation and representation of design and program structures and for structural consistency checking between two successive designs or between a design and a program. This methodology comprises a tool (Program Design Language), a representation, and consistency criteria. The Program Design Language (PDL) extracts structure information, in a controlled ... View full abstract»

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

    Publication Year: 1986, Page(s): 182
    Request permission for commercial reuse | PDF file iconPDF (35 KB)
    Freely Available from IEEE
  • IEEE copyright form

    Publication Year: 1986, Page(s):1 - 2
    Request permission for commercial reuse | PDF file iconPDF (282 KB)
    Freely Available from IEEE

Aims & Scope

The IEEE Transactions on Software Engineering is interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software. The scope of this Transactions ranges from the mechanisms through the development of principles to the application of those principles to specific environments. Specific topic areas include: a) development and maintenance methods and models, e.g., techniques and principles for the specification, design, and implementation of software systems, including notations and process models; b) assessment methods, e.g., software tests and validation, reliability models, test and diagnosis procedures, software redundancy and design for error control, and the measurements and evaluation of various aspects of the process and product; c) software project management, e.g., productivity factors, cost models, schedule and organizational issues, standards; d) tools and environments, e.g., specific tools, integrated tool environments including the associated architectures, databases, and parallel and distributed processing issues; e) system issues, e.g., hardware-software trade-off; and f) state-of-the-art surveys that provide a synthesis and comprehensive review of the historical development of one particular area of interest.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Matthew B. Dwyer
Dept. Computer Science and Engineering
256 Avery Hall
University of Nebraska-Lincoln
Lincoln, NE 68588-0115 USA
tse-eic@computer.org