Further reading
Verification and Validation
  Further reading: Verification and Validation
22. Verification and Validation 23. Software Testing 24. Critical Systems Validation

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)



The material here has been included for its instructional value. Neither the author nor Pearson Education Ltd offer any warranties or representations in respect of its fitness for a particular purpose. No liability is accepted by either the author or the publisher for any loss or damage arising from its use.  The dynamic nature of the web means that it cannot be guaranteed that all links will work. Please let me know of problems and (if possible) I will try and fix them.