12 May 2007

Code Correctness

One of the things we pride ourself with at work is well written code. In a previous post I have mentioned the code review (also known as peer review) process, but we also use Lint by Gimpel Software for static C++ code analysis.

There was a new article about The Problems of Testing 64-bit Applications which is interesting from the point of view that it approaches the problem from a code correctness viewpoint.

At the end of the article there is a good selection of links to interesting software, papers and theories.