NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
A Discussion of Issues in Integrity Constraint MonitoringIn the development of large-scale software systems, analysts, designers, and programmers identify properties of data objects in the system. The ability to check those assertions during runtime is desirable as a means of verifying the integrity of the program. Typically, programmers ensure the satisfaction of such properties through the use of some form of manually embedded assertion check. The disadvantage to this approach is that these assertions become entangled within the program code. The goal of the research is to develop an integrity constraint monitoring mechanism whereby a repository of software system properties (called integrity constraints) are automatically inserted into the program by the mechanism to check for incorrect program behaviors. Such a mechanism would overcome many of the deficiencies of manually embedded assertion checks. This paper gives an overview of the preliminary work performed toward this goal. The manual instrumentation of constraint checking on a series of test programs is discussed, This review then is used as the basis for a discussion of issues to be considered in developing an automated integrity constraint monitor.
Document ID
20000032230
Acquisition Source
Headquarters
Document Type
Conference Paper
Authors
Fernandez, Francisco G.
(Texas Univ. El Paso, TX United States)
Gates, Ann Q.
(Texas Univ. El Paso, TX United States)
Cooke, Daniel E.
(Texas Univ. El Paso, TX United States)
Date Acquired
August 19, 2013
Publication Date
February 22, 1998
Publication Information
Publication: NASA University Research Centers Technical Advances in Aeronautics, Space Sciences and Technology, Earth Systems Sciences, Global Hydrology, and Education
Volume: 2 and 3
Subject Category
Computer Programming And Software
Funding Number(s)
CONTRACT_GRANT: NCCW-89
CONTRACT_GRANT: NAGW-1012
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.
No Preview Available