Problems which originate in early development stages can have a lasting influence on the reliability, safety, and cost of a software system. This book explores the use of a software measurement for early software faults detection and reliability prediction. The preselected software measurement, originally a black-box testing technique, was mathematically formalized to enhance its rigidity, repeatability and scalability, and further extended as an effective requirements faults detection tool. An automation-oriented algorithm was developed for quantifying the impact of the detected requirements...