Model-Checking Web Applications with Web-TLR

被引：0
|
作者：
Alpuente, Maria [1 ]
Ballis, Demis [2 ]
Espert, Javier [1 ]
Romero, Daniel [1 ]
机构：
[1] Univ Politecn Valencia, DSIC ELP, Valencia, Spain
[2] Univ Udine, DIMI, I-33100 Udine, Italy
来源：
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS | 2010年 / 6252卷
关键词：
LOGIC;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
WEB-TLR is a software tool designed for model-checking Web applications which is based on rewriting logic. Web applications are expressed as rewrite theories which can be formally verified by using the Maude built-in LTLR model-checker. WEB-TLR is equipped with a user-friendly, graphical Web interface that shields the user from unnecessary information. Whenever a property is refuted, an interactive slideshow is generated that allows the user to visually reproduce, step by step, the erroneous navigation trace that underlies the failing model checking computation. This provides deep insight into the system behavior, which helps to debug Web applications.
引用
收藏
页码：341 / +
页数：2
相关论文
共 50 条
  • [1] Debugging of Web Applications with WEB-TLR
    Alpuente, Maria
    Espert, Javier
    Frechina, Francisco
    Romero, Daniel
    Ballis, Demis
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (61): : 66 - 80
  • [2] Verification of web service flows with model-checking techniques
    Nakajima, S
    [J]. FIRST INTERNATIONAL SYMPOSIUM ON CYBER WORLDS, PROCEEDINGS, 2002, : 378 - 385
  • [3] Model-checking web services business activity protocols
    Marques Jr. A.P.
    Ravn A.P.
    Srba J.
    Vighio S.
    [J]. International Journal on Software Tools for Technology Transfer, 2013, 15 (2) : 125 - 147
  • [4] Model Checking Web Applications Based On Web Navigation
    Jiang, Mingyue
    Ding, Zuohua
    [J]. 2010 INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT (CCCM2010), VOL III, 2010, : 694 - 697
  • [5] Model-checking of safety and security aspects in Web service flows
    Nakajima, S
    [J]. WEB ENGINEERING, PROCEEDINGS, 2004, 3140 : 488 - 501
  • [6] Formal Verification for Web Service Composition: A Model-checking Approach
    Ghannoudi, Majdi
    Chainbi, Walid
    [J]. 2015 International Symposium on Networks, Computers and Communications (ISNCC 2015), 2015,
  • [7] Model-checking Web Services Orchestrations using BP-calculus
    Abouzaid, Faisal
    Mullins, John
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 255 : 3 - 21
  • [8] Model checking class specifications for web applications
    Choi, EH
    Watanabe, H
    [J]. 12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2005, : 67 - 75
  • [9] Model-Checking Verification of Publish-Subscribe Architectures in Web Service Contexts
    Diaz, Gregorio
    Emilia Cambronero, M.
    Macia, Hermenegilda
    Valero, Valentin
    [J]. 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1688 - 1695
  • [10] Verifying web applications using bounded model checking
    Huang, YW
    Yu, F
    Hang, C
    Tsai, CH
    Lee, DT
    Kuo, SY
    [J]. 2004 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2004, : 199 - 208
12345