Cleanroom software engineering: technology and process
Cleanroom software engineering: technology and process
Software Testing: A Craftman's Approach
Software Testing: A Craftman's Approach
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Planning and Certifying Software System Reliability
IEEE Software
What Is Software Testing? And Why Is It So Hard?
IEEE Software
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 9 - Volume 9
Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Automated Testing of Generic Computational Science Libraries
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
The impacts of function extraction technology on program comprehension: A controlled experiment
Information and Software Technology
Computing the behavior of malicious code with function extraction technology
Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies
Computing the behavior of malware
Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research
Science of Computer Programming
Hi-index | 0.00 |
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to determine the full functional behavior of programs under development, and even the most thorough testing can provide only partial knowledge of behaviors. Thus, effective scientific principles and engineering technology for revealing software behavior should have a positive impact on software testing. This paper describes the emerging technology of function extraction (FX) for computing the behavior of programs to the maximum extent possible with mathematical precision. We explore how the use of FX technologies can transform methods for functional verification of software. An example illustrates the value of full behavior knowledge for complete and confident assessment of software function and fitness for use. We conclude by describing a transition strategy for introducing FX technology into the development and operation of software systems.