02115   Java Programming
Autumn 2011

The links below are to supplementary notes material.

Documentation of software systems  by Jørgen Steensgaard-Madsen.
Sections 1, 2, and 3 are central. Section one (page 1) describes how to write programs as readable documents - Programs considered as documents. Section two (page 5) gives advises on style when doing report writing. And section three (page 9) is actually about testing as a means to secure program product quality. The interested readers are offered a series of appendices with examples, see below.
The Java source code and the result of running the test are not fully available in the document, but given here:

• The complete file  POset.java
• The complete file  POtest.java At the time being the file is currupt and can't compile
• The output from running the test:   POtest.data

Systematic software testing  by Peter Sestoft.
This note gives useful advices on how to practice testing.

Test of Object-oriented Software  by Anne Haxthausen.
This note gives useful advices on how to practice testing.

The two notes on testing should be considered as other views on testing than that of Chapter 6 of the BK textbook.

A LaTeX source file  with an example showing how to include a Java source file into a text document. It will only work properly together with version 1.0 (or higher versions) of the LaTeX listings package.
To get a LaTeX listings package to be used in the G-databar, one has to set the environment variable TETEX_VERSION to be 7BIN. Information on how to do that may be found here.