Chapter 22 Verification and Validation
D. and LaRochelle, D. 2002. 'Improving security using extensible
lightweight static analysis'. IEEE Software. 19
(1), January/February 2002. 42-51.
J. R. et al. 2004.
'Righting Software'. IEEE
Software, 21 (3), 92-100.
J., et al. 2005. 'Architecture Reviews: Practice and Experience',
IEEE Software, 22 (2), 34-43.
programming LINT (tool download)
software inspection process
SEI pages on software inspections
D. and Saiedian, H. 2005. Test-Driven Development: Concepts,
Taxonomy and Future Direction. IEEE Computer, 38
P.G. 2004. 'Not-Defect: The Mature Discipline of Testing'.
Comm. ACM, 47 (10), 15-18.
testing resources and tools
introduction to software testing
An introduction that covers the different stages of
the software testing process.
of the art report: Software Testing (PPT)
Chapter 24 Critical Systems Validation
Adelard safety case editor (download)
A very brief introduction to safety arguments (with
in safety assurance (SAFECOMP keynote, M. Thomas)