A noninterference monitoring and replay mechanism for real-time software testing and debugging

Tsai, Jeffrey J. P.; Fang, Kwang-Ya; Chen, H.-Y.; Bi, Yaodong

doi:10.1109/32.57626

Cited by 100 publications

(34 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Similar displays can be found for both parallel and distributed programs (see, for example, [6,7]). These other displays are, however, based on capturing message passing within a single parallel or distributed program; the monitors have no ability to follow execution outside the processes that execute the program.…”

Section: Related Workmentioning

confidence: 57%

Using interaction networks for visualisation of message passing

AshtonPaul

1997

SIGCSE Bull.

View full text Add to dashboard Cite

Understanding software structured as separate programs that communicate via message passing requires understanding how the various programs interact with each other, as well as understanding the individual programs in isolation. An interaction network display shows in a visual way message passing within and between programs. We have implemented an interaction network monitor for the MINIX operating system, for use in showing students how the system programs and processes of MINIX interact to provide operating system services. We give three examples to demonstrate the insights into message-based systems that can be gained from studying interaction network displays.

show abstract

Section: Related Workmentioning

confidence: 57%

Using interaction networks for visualisation of message passing

AshtonPaul

1997

SIGCSE Bull.

View full text Add to dashboard Cite

show abstract

“…It is often necessary to experiment the codes in actual or simulated environments in order to guarantee its nondeterministic computation behavior satisfying the timing constraints or synchronization behaviors. The testing and debugging of a real-time software system demands noninterference monitoring of program execution [38].…”

Section: Software Development Using a Predominance/particular Methodomentioning

confidence: 99%

A knowledge-based system for Ada® software development

Tsai

Sheu

1991

Journal of Systems Integration

View full text Add to dashboard Cite

Abstract. In this article, we present a knowledge-based system using the concept of knowledge representation and data abstraction to support Ada ~ software development. This article uses logic-based specification with objectoriented features to facilitate Ada software development. The Ada source code will be obtained through knowledgebased transformation. This system includes a frame-and-rule-oriented requirements language (FRORL), a predominance/particular methodology, and a knowledge base. FRORL uses frame representations for object-oriented modeling, applies production rules for specifying actions and constraints of real world domains, and provides a set of abstract mechanisms for the practical description of abstract relations. The predominance/particular methodology is used to support Ada software developers in performing object-oriented modeling of application domains. The knowledge base provides rules for specification checking, prototype validation, and transformation of specifications into Ada code. A real problem is given to illustrate the system.

show abstract

“…He also describes several monitoring systems. Many other authors also discuss the theory of monitoring methods and/or describe specific monitoring or debugging systems, for example [8,15,11,13]. Yan, Sarukkai and Mehra describe some experience with a very extensive set of monitoring and visualization tools from NASA's Ames Research Center [20].…”

Section: Instrumentation Practices For Embedded Systemsmentioning

confidence: 99%

Dynamic analysis for locating product features in Ada code

White

Wilde

2001

Ada Lett.

View full text Add to dashboard Cite

In this paper, we describe a Software Reconnaissance method for locating product features in code. The University of West Florida has provided a public domain Reconnaissance tool for C and C++. Characteristics of the Ada programming language present new interesting issues related to the development of a similar tool for Ada Reconnaissance, particularly its use in embedded systems, multi-tasking systems, and systems with real-time constraints. We describe our on-going efforts to develop a public domain Ada Reconnaissance tool.

show abstract

A noninterference monitoring and replay mechanism for real-time software testing and debugging

Cited by 100 publications

References 28 publications

Using interaction networks for visualisation of message passing

Using interaction networks for visualisation of message passing

A knowledge-based system for Ada® software development

Dynamic analysis for locating product features in Ada code

Contact Info

Product

Resources

About