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 language | English (US) |
|---|---|
| Title of host publication | Unknown Host Publication Title |
| Place of Publication | New York, NY |
| Publisher | IEEE |
| Pages | 163-168 |
| Number of pages | 6 |
| State | Published - 1800 |
| Externally published | Yes |
| Event | COMPSAC '78, IEEE Comput Soc Int Comput Software & Appl Conf, 2nd, Proc - Chicago, IL, USA Duration: Nov 13 1978 → Nov 16 1978 |
Other
| Other | COMPSAC '78, IEEE Comput Soc Int Comput Software & Appl Conf, 2nd, Proc |
|---|---|
| City | Chicago, IL, USA |
| Period | 11/13/78 → 11/16/78 |
ASJC Scopus subject areas
- Engineering(all)