By Topic

IEEE Software

Issue 3 • Date May 1991

Filter Results

Displaying Results 1 - 9 of 9
  • A general framework for debugging

    Publication Year: 1991, Page(s):14 - 20
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (860 KB)

    The state of the art of debugging is examined. A debugged process model that serves as the basis of a general debugging framework is described. The relationship of the model to traditional debugging processes and support tools is discussed. A minimal set of requirements for a general debugging framework is described in terms of both the theory behind debugging methodologies and the support tools. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An execution-backtracking approach to debugging

    Publication Year: 1991, Page(s):21 - 26
    Cited by:  Papers (11)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (623 KB)

    Spyder, a system for selective checkpointing of computational sequences, is presented. It lets users backtrack from checkpoints without the need to reexecute the program to reach recent prior states. In contrast to more comprehensive (and storage-intensive) checkpointing schemes, backtracking in this approach is constrained to limit storage requirements. The resulting debugger offers a structured ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sequential debugging at a high level of abstraction

    Publication Year: 1991, Page(s):27 - 36
    Cited by:  Papers (4)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1495 KB)

    Efforts to build a better mousetrap for bugs in sequential programs are described. The resulting debugger, called Dalek, is intended to remedy limitations in conventional execution harnesses. Beyond the simple 'stop and look' features offered by typical breakpoint debuggers, Dalek offers a rich control and query language. Dalek's linguistic capabilities for treating sequences of program events off... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Debugging multithreaded programs with MPD

    Publication Year: 1991, Page(s):37 - 43
    Cited by:  Papers (7)  |  Patents (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (778 KB)

    MPD, a multiprocessor debugger, is described. In MPD, users specify sequential or parallel event (breakpoint) expressions and associated actions; MPD automatically generates code to recognize these patterns of events and invokes the corresponding actions when the event expressions are satisfied during the program execution. The richness of the expression-specification language gives users a great ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Linked-list visualization for debugging

    Publication Year: 1991, Page(s):44 - 51
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (723 KB)

    Recent extensions to the VIPS debugger are described. In the original version of VIPS, visualization of linked structures was limited to very small lists or to selected portions of larger structures. The newer version of VIPS extends the original work by adding multiple levels of browsers, letting users interactively identify sublists of interest. Animation facilities support the visualization of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specifying concurrent systems with TSL

    Publication Year: 1991, Page(s):52 - 61
    Cited by:  Papers (13)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1149 KB)

    The Task Sequencing Language (TSL), which lets programmers specify constraints on the behavior of concurrent programs, is described. The constraints, specified by high-level annotations to Ada programs, are monitored at runtime; when a violation is detected, control is returned to the user, along with information about the nature of the violation. It is argued that such a tool is a necessary crutc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Spring kernel: a new paradigm for real-time systems

    Publication Year: 1991, Page(s):62 - 72
    Cited by:  Papers (89)  |  Patents (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1336 KB)

    A real-time operating system kernel, called the Spring kernel, that provides some of the basic support required for large, complex, next-generation real-time systems, especially in meeting timing constraints, is presented. The approach meets the need to build predictable yet flexible real-time systems. Most current real-time operating systems contain the same basic paradigms found in time-sharing ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A dynamic C-based object-oriented system for Unix

    Publication Year: 1991, Page(s):73 - 85
    Cited by:  Papers (1)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1407 KB)

    Calico, a C-based object-oriented language supported by an integrated software development environment, is described. Calico features strict encapsulation, dynamic binding, fast garbage collection, and interoperability with C. It provides a simple, uniformly applied object model, a syntax easily mastered by C programmers, a new multiple inheritance model, simple method-call semantics with some nov... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mixing prototyping and data modeling for information-system design

    Publication Year: 1991, Page(s):86 - 91
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (673 KB)

    An experiment to determine whether integrating two techniques available to designers, but normally used separately, would help in development of the right system is reported. The experiment used management-information-systems graduate students as designers and users. Measures of designers' reactions to design strategies were included in the experiment. The results showed that designers have negati... View full abstract»

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

Aims & Scope

IEEE Software delivers reliable, useful, leading-edge software development information to keep engineers and managers abreast of rapid technology change.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Diomidis Spinellis
Athens University of Economics and Business
28is Oktovriou 76
Athina 104 33, Greece
dds@computer.org