Title :
Function extraction (FX) technology: automated calculation of program behavior for high-assurance systems
Author :
Linger, Richard C. ; Pleszkoch, Mark G.
Author_Institution :
Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
The function-theoretic view of programs suggests the possibility of automated calculation of program behavior. While significant theoretical challenges exist, the value of behavior calculation for high-assurance systems could be substantial.
Keywords :
function evaluation; program diagnostics; automated calculation; function extraction; high-assurance systems; program behavior; Algebra; Data engineering; Data mining; Equations; Humans; Level control; Programming profession; Software engineering; Systems engineering and theory; Testing;
Conference_Titel :
High Assurance Systems Engineering, 2004. Proceedings. Eighth IEEE International Symposium on
Print_ISBN :
0-7695-2094-4
DOI :
10.1109/HASE.2004.1281753
