Documentation

Articles

Contribute

Test to Code Ratio

By Dave, on March 8th, 2012

I’ve just been watching the following talk over on InfoQ: Software Quality — You know it when you see it.  Thanks to Craig over at SoftViz for pointing me to it.  The talk is quite interesting, with the focus being primarily around using innovative visualizations of software to gauge quality.

But, that’s not what . . . → Read More: Test to Code Ratio

2 comments   Interest   , ,  

Not all Tests are Passing … is that so Bad?

By Dave, on November 1st, 2011

For the Whiley compiler, I currently have over 500 end-end tests and in excess of 15,000 unit tests (most of which were auto-generated and target the type system).  Each end-end test is a short Whiley program that is  categorised as either valid or invalid.  Valid tests also include sample output and are expected to . . . → Read More: Not all Tests are Passing … is that so Bad?

8 comments   Development   ,  

James Bach on Software Testing

By Dave, on September 8th, 2010

I’ve just been watching this YouTube presentation by James Bach:

James has a very tongue-in-cheek style, which I rather like, and he’s obviously not a great fan of the academic establishment:

“Testing is not part of Computer Science.  Computer Science likes to think that testing is part of Computer Science.  But, if you . . . → Read More: James Bach on Software Testing

2 comments   Interest    

An Overview of Whiley’s Testing Framework

By Dave, on June 13th, 2010

Testing that the Whiley-to-Java Compiler (wyjc) functions correctly is something of a challenge.  We must, as usual, check that the correct (JVM) code is generated, and that the type checker is accepting/rejecting the right programs.  However, we must also test that the theorem prover wyone is accepting / rejecting the right programs as well.  . . . → Read More: An Overview of Whiley’s Testing Framework

Leave a comment   Development   , ,