Tickling Java with a Feather | Zendy

Tristan O.R. Allwood | Zendy; Susan Eisenbach | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Tickling Java with a Feather

Author(s) -

Tristan O.R. Allwood,

Susan Eisenbach

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.09.037

Subject(s) - programming language , computer science , java , suite , generics in java , java modeling language , rotation formalisms in three dimensions , test suite , code (set theory) , semantics (computer science) , java annotation , real time java , test case , mathematics , set (abstract data type) , geometry , archaeology , regression analysis , machine learning , history

Fragments of mainstream programming languages are formalised in order to show desirable properties of their static semantics. We ask if said formalisms could also be used to define a test suite for the mainstream programming language in question, and what the utility of such a suite would be.In this work, we present our findings from testing Java with Featherweight Java (FJ). We take the syntax and binding structure of FJ to define an instance space of non-isomorphic test programs and implementations of FJ type checkers to provide oracles for our tests, to ensure the mainstream implementation conforms with the expectations of FJ. Using these, we evaluate (using code coverage techniques) how much of the Sun OpenJDK javac can be tested by FJ

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research