automated_verification_of_pattern-based_interaction_invariants_in_ajax_applications
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
automated_verification_of_pattern-based_interaction_invariants_in_ajax_applications [2014/01/08 13:57] yann |
automated_verification_of_pattern-based_interaction_invariants_in_ajax_applications [2014/01/08 14:11] yann |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| //Yann-Gaël Guéhéneuc, 2013/01/08// | //Yann-Gaël Guéhéneuc, 2013/01/08// | ||
| + | Following their previous work on extracting state-machines from AJAX applications, the authors proposed a Spin-based tool to verify invariants in AJAX state machines. The paper is very interesting and its treatment thorough. The paper starts by saying that AJAX is "credited with the 500% increase in Web users compared to a decade ago.", the main factor being the improved user experience with rich Web application, i.e., their usability. However, "unpredictable contexts while running application might conceal faults that will break the design patterns" used by developers to ensure usability. "By leveraging an AJAX engine on the client side, the applications can asynchronously receive necessary data from servers and partially update a Web page without page transitions", thus improving user experience. To improve user experience, developers are concerned with the interactions that the applications can handle (from users, servers, and themselves) and the behaviour of the applications when handling these interactions but also | ||
| + | Consequently, the paper presents JSVerifier and the steps used (1) to extract a state machine from a set of JavaScript, CSS, and HTML files and (2) to analyse this state machine to verify invariants. The steps require also some manual inputs. | ||
automated_verification_of_pattern-based_interaction_invariants_in_ajax_applications.txt · Last modified: 2019/10/06 20:37 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
