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