Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study |
| |
| Authors: | Fr d ric Rioux,Patrice Chalin |
| |
| Affiliation: | Dependable Software Research Group (DSRG), Department of Computer Science and Software Engineering, Concordia University, Montréal, Canada |
| |
| Abstract: | 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. |
| |
| Keywords: | Web-based Enterprise Application Extended Static Checking Design by Contract Java Modeling Language |
| 本文献已被 ScienceDirect 等数据库收录！ |
