Abstract
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.
- Collins, R., Hevner, A., Walton, G., and Linger, R. (2008). "The Impacts of Function Extraction Technology on Program Comprehension: A Controlled Experiment," Information and Software Technology, doi: 10.1016/j.infsof.2008.04.001. Google ScholarDigital Library
- Hevner, A., Linger, R., Collins, R., Pleszkoch, M., Prowell, S., and Walton, G. (2005). The Impact of Function Extraction Technology on Next-Generation Software Engineering, Technical Report CMU/SEI-2005-TR-015, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA.Google Scholar
- Jorgensen, P. (2002). Software Testing: A Craftsman's Approach, 2nd Edition, CRC Press, Inc., Boca Raton, FL. Google ScholarDigital Library
- Linger, R., Mills, H., and Witt, B. (1979). Structured Programming: Theory and Practice, Addison-Wesley, Reading, MA. Google ScholarDigital Library
- Linger, R. and Pleszkoch, M. (2004). "Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior," Proceedings of the 37th Annual Hawaii International Conference on System Science (HICSS35), Hawaii, IEEE Computer Society Press, Los Alamitos, CA. Google ScholarDigital Library
- Linger, R., Pleszkoch, M., Burns, L., Hevner, A., and Walton, G. (2007). "Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior," Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS40), Hawaii, IEEE Computer Society Press, Los Alamitos, CA. Google ScholarDigital Library
- Pleszkoch, M., Hausler, P., Hevner, A., and Linger, R. (1990). "Function-Theoretic Principles of Program Understanding," Proceedings of the 23rd Annual Hawaii International Conference on System Science (HICSS35), Hawaii, IEEE Computer Society Press, Los Alamitos, CA.Google Scholar
- Poore, J., Mills, H., and Mutchler, D. (1993). "Planning and Certifying Software System Reliability," IEEE Software, Vol. 10, No. 1, pp. 88--99. Google ScholarDigital Library
- Prowell, S., Trammell, C., Linger, R., and Poore, J. (1999). Cleanroom Software Engineering: Technology and Practice, Addison Wesley, Reading, MA. Google ScholarDigital Library
- Sayre, K. and Poore, J. (2007). "Automated Testing of Generic Computational Science Libraries," Proceedings of the 40th Annual Hawaii International Conference on System Science (HICSS40), Hawaii, IEEE Computer Society Press, Los Alamitos, CA. Google ScholarDigital Library
- Walton, G., Longstaff, T, and Linger, R. (2006). Technology Foundations for Computational Evaluation of Security Attributes, Technical Report CMU/SEI-2006-TR-021, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA.Google ScholarCross Ref
- Whittaker, J. (2000). "What Is Software Testing? And Why Is It So Hard?" IEEE Software, Vol. 17, No. 1, pp. 70--79. Google ScholarDigital Library
Index Terms
- Introducing function extraction into software testing
Recommendations
Testing scientific software: A systematic literature review
Context: Scientific software plays an important role in critical decision making, for example making weather predictions based on climate models, and computation of evidence for research publications. Recently, scientists have had to retract ...
Testing research software: a survey
AbstractBackgroundResearch software plays an important role in solving real-life problems, empowering scientific innovations, and handling emergency situations. Therefore, the correctness and trustworthiness of research software are of absolute ...
Computer Software Testing Experiment
ISDEA '15: Proceedings of the 2015 Sixth International Conference on Intelligent Systems Design and Engineering ApplicationsSoftware test is an indispensable position in the software industry, its main purpose is for the mistake and problem solving are pointed out. Software protection technology of the main fundamental purpose lies in the prevention and control over the use ...
Comments