APPROACH TO REAL-TIME CONTROL FLOW CHECKING.

S. S. Yau, F. C. Chen, K. H. Yau

Research output: ResearchChapter

  • 7 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.

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

Fingerprint

Real time control
Flow control
Coding errors
Computer hardware
Data storage equipment
Testing

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.

APPROACH TO REAL-TIME CONTROL FLOW CHECKING. / Yau, S. S.; Chen, F. C.; Yau, K. H.

Unknown Host Publication Title. New York, NY : IEEE, 1800. p. 163-168.

Research output: ResearchChapter

Yau, SS, Chen, FC & Yau, KH 1800, APPROACH TO REAL-TIME CONTROL FLOW CHECKING. in Unknown Host Publication Title. IEEE, New York, NY, pp. 163-168, COMPSAC '78, IEEE Comput Soc Int Comput Software & Appl Conf, 2nd, Proc, Chicago, IL, USA, 11/13/78.
Yau SS, Chen FC, Yau KH. APPROACH TO REAL-TIME CONTROL FLOW CHECKING. In Unknown Host Publication Title. New York, NY: IEEE. 1800. p. 163-168.
Yau, S. S. ; Chen, F. C. ; Yau, K. H./ APPROACH TO REAL-TIME CONTROL FLOW CHECKING.Unknown Host Publication Title. New York, NY : IEEE, 1800. pp. 163-168
@inbook{947b27e1a00547f195e4cc5972eb3737,
title = "APPROACH TO REAL-TIME CONTROL FLOW CHECKING.",
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.",
author = "Yau, {S. S.} and Chen, {F. C.} and Yau, {K. H.}",
year = "1800",
pages = "163--168",
booktitle = "Unknown Host Publication Title",
publisher = "IEEE",

}

TY - CHAP

T1 - APPROACH TO REAL-TIME CONTROL FLOW CHECKING.

AU - Yau,S. S.

AU - Chen,F. C.

AU - Yau,K. H.

PY - 1800

Y1 - 1800

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0018281749&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0018281749&partnerID=8YFLogxK

M3 - Chapter

SP - 163

EP - 168

BT - Unknown Host Publication Title

PB - IEEE

ER -