CSC 309
Documentation and Downloads

• Oracle's Java compiler, including javadoc -- available for UNIX, Windows, and Mac platforms
  NOTE: we are using version 8 by default in 309; it's OK to use version 7, as long as everyone on a team agrees
  
  
• Java library documentation -- online documentation for the Java class library, in javadoc format
  
  
• Java Tools and Utilities -- includes instructions for using javadoc, javac, java, and jar
  
  
• Oracle's Java tutorials -- very usable tutorials, including good coverage of the Swing GUI package
  
  
• Java language specification -- complete online documentation for the Java programming language
  
  
• JPA -- introduction to the Java persistence API, for mapping Java objects to a persistent relational data model
  
  
• JML:
  • JML homepage
    
    
  • JML reference manual
    
    
  • Getting Started with JML

• Java IDEs:
  • Eclipse -- interactive development environment (IDE) for Java development
    
    
  • NetBeans -- another interactive development environment (IDE) for Java development
    
    
  • BlueJ -- education-oriented IDE for Java development
  
  
  
• SVN:
  • online book -- a complete guide to svn, in a number of formats; choose the documentation for subversion 1.4
    
    
  • subversion home site -- for downloading, and a lot of other information
  
  
  
• Testing Tools:
  • TestNG -- "next generation" testing framework for Java

  • JUnit -- "old generation" testing framework for Java

  • unittest -- unit testing framework for Python

  • minitest, and others -- unit testing frameworks for Ruby

  • Java code coverage tools:
    • Cobertura
    • JaCoCo
    • a list of others

  • Python code coverage tool: coverage 3.7.1

  • Ruby code coverage tool: simplecov
  
  
  
• Noteworthy Testing Literature:
  • "Software Unit Test Coverage and Adequacy" -- seminal paper, still quite valid after almost 20 years

  • "Test coverage and post-verification defects: A multiple case study" -- a 2009 paper on the practical utility of test coverage

  • "How SQLite Is Tested" -- online discussion of the production-level testing done for SQLite.

  • "How to Read a Paper" -- quick practical guide for how to read scholarly papers such as the above
  
  
  
  

  ---

  index | lectures | handouts | examples | doc | lib | grades

  ---