Bounded verification of Ruby on rails data models

2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings

Volumn , Issue , 2011, Pages 67-77

  Nijjar, Jaideep ^a   Bultan, Tevfik ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

automated verification; bounded verification; data model; MVC frameworks; web application modeling and analysis

Indexed keywords

ALLOY ANALYZERS; AUTOMATED VERIFICATION; AUTOMATIC TRANSLATORS; BOUNDED VERIFICATION; FORMAL SPECIFICATION; MODEL-VIEW-CONTROLLER ARCHITECTURES; MVC FRAMEWORKS; OPEN SOURCES; PROGRAMMER PRODUCTIVITY; RUBY ON RAILS; SCRIPTING LANGUAGES; VERIFICATION TECHNIQUES; WEB APPLICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION; ERRORS; JAVA PROGRAMMING LANGUAGE; MODELS; RUBY; SOFTWARE TESTING; SPECIFICATIONS; TRANSLATION (LANGUAGES); USER INTERFACES; WORLD WIDE WEB;

VERIFICATION;

EID: 80051917931     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2001420.2001429     Document Type: Conference Paper

References (23)

1. L. Baresi, F. Garzotto, and P. Paolini. Extending UML for modeling web applications. In Proc. 34th Ann. Hawaii Int. Conf. Sys. Sci. (HICSS), 2001.
2. M. Book and V. Gruhn. Modeling web-based dialog flows for automatic dialog control. In Proc. 19th Int. Conf. Automated Software Engineering (ASE), pages 100-109, 2004.
3. B. Bordbar and K. Anastasakis. MDA and analysis of web applications. In Proc. VLDB Workshop on Trends in Enterprise Application Architecture, pages 44-55, 2005.
4. F. Buschmann et al. Pattern-Oriented Software Architecture: A System of Patterns. John Wiley and Sons, 1996.
5. S. Ceri, P. Fraternali, and A. Bongio. Web modeling language (WebML): a modeling language for designing web sites. Computer Networks, 33(1-6):137-157, 2000.
6. F. Chang. Generation of Policy-rich Websites from Declarative Models. PhD thesis, MIT, 2009.
7. J. Conallen. Modeling web application architectures with UML. Commun. ACM, 42(10):63-70, 1999. (Pubitemid 129588857)
8. A. Cunha and H. Pacheco. Mapping between Alloy specifications and database implementations. In Proc. 7th Int. Conf. Engineering and Formal Methods (SEFM), pages 285-294, 2009.
9. L. Desmet, P. Verbaeten, W. Joosen, and F. Piessens. Provable protection against web application vulnerabilities related to session data dependencies. IEEE Trans. Software Eng., 34(1):50-64, 2008.
10. A. Deutsch, L. Sui, V. Vianu, and D. Zhou. A system for specification and verification of interactive, data-driven web applications. In Proc. ACM SIGMOD Int. Conf. on Management of Data, pages 772-774, 2006.
11. F. M. Donini, M. Mongiello, M. Ruta, and R. Totaro. A model checking-based method for verifying web application design. Electr. Notes Theor. Comput. Sci., 151(2):19-32, 2006.
12. Fat free crm. http://www.fatfreecrm.com/.
13. S. Hallé, T. Ettema, C. Bunch, and T. Bultan. Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. In Proc. 25th Int. Conf. Automated Software Engineering (ASE), pages 235-244, 2010.
14. M. Han and C. Hofmeister. Relating navigation and request routing models in web applications. In 10th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS), pages 346-359, 2007.
15. M. Haydar. Formal framework for automated analysis and verification of web-based applications. In Proc. 19th Int. Conf. Automated Software Engineering (ASE), pages 410-413, 2004.
16. D. Jackson. Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge, Massachusetts, 2006.
17. S. Krishnamurthi, R. B. Findler, P. Graunke, and M. Felleisen. Modeling Web Interactions and Errors, pages 255-275. Springer, 2006.
18. Parsetree. http://rubyforge.org/projects/parsetree/.
19. E. D. Sciascio, F. M. Donini, M. Mongiello, R. Totaro, and D. Castelluccia. Design verification of web applications using symbolic model checking. In Proc. 5th Int. Conf. Web Engineering (ICWE), pages 69-74, 2005.
20. P. D. Stotts, R. Furuta, and C. R. Cabarrus. Hyperdocuments as automata: Verification of trace-based browsing properties by model checking. ACM Trans. Inf. Syst., 16(1):1-30, 1998.
21. Tracks. http://getontracks.org/.
22. L. Wang, G. Dobbie, J. Sun, and L. Groves. Validating ORA-SS data models using Alloy. In 17th Australian Software Engineering Conference (ASWEC), pages 231-242, 2006.
23. S. Yuen, K. Kato, D. Kato, , and K. Agusa. Web automata: A behavioral model of web applications based on the MVC model. Information and Media Technologies, 1(1):66-79, 2006.