Checking Java Programs Bibliography - Web Resources

Checking Java Programs Bibliography - Web Resources

Software Testing is a web site focussing on software testing (covering a variety of programming languages).
Another list of software analysis tools focussing on static analysis; covers the main ones plus a number that are relatively obscure, many of them non-open-source. Site does not have an updated date.
Enumeration of all kinds of tests, in the Evil Unit Testing article.
"Daily Build and Smoke Test", Steve McConnell, IEEE Software, Vol. 13, No. 4, July 1996, available online at Daily Smoke Test Several years after Booch’s classic textbook introduced the term, this paper presents an early (though thoroughly Microsoft-centric) discussion of what we now call "Continuous Integration".

Introduction

http://cjp.darwinsys.com/ Author’s home page for Checking Java Programs
The author’s ancient book on lint.
PageUnit, author’s simple tool for checking web pages
My Annabot annotations checker for Java annotation-based APIs
Author’s Java pages where you will find lots of resources
I teach for Learning Tree and have written a course on standard Java EE technologies
IDEs: Eclipse, NetBeans, IntelliJ
Build Tools: Apache Maven, Ant, Gradle
Code examples at GitHub
ClubList, a simple list-detail app
CrashBurnFree, simple application crash reporter

Dynamic Testing

My list of tools

Unit Testing

StringBuilder, our test target (replacement for StringBuffer).
hamcrest.org/JavaHamcrest.
Mock Objects on the original Wiki (years before WikiPedia).
Arquillian: Kicking the Bugs out!
Arquillian on Maven Central
Arquillian ShrinkWrap
"JUnit Lambda" aka JUnit 5 candidate
JUnit Lambda Samples
JUnit Lambda source code
Testing RxJava

BDD

Logging

Testing with Spock

Spock’s home world
a web site that allows you to run Spock tests online for free.
industrial-strength PostgreSQL database
Groovy SQL
Spock BDD, includes useful historical background.

Test Coverage

My blog on Accessors (good or evil): http://theories.darwinsys.com/View.web?blogId=2016/01/24/1411000000000
Lombok dynamically generates accessors (as well as toString, hashCode/equals, etc)
http://cjp.darwinsys.com/
https://en.wikipedia.org/wiki/Java_Code_Coverage_Tools.
http://www.mojohaus.org/cobertura-maven-plugin/

Web Testing

Continuous Integration

http://www.martinfowler.com/articles/continuousIntegration.html
eXtreme Feedback Devices
siren of shame.
Cruise Control, one of the earlier CI projects
Jenkins The leading CI
Hudson The other fork of the leading CI

Static Code Analysis

My list of tools

PMD

FindBugs

Eclipse Update Site
Bug categories detected.
Source Code: see https://github.com/findbugsproject/findbugs (not github.com/findbugs/findbugs)
Filter File Format
the FindBugs home page. The online manual is reasonably comprehensive.
JCIP: Java Concuurency In Practice book, 2006

Conclusion

CJP Home at DarwinSys: list of tools, bibliography, etc.