TY - GEN
T1 - Learning-based test programming for programmers
AU - Groce, Alex
AU - Fern, Alan
AU - Erwig, Martin
AU - Pinto, Jervis
AU - Bauer, Tim
AU - Alipour, Amin
PY - 2012
Y1 - 2012
N2 - While a diverse array of approaches to applying machine learning to testing has appeared in recent years, many efforts share three central challenges, two of which are not always obvious. First, learning-based testing relies on adapting the tests generated to the program being tested, based on the results of observed executions. This is the heart of a machine learning approach to test generation. A less obvious challenge in many approaches is that the learning techniques used may have been devised for problems that do not share all the assumptions and goals of software testing. Finally, the usability of approaches by programmers is a challenge that has often been neglected. Programmers may wish to maintain more control of test generation than a "push button" tool generally provides, without becoming experts in software testing theory or machine learning algorithms, and with access to the full power of the language in which the tested system is written. In this paper we consider these issues, in light of our experience with adaptation-based programming as a method for automated test generation.
AB - While a diverse array of approaches to applying machine learning to testing has appeared in recent years, many efforts share three central challenges, two of which are not always obvious. First, learning-based testing relies on adapting the tests generated to the program being tested, based on the results of observed executions. This is the heart of a machine learning approach to test generation. A less obvious challenge in many approaches is that the learning techniques used may have been devised for problems that do not share all the assumptions and goals of software testing. Finally, the usability of approaches by programmers is a challenge that has often been neglected. Programmers may wish to maintain more control of test generation than a "push button" tool generally provides, without becoming experts in software testing theory or machine learning algorithms, and with access to the full power of the language in which the tested system is written. In this paper we consider these issues, in light of our experience with adaptation-based programming as a method for automated test generation.
UR - http://www.scopus.com/inward/record.url?scp=84868277694&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84868277694&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-34026-0_42
DO - 10.1007/978-3-642-34026-0_42
M3 - Conference contribution
AN - SCOPUS:84868277694
SN - 9783642340253
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 572
EP - 586
BT - Leveraging Applications of Formal Methods, Verification and Validation
T2 - 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
Y2 - 15 October 2012 through 18 October 2012
ER -