Generating high confidence contracts without user input using Daikon and ESC/Java2

K-REx Repository

Show simple item record Rayakota, Balaji 2013-05-01T13:54:19Z 2013-05-01T13:54:19Z 2013-05-01
dc.description.abstract Invariants are properties which are asserted to be true at certain program points. Invariants are of paramount importance when proving program correctness and program properties. Method, constructor, and class invariants can serve as contracts which specify program behavior and can lead to more accurate reuse of code; more accurate than comments because contracts are less error prone and they may be proved without testing. Dynamic invariant generation techniques run the program under inspection and observe the values that are computed at each program point and report a list of invariants that were observed to be possibly true. Static checkers observe program code and try to prove the correctness of annotated invariants by generating proofs for them. This project attempts to get strong invariants for a subset of classes in Java; there are two phases first we use Daikon, a tool that suggests invariants using dynamic invariant generation techniques, and next we get the invariants checked using ESC/Java2, which is a static checker for Java. In the first phase an ‘Instrumenter’ program inspects Java classes and generates code such that sufficient information is supplied to Daikon to generate strong invariants. All of this is achieved without any user input. The aim is to be able to understand the behavior of a program using already existing tools. en_US
dc.language.iso en en_US
dc.publisher Kansas State University en
dc.subject Software Contracts en_US
dc.subject Automatic Invariant Generation en_US
dc.subject Daikon en_US
dc.subject ESC/Java2 en_US
dc.title Generating high confidence contracts without user input using Daikon and ESC/Java2 en_US
dc.type Report en_US Master of Science en_US
dc.description.level Masters en_US
dc.description.department Department of Computing and Information Science en_US
dc.description.advisor Torben Amtoft en_US
dc.subject.umi Computer Science (0984) en_US 2013 en_US May en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search K-REx

Advanced Search


My Account


Center for the

Advancement of Digital


118 Hale Library

Manhattan KS 66506

(785) 532-7444