Report on the VERA Experiment

  • Bruno Hémeury
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1622)


The rising cost of testing is driving industry to revise its processes and techniques in order to be able to verify in an economical way the complex systems demanded by current and future applications. The Marconi Research Centre devised a software testing experiment called VERA with the aim of .nding a cost-e.ective veri.cation process. Four mainstream techniques were selected: code review, Fagan inspection, static analysis and automated test-case generation. An independent team applied these techniques on a typical piece of software developed at Alenia Marconi Systems. Metrics originating from 65 other Marconi projects were also analysed. Of the possible combinations of these four veri.cation techniques, our results suggest that Fagan inspection with static analysis is the most cost-effective process.


Static Analysis Tool Code Review Test Script Baseline Project Code Inspection 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    B.W. Boehm. Software Engineering Economics. Prentice Hall, 1981.Google Scholar
  2. [2]
    Little Tree Consulting. Ada Analyzer User’s Guide. Little Tree Consulting, 1996.Google Scholar
  3. [3]
    M.E. Fagan. Design and code inspections to reduce errors in program development. IBM Systems Journal, 153):182–211, 1976.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Bruno Hémeury
    • 1
  1. 1.Marconi Research CentreEngland - UK

Personalised recommendations