The chapters on these subjects formed the starting point of this book and other chapters were developed in order to produce a clear and concise text covering the whole subject of software reliability, while always keeping the practical aspect in mind.