COSC345

Resources

• There are four old papers about program readability and experiments. As it happens, these aren't the ones I intended to make available. I'm sure you can find lots of others. Read-Ex-1 Read-Ex-2 Read-Ex-3 Read-Ex-4
• The flawfinder 1.27 release copied from David Wheeler's web site and converted to ZIP format. On Windows, you will need to unpack it with unzip -a or equivalent. It's a Python program so should work OK under Windows. The ZIP-file includes documentation.
• ITS4 static checker (178 kB gzipped tar)
• SPlint 3.1.2 static checker (2.3 MB gzipped tar)
• Ellemtel style guide for C++ (PDF)
• NASA Formal Inspections Standard (PDF)
• NASA Formal Inspections Guidebook (PDF)
• The 1985 FTP standard (69 pages)
• An old list of standards in various areas (40 pages)
• templates.tar.gz (source code from lecture 20 handouts)
• For simple software metrics (lecture 18), there are
  • metrics.c, a little program of mine that handles C and Java (which tells you that it knows practically nothing about either of them)
  • metrics.tar, a tar(1) archive that unpacks into a metrics.d directory, giving you simple sizes + Halstead complexity measures + McCabe cyclomatic complexity.
  • metre.tar, a tar(1) archive that unpacks into a metre.d directory, giving you a bunch of things including call trees. Beware: this code needs serious work. It doesn't handle // comments, and its method of creating a call graph is ad hoc to the point of bogosity.
• The 2000 edition of the COCOMO II cost estimation model (90 pages, PDF) relates to lecture 19.
• For lecture 20, we have Henry Spencer's “How To Steal Code or Inventing The Wheel Only Once” (1989) and a templates.tar file with a modernised version of his templates. There is also a compressed tar file with my example showing how to generate Java classes from a truly generic template with M4.