Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study

被引：3
|
作者：
Rioux, Frederic [1 ]
Chalin, Patrice [1 ]
机构：
[1] Concordia Univ, Dept Comp Sci & Software Engn, DSRG, Montreal, PQ, Canada
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 157卷 / 02期
关键词：
Web-based Enterprise Application; Extended Static Checking; Design by Contract; !text type='Java']Java[!/text] Modeling Language;
D O I：
10.1016/j.entcs.2005.12.050
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
ESC/Java2 is a tool that statically detects errors in Java programs and that uses the Java Modeling Language (JML) as its annotation language. ESC/Java2 can modularly reason about the code of a Java Web-based Enterprise Application (WEA) and uncover potential errors. In this paper, we assessed the effectiveness of ESC/Java2 at helping developers increase WEA quality by detecting design and implementation issues.
引用
收藏
页码：119 / 132
页数：14
相关论文
共 50 条
  • [1] Applications of extended static checking
    Rustan, K
    Leino, M
    STATIC ANALYSIS, PROCEEDINGS, 2001, 2126 : 185 - 193
  • [2] A Pattern Language Verifier for Web-Based Enterprise Applications
    Zamani, Bahman
    Kayhani, Sahar
    Butler, Greg
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5301 : 553 - 567
  • [3] Integrative security management for web-based enterprise applications
    Zhao, C
    Chen, Y
    Xu, DW
    Heilili, NM
    Lin, ZQ
    ADVANCES IN WEB-AGE INFORMATION MANAGEMENT, PROCEEDINGS, 2005, 3739 : 618 - 625
  • [4] Assuring quality of web-based applications
    Zhu, Hong
    Kung, David
    INFORMATION AND SOFTWARE TECHNOLOGY, 2006, 48 (12) : 1135 - 1136
  • [5] Guidelines for improving the development of web-based applications
    Redouane, A
    FOURTH INTERNATIONAL WORKSHOP ON WEB SITE EVOLUTION, PROCEEDINGS, 2002, : 93 - 93
  • [6] Improving accessibility of web-based GIS applications
    Brisaboa, NR
    Luaces, MR
    Paramá, JR
    Trillo, D
    Viqueira, JR
    Sixteenth International Workshop on Database and Expert Systems Applications, Proceedings, 2005, : 490 - 494
  • [7] Static consistency checking of web applications with WebDSL
    Hemel, Zef
    Groenewegen, Danny M.
    Kats, Lennart C. L.
    Visser, Eelco
    JOURNAL OF SYMBOLIC COMPUTATION, 2011, 46 (02) : 150 - 182
  • [8] Enterprise Logon Server for Domain Wide Web-Based Applications
    Encheva, Sylvia
    Tumin, Sharil
    PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON CIRCUITS, SYSTEMS, ELECTRONICS, CONTROL AND SIGNAL PROCESSING (CSECS'08), 2008, : 36 - +
  • [9] Improving computer security using extended static checking
    Chess, BV
    2002 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2002, : 160 - 173
  • [10] Web-based enterprise computing
    Vetter, R
    COMPUTER, 1999, 32 (05) : 112 - +
12345