Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior
2007
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
Keywords:
- Software engineering
- Software construction
- Social software engineering
- Software peer review
- Software system
- Resource-oriented architecture
- Package development process
- Software sizing
- Software development
- Computer science
- Software verification and validation
- Component-based software engineering
- Software measurement
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
11
References
25
Citations
NaN
KQI