Само ще отбележа, че това е нерешима задача.
Разбира се такива програми "действат", но откриват далеч не всички бъгове.

За подробности вижте статята "Машина на Тюринг" в Уикипедия - свободната енциклопедия:
http://bg.wikipedia.org/
http://bg.wikipedia.org/wiki/%D0%9C%D0%...

"не можем да създадем автоматизирани средства за проверка на коректността на компютърните програми"



[Отговори на този коментар]

Задачата може да е нерешима теоретично, но все пак с такива средства може достатъчно точно да се намерят неща, които на пръв поглед са незабележими. Такъв софтуер е по-скоро аналитичен. Той казва "провери тук, възможно е да има изтичане на памет". Той обаче не казва "Тук има изтичане на памет". Възможно е и да сбърка, но в повечето случаи се откриват сериозни проблеми като течове на памет, повторно освобождаване на памет, използване на неинициализирана променлива и т.н. и т.н. Проблеми от рода на "Резултата трябва да е 15 вместо 20", няма как да се открият по този начин.
Още преди време бяха пуснати такива резултати от анализа на ядрото на Линукс и от няколкото открити проблема истински се беше оказал само един. Дори само за него анализа си заслужава.
Редактиран на: 8-03-2006@17:29

[Отговори на този коментар]

И кво линукс ядрото е 3 милиона реда код а FreeBSD  1 милион ? Тук или има нещо низяснено или целия тест  е full of shit

[Отговори на този коментар]