APPROACH TO REAL-TIME CONTROL FLOW CHECKING.

Sik-Sang Yau, F. C. Chen, K. H. Yau

Research output: Chapter in Book/Report/Conference proceedingChapter

7 Scopus citations

Abstract

A real-time control flow checking scheme capable of detecting control flow errors resulted from software coding errors, hardware malfunctions or memory mutilation is presented. In this approach, a data base containing the feasible path information in the source program is derived from the detailed design, and the path actually traversed at run-time is recorded and then checked using the information in the data base. This approach is general and detects in real-time most discrepancies between a program's control flow and its design. The overhead of using this approach will not be large. This approach can be also used to check the control flow in the testing phase of program development.

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
Place of PublicationNew York, NY
PublisherIEEE
Pages163-168
Number of pages6
Publication statusPublished - 1800
Externally publishedYes
EventCOMPSAC '78, IEEE Comput Soc Int Comput Software & Appl Conf, 2nd, Proc - Chicago, IL, USA
Duration: Nov 13 1978Nov 16 1978

Other

OtherCOMPSAC '78, IEEE Comput Soc Int Comput Software & Appl Conf, 2nd, Proc
CityChicago, IL, USA
Period11/13/7811/16/78

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Yau, S-S., Chen, F. C., & Yau, K. H. (1800). APPROACH TO REAL-TIME CONTROL FLOW CHECKING. In Unknown Host Publication Title (pp. 163-168). New York, NY: IEEE.