1 / 8

Advancing Java Software Reliability: Extended Static Checker Project Review

This presentation reviews the ESC/Java project aimed at developing an extended static checker for Java. Focusing on critical software reliability issues, the project specifies checks for array-bounds errors, null dereference errors, downcast errors, and concurrency errors. Our goals include deploying effective ESC technology for eager users, adapting it to Java with new checks, and building a supportive user community. The project team, including notable experts, seeks to leverage past SRC successes to enhance Java programming, establish Digital as a center of Java excellence, and generate valuable user feedback.

cyndi
Télécharger la présentation

Advancing Java Software Reliability: Extended Static Checker Project Review

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. ESCJ 14:ESC/Java Project Review Slides March 6th, 1997

  2. What • Extended static checker for Java • Array-bounds errors • Null dereference errors • Downcast errors • Concurrency errors

  3. Goals • Deploy ESC technology in useful form • Want eager users • Research required • Adopt to Java (interfaces) • New kinds of checks (object invariants) • Performance (space, time, variability) • Where to give up soundness and completeness

  4. Why: big picture • Reliable software is expensive to develop • Java is the future of programming • Leverage SRC strengths • Past ESC work • Java is like Modula-3

  5. Why: benefits to Digital • Build Java expertise • Support Java programmers in RAD, DEC • PR: Digital as a center of Java excellence • Build prover technology, expertise • Product?

  6. How • Interview RAD Java users • Design, test, document annotation language • Build checker • New code in Java • Front end • Verification-condition generator • Reuse theorem prover from ESC/Modula-3

  7. When • About a year • Release first version of tool • Following months • Build user community • Fold feedback into tool

  8. Who • Rustan Leino • Greg Nelson • Jim Saxe • Raymie Stata • …others

More Related