wiki:summer-projects/2010-annotations

Checking Java Annotations

Abstract

Imagine the world where computers are handling all critical situations. Reliable systems using artificial intelligence prevent ships from drafting on shallows and planes from crashes. However, it is required that those systems are tested by powerful verification tools. In order to maximize application reliability, production versions should not differ from tested versions. Achieving that is possible using annotations which are detected at runtime. The aim of Checking Java Annotation project is to develop a set of annotations that can be applied to Java programs to assist tools that detect software defects.

Contact

student: Filip Rogaczewski <frogaczewski "at" gmail.com> (FR)
mentor: Suzette Person <suzette.person "at" nasa.gov> (SP)
co-mentor: Mateusz Ujma <mateusz.ujma "at" gmail.com> (MU)

Program & Timeline

This project is funded by the Google Summer of Code (GSoC) program. It follows the GSoC timeline (start 05/24, finish 08/16)

http://bitbucket.org/rogaall/jpf-aprop-gsoc2010/wiki/Schedule Schedule for the project.

Repository

The sources for this project are available from a Mercurial repository on http://bitbucket.org/rogaall/jpf-aprop-gsoc2010

Description

Confined checker will be used to check whether references to certain type, field or method are used inside of specified scope.

Descriptions of the annotations are on the following wiki-pages:

Basic http://bitbucket.org/rogaall/jpf-aprop-gsoc2010/src/tip/src/main/gov/nasa/jpf/aprop/listener/ConfinedChecker.java ConfinedChecker was developed during the application period.

Examples showing the future use of the annotations are in the following http://bitbucket.org/rogaall/jpf-aprop-gsoc2010/src/fb778f25c3e1/src/examples/ eclipse project.

Assumptions

Summary of assumptions we will follow as we implement the new annotations are found on the following http://bitbucket.org/rogaall/jpf-aprop-gsoc2010/wiki/Assumptions wiki page.

Questions

Questions about the project functionality are on the following http://bitbucket.org/rogaall/jpf-aprop-gsoc2010/wiki/Questions wiki page.

Related work

Project Blog

http://frogaczewski.blogspot.com/ Filip's blog related to the project.

(most recent on top)

05/28/2010 (SP) - updated with content from bitbucket wiki

05/06/2010 (SP) - project page created

Last modified 8 years ago Last modified on 06/07/2010 07:48:52 AM