Debugging of Web Applications with Web-TLR

Computer Science – Logic in Computer Science

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

In Proceedings WWV 2011, arXiv:1108.2085

Scientific paper

10.4204/EPTCS.61.5

Web-TLR is a Web verification engine that is based on the well-established Rewriting Logic--Maude/LTLR tandem for Web system specification and model-checking. In Web-TLR, Web applications are expressed as rewrite theories that can be formally verified by using the Maude built-in LTLR model-checker. Whenever a property is refuted, a counterexample trace is delivered that reveals an undesired, erroneous navigation sequence. Unfortunately, the analysis (or even the simple inspection) of such counterexamples may be unfeasible because of the size and complexity of the traces under examination. In this paper, we endow Web-TLR with a new Web debugging facility that supports the efficient manipulation of counterexample traces. This facility is based on a backward trace-slicing technique for rewriting logic theories that allows the pieces of information that we are interested to be traced back through inverse rewrite sequences. The slicing process drastically simplifies the computation trace by dropping useless data that do not influence the final result. By using this facility, the Web engineer can focus on the relevant fragments of the failing application, which greatly reduces the manual debugging effort and also decreases the number of iterative verifications.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Debugging of Web Applications with Web-TLR 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 Debugging of Web Applications with Web-TLR, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Debugging of Web Applications with Web-TLR will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-275798

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.