A presentation, from the Dept. of Computer Science AZ, on software inspections and walkthroughs. This presentation has bullet points on reviewing code for maintainability, supportability, reliability and testability.

As previously indicated, in other data flow analysis references, the static software testing techniques involving data flow analysis are complicated and not generally applied by application testers of commercial systems. That said, there is a relationship between code coverage, boundary value analysis and data flow analysis which will present any software tester with greater insights into effective testing methods.

This 12 page article provides a readable overview of the history and details of code inspections. The article has been updated to include XP’s pair programming references and presents what is often seen as a dated technique in a modern setting.

This informative article presents the classic ‘5 C’s’ to be reviewed during any code inspection, namely: Correctness, Conciseness, Clarity, Completeness and Comprehensiveness. The basis concepts of code inspection are presented together with some real world commentary on it’s effectiveness.

A good appreciation of what control flow analysis is and how it can be used as a static software testing technique. In addition the more inquisitive reader, those searching for deeper knowledge, will find this presentation contains many control flow concepts and terms for a deep understanding of the subject and a springboard to further reading.

The subject of data flow analysis is complex and usually applicable to software (as opposed to application) engineering. This presentation is one of the more readable we have found and gives a good overview of data flow analysis within the overall control flow analysis frameworks and related static software testing techniques.