article · ACM SIGMIS Database the DATABASE for Advances in Information Systems · 2008

Introducing function extraction into software testing

Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner

Cited by 16Abstract and details only

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.

Cite this paper

APA 7

Pleszkoch, M. G., Linger, R. C., & Hevner, A. R. (2008). Introducing function extraction into software testing. ACM SIGMIS Database the DATABASE for Advances in Information Systems, 39(3), 41–50. https://doi.org/10.1145/1390673.1390679

MLA 9

Pleszkoch, Mark G., et al. “Introducing function extraction into software testing.” ACM SIGMIS Database the DATABASE for Advances in Information Systems, vol. 39, no. 3, 2008, pp. 41–50, https://doi.org/10.1145/1390673.1390679.

Chicago

Pleszkoch, Mark G., Richard C. Linger, and Alan R. Hevner. 2008. “Introducing function extraction into software testing.” ACM SIGMIS Database the DATABASE for Advances in Information Systems 39 (3): 41–50. https://doi.org/10.1145/1390673.1390679.

Harvard

Pleszkoch, M.G., Linger, R.C. and Hevner, A.R. (2008) ‘Introducing function extraction into software testing’, ACM SIGMIS Database the DATABASE for Advances in Information Systems, 39(3), pp. 41–50. Available at: https://doi.org/10.1145/1390673.1390679.

BibTeX

@article{pleszkoch2008introducing,
  title = {{Introducing function extraction into software testing}},
  author = {Pleszkoch, Mark G. and Linger, Richard C. and Hevner, Alan R.},
  journal = {ACM SIGMIS Database the DATABASE for Advances in Information Systems},
  volume = {39},
  number = {3},
  pages = {41--50},
  year = {2008},
  doi = {10.1145/1390673.1390679}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.