Access Restriction

Author Zakonov, Andrey ♦ Shalyto, Anatoly
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Web Application ♦ Test Case ♦ High Branch Coverage ♦ Test Data ♦ Ajax Server Call ♦ Test Automation Tool ♦ Javascript Code ♦ Discovered Value ♦ Selenium Toolkit ♦ Automated White-box Test Generation ♦ Similar Behavior ♦ Online Banking ♦ User Action ♦ Social Network ♦ Possible Execution Branch ♦ Execution Branch ♦ Software Verification Technique ♦ Serverside Code ♦ Abstract Web Application ♦ Reachability Problem ♦ Wide Variety ♦ Web Application Test Case ♦ Safety Critical System ♦ Abstract Syntax Tree
Abstract Abstract—Web applications have become significantly more complex and have begun to be used in wide variety of areas including social networks, shopping, online banking and other safety critical systems. We present an approach for automated white-box test generation for web applications. Our approach is to convert problem of high branch coverage test suite generation into a reachability problem and to utilize existing software verification techniques to generate test data for each execution branch. Set of Abstract Syntax Trees (ASTs) is built that describes web application as a whole, both client- and serverside code, by analyzing JavaScript code, its AJAX server calls and callbacks. Constructed AST is converted into an C # function with similar behavior and a set of arguments that represent user inputs. Existing test automation tools are used to discover test data that covers all the possible execution branches in a C # function. Web application test cases are generated with the discovered values, Selenium toolkit is used to emulate user actions and to automatically run the program under test against test cases. I.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study