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
StatePublished - 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

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'APPROACH TO REAL-TIME CONTROL FLOW CHECKING.'. Together they form a unique fingerprint.

Cite this