Abstract
Large software systems are very complex and their development may involve hundreds of man years of skilled effort with correspondingly large budgets. Add to this the rigorous constraints applied by a real time and safety critical applications and this makes for an extremely challenging verification and validation task throughout the software lifecycle. The software proportion of system costs has increased dramatically over the last decade. Good verification and validation has a crucial part to play in ensuring software project success. This paper discusses the concept of independence in the software verification and validation task and in more detail presents experiences in setting up an independent software verification group covering several large projects within GEC Avionics. As discussed below the inclusion of independent V & V methods can provide increased productivity and reliability during software development. Software will always contain errors. V & V must be about how efficient we can be in pulling out the errors. The right attitude to V & V is important. Case tools and formal methods will not solve all of the problems of developing software for large systems. V & V is here to stay and independence can help!
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G.M. Weinberg, The Psychology of Computer Programming, Van Nostrand, New York, 1971, pp 52–64.
G.J. Myers, Software Reliability, John Wiley & Sons, New York, 1976, pp 169–195.
GJ. Myers, The Art of Software Testing, John Wiley & Sons, New York, 1979, pp 4–16, ppl7 - 35.
B.W. Boehm, Software Engineering Economics, Prentice-Hall, New Jersey, 1981, pg 37.
B. Beizer, Software Testing Techniques, Van Nostrand, New York, 1983, pp 5–7.
B. Beizer, Software System Testing and QA, Van Nostrand, New York, 1984, pp 179–182, pp 315 - 317, pg 317.
Hennell, M., Testing Throughout the Lifecycle. In Software Engineering – “The Decade of Change”, Ed. D. Ince, Peter Peregrinus/IEE, Stevenage, 1986.
IT STARTS Developers’ Guide (Version 1), NCC, Manchester, 1989, pp 2.25-2.30, pp 8.12 - 8.35.
00-55, Interim Defence Standard - Draft Issue, MOD, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hall, R.N. (1990). Independence in Verification and Validation. In: Kitchenham, B.A. (eds) Software Engineering for Large Software Systems. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-0771-3_8
Download citation
DOI: https://doi.org/10.1007/978-94-009-0771-3_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6833-8
Online ISBN: 978-94-009-0771-3
eBook Packages: Springer Book Archive