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