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 条

[21] Abstract Model Checking for Web Services
QIAN Junyan
[J]. Wuhan University Journal of Natural Sciences, 2008, (04) : 466 - 470
[22] Model checking technologies for web services
Huang, Hai
Mason, Rick A.
[J]. Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and The Second International Workshop on Collaborative Computing, Integration, and Assurance, Proceedings, 2006, : 217 - 222
[23] Static consistency checking of web applications with WebDSL
Hemel, Zef
Groenewegen, Danny M.
Kats, Lennart C. L.
Visser, Eelco
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 2011, 46 (02) : 150 - 182
[24] Multivariate testing and model-checking for generalized order statistics with applications
Bedbur, Stefan
Beutner, Eric
Kamps, Udo
[J]. STATISTICS, 2014, 48 (06) : 1297 - 1310
[25] Model-checking quantum systems
Mingsheng Ying
Yuan Feng
[J]. National Science Review, 2019, 6 (01) : 28 - 31
[26] Model-Checking Parse Trees
Boral, Anudhyan
Schmitz, Sylvain
[J]. 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 153 - 162
[27] Model-checking quantum systems
Ying, Mingsheng
Feng, Yuan
[J]. NATIONAL SCIENCE REVIEW, 2019, 6 (01) : 28 - 31
[28] Talking model-checking technology
Hoffman, Leah
[J]. COMMUNICATIONS OF THE ACM, 2008, 51 (07) : 112 - 111
[29] Creating automated plans for Semantic Web applications through planning as model checking
Anderson, Bonnie Brinton
Hansen, James V.
Lowry, Paul Benjamin
[J]. EXPERT SYSTEMS WITH APPLICATIONS, 2009, 36 (07) : 10595 - 10603
[30] Model-checking processes with data
Groote, JF
Willemse, TAC
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2005, 56 (03) : 251 - 273

← 1 2 3 4 5 →