Цитата из книги «Чистая архитектура. Искусство разработки программного обеспечения»

тестированием можно доказать неправильность программы, но нельзя доказать ее правильность.