User Tools

Site Tools


automated_verification_of_pattern-based_interaction_invariants_in_ajax_applications

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
automated_verification_of_pattern-based_interaction_invariants_in_ajax_applications [2014/01/08 14:26]
yann
automated_verification_of_pattern-based_interaction_invariants_in_ajax_applications [2014/01/09 00:40]
yann
Line 1: Line 1:
-====== ​Abstract ​======+====== ​Maezawa, Y.; Washizaki, H.; Tanabe, Y. & Honiden, S. Automated Verification of Pattern-based Interaction Invariants in Ajax Applications. Proceedings of the 28th International Conference on Automated Software Engineering,​ IEEE CS Press, 2013 ====== 
 + 
 +===== Abstract ​=====
  
 When developing asynchronous JavaScript and XML (Ajax) applications,​ developers implement Ajax design patterns for increasing the usability of the applications. However, unpredictable contexts of running applications might conceal faults that will break the design patterns, which decreases usability. We propose a support tool called JSVerifier that automatically verifies interaction invariants; the applications handle their interactions in invariant occurrence and order. We also present a selective set of interaction invariants derived from Ajax design patterns, as input. If the application behavior breaks the design patterns, JSVerifier automatically outputs faulty execution paths for debugging. The results of our case studies show that JSVerifier can verify the interaction invariants in a feasible amount of time, and we conclude that it can help developers increase the usability of Ajax applications. When developing asynchronous JavaScript and XML (Ajax) applications,​ developers implement Ajax design patterns for increasing the usability of the applications. However, unpredictable contexts of running applications might conceal faults that will break the design patterns, which decreases usability. We propose a support tool called JSVerifier that automatically verifies interaction invariants; the applications handle their interactions in invariant occurrence and order. We also present a selective set of interaction invariants derived from Ajax design patterns, as input. If the application behavior breaks the design patterns, JSVerifier automatically outputs faulty execution paths for debugging. The results of our case studies show that JSVerifier can verify the interaction invariants in a feasible amount of time, and we conclude that it can help developers increase the usability of Ajax applications.
  
-====== Comments ​======+===== Comments =====
  
 //​Yann-Gaël Guéhéneuc,​ 2013/​01/​08//​ //​Yann-Gaël Guéhéneuc,​ 2013/​01/​08//​
automated_verification_of_pattern-based_interaction_invariants_in_ajax_applications.txt · Last modified: 2019/10/06 20:37 (external edit)