Relational Constraint Driven Test Case Synthesis for Web Applications

Details Relational Constraint Driven Test Case Synthesis for Web Applications Relational Constraint Driven Test Case Synthesis for Web Applications

2010-09-20

arxiv.org/abs/1009.3713v1

EPTCS 35, 2010, pp. 39-50

Computer Science

Software Engineering

In Proceedings TAV-WEB 2010, arXiv:1009.3306

Scientific paper

10.4204/EPTCS.35.4

This paper proposes a relational constraint driven technique that synthesizes test cases automatically for web applications. Using a static analysis, servlets can be modeled as relational transducers, which manipulate backend databases. We present a synthesis algorithm that generates a sequence of HTTP requests for simulating a user session. The algorithm relies on backward symbolic image computation for reaching a certain database state, given a code coverage objective. With a slight adaptation, the technique can be used for discovering workflow attacks on web applications.

Affiliated with

Also associated with

No associations

Rating

Relational Constraint Driven Test Case Synthesis for Web Applications does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Relational Constraint Driven Test Case Synthesis for Web Applications, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Relational Constraint Driven Test Case Synthesis for Web Applications will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-263850