Проектирование программного обеспечения — единственная инженерная дисциплина, в которой тестирование продукта является серьезной технической и организационной проблемой, а также важным фактором затрат. Такому положению дел способствует несколько факторов: • Первый фактор, который делает тестирование программного обеспечения такой серьезной проблемой, – это Вторым фактором является отсутствие стандартизированного процесса разработки программных продуктов, что означает, что качество продукта не может быть гарантировано. • Третий фактор – это нехватка практических, масштабируемых методов, которые могут обеспечить качество продукции посредством статического анализа продукции, перекладывая бремя на динамические методы. • Другие факторы включают отсутствие общего дисциплина повторного использования, отсутствие масштабируемости методов разработки, сохраняющих корректность, а также повсеместное распространение изменений спецификаций в процессе разработки, сопровождения и эволюции и т. д.