Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior

Authors:
Richard C. Linger;Mark G. Pleszkoch;Luanne Burns;Alan r. Hevner;Gwendolyn H. Walton
Affiliations:
Carnegie Mellon University, USA;Carnegie Mellon University, USA;Carnegie Mellon University, USA;University of South Florida, USA/ Carnegie Mellon University, USA;Florida Southern College, USA/ Carnegie Mellon University, USA
Venue:
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Year:
2007

Citing 0
Cited 6

Introducing function extraction into software testing

ACM SIGMIS Database
Concordia: a Google for malware

Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research
Computing the behavior of malware

Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research
Reflexive transitive invariant relations: A basis for computing loop functions

Journal of Symbolic Computation
Invariant functions and invariant relations: An alternative to invariant assertions

Journal of Symbolic Computation
Invariant relations, invariant functions, and loop functions

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The ultra-large-scale systems of the future require the transformation of software engineering into a computational discipline capable of fast and dependable software development. This paper discusses an emerging next-generation software engineering research area: function extraction (FX) technology for automated computation to the maximum extent possible of the behavior, correctness, and quality attributes of software components and their compositions into systems. An introduction to the mathematical foundations for computation of software behavior is provided, followed by an overview description of a rigorously designed experiment to quantify the potential for FX technology, and a discussion of a CERT STAR*Lab first application of FX technology to compute the behavior of code expressed in the Intel assembly language instruction set.