Software testing using machine learning
作者： Franjo Ivancic , Sriram Sankaranarayanan , Richard Chang , Guofei Jiang
DOI:
关键词:
摘要: A system and method for analyzing a computer program includes performing static analysis on to determine property correctness. Test cases are generated conducted provide test output data. Hypotheses about aspects of execution the produced classify paths whether have been encountered or otherwise. In accordance with hypothesis, new cause exercise behavior which is outside cases.
lens.org 参考文章(18)
Jeremy W. Nimmer, Michael D. Ernst, Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java Electronic Notes in Theoretical Computer Science. ,vol. 55, pp. 255- 276 ,(2001) , 10.1016/S1571-0661(04)00256-7
Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill, Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library static analysis symposium. pp. 213- 229 ,(2002) , 10.1007/3-540-45789-5_17
James R. Larus, Christopher W. Fraser, Whole program path profiling ,(1999)
F. Ivančić, Z. Yang, M. K. Ganai, A. Gupta, I. Shlyakhter, P. Ashar, F-Soft: Software Verification Platform Computer Aided Verification. ,vol. 3576, pp. 301- 306 ,(2005) , 10.1007/11513988_31
Harm Sluiman, Automation and isolation of software component testing ,(2001)
Timothy L. Paterson, Test coverage analyzer ,(1989)
Stephen W. Spady, Alexander G. Gounares, Method and apparatus for adaptively solving sequential problems in a target system utilizing evolutionary computation techniques ,(1997)
Edward Barnes Boden, Automated testing of software application interfaces, object methods and commands ,(1996)
Radu Rugina, Martin Rinard, Symbolic bounds analysis of pointers, array indices, and accessed memory regions Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation - PLDI '00. ,vol. 35, pp. 182- 195 ,(2000) , 10.1145/349299.349325