by Bev Littlewood and Lorenzo Strigini.
This report was prepared by the Centre for Software Reliability at City University (as a subocontractor to Intecs Sistemi) for the European Space Agency.The European Space Agency should not be held responsible for any of the statements in this report. The copyright of this document rests with City University and the authors.
ABSTRACT
This document provides an introduction to statistical testing. Statistical testing of software is here defined as testing in which the test cases are produced by a random process meant to produce different test cases with the same probabilities with which they would arise in actual use of the software. Statistical testing of software has these main advantages:
Statistical testing is applicable to practically all kinds of software, so this document is not markedly specialised for space applications, though the examples are mostly space-related and the discussion of the software lifecycle is meant to apply to common practice among ESA suppliers.
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.CSR Home | CSR Research Projects | CSR Publications | School of Informatics | City University
Page maintained by: Lorenzo Strigini