Java News from Thursday, February 19, 2004

I found several more bugs in XOM yesterday. Two of them were of a form the code coverage tool could have caught but didn't. Consider this fragment:

if (a >= b) {
   // do something...

Clover was testing that both the positive and negative cases were being exercised; i.e. that I was testing both when a >= b was true and when a >= b was false. The bug, however, only occurred when a == b was true. The code coverage tool could have verified that the tests covered all three cases (a > b, a == b, and a < b). Instead it treated this as a binary condition.

Version 1.1.4 of the Kaffe open source Java virtual machine for various Unixes has been released. According to developer Jim Pick, "Although not as fully tested as the current "production" 1.0.7 release, most users will find it to be much more functional and complete. We are planning to update the production release later this year. As this is a development release, it is essentially a snapshot of what's happening in CVS, with limited testing." New features since since 1.1.3 include: