By Topic

Software Engineering Journal

Issue 4 • Date July 1993

Filter Results

Displaying Results 1 - 5 of 5
  • Errors in algebraic specifications and an experimental mutation testing tool

    Publication Year: 1993, Page(s):211 - 224
    Cited by:  Papers (12)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1229 KB)

    There is an increasing trend towards more formality in the development of specifications of software systems in order to reduce the likelihood of errors as early as possible in the development process. The algebraic approach to specification, with its equational form, leads to the added advantage of executability via the process of term rewriting. Nevertheless, erroneous algebraic specifications c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software fault trees and weakest preconditions: a comparison and analysis

    Publication Year: 1993, Page(s):225 - 236
    Cited by:  Papers (3)  |  Patents (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (2787 KB)

    Software development in safety-critical systems demands techniques which provide both the precision of formal methods and the practicality of tried and trusted engineering methods, giving a measure of rigour as required by the application. In particular, reasoning about system behaviour in the presence of failures requires a realistic use of formal methods. The authors show how to capture the sema... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal specification for a hierarchy of collections

    Publication Year: 1993, Page(s):237 - 245
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (706 KB)

    This paper presents a formal specification for a hierarchy of types similar to the Collection hierarchy presented by the Smalltalk language. The specification method is an extension of VDM supporting the inheritance of specifications, with the property that subtypes are 'behaviour-compatible' with their parents. This formalism gives us a clear concept of behaviour compatibility, and is used to jus... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A test generation algorithm for systems modelled as non-deterministic FSMs

    Publication Year: 1993, Page(s):184 - 188
    Cited by:  Papers (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (400 KB)

    A variety of systems can be modelled as finite-state machines (FSM). Several formal methods have been proposed for testing the conformance of an implementation to a given FSM-based specification. However, all of these methods assume that the specification is modelled by a deterministic FSM. The paper presents an efficient algorithm that generates a set of adaptive all state-pair optimised distingu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Safety-critical systems, formal methods and standards

    Publication Year: 1993, Page(s):189 - 209
    Cited by:  Papers (38)  |  Patents (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (2031 KB)

    Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly affects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing confidence in such systems. The paper examines the industrial use of these techniques, the recommendations conce... View full abstract»

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