Архив форумов ЦИТФорума

[Zashibis]

Как проверить ПРАВИЛЬНОСТЬ (НЕ РЕЗУЛЬТАТ) алгоритма программы (например, сортировки), т.е. есть программа, и надо понять, что она делает сортировку именно заданным алгоритмом (при этом желательно оптимально или близко к оптимальному по алгоритму)

[mare]

Раньше для этого использовались:
1. Классические алгоритмы (той же сортировки) - читай Кнут'а
2. Методы математического доказательства правильности работы программ (чаще здесь за пределы теории и использования их для отдельных задач не выходили)
3. Использование методов программирования, позволяющих нисать "правильные" программы. Здесь классика - авторы: Дейкстра, Дал и Хор и термины "структурное программирование" или "программирование сверху вниз" тебе что-нибудь говорят?
4. Использование "безопасного программирования" - т.е. программирования, при котором на каждом шаге помнится принцип: "если что-то плохое может произойти - оно обязательно произойдет". Т.е. никогда нельзя полагаться на то, что данные в подпрограмму будут переданы только в том формате, который должен быть, но и в любом другом. (Сейчас, кажется Билли Г. всерьез взялся за своих программистов, которые не следуют этому принципу).
5. Тщательное тестирование.
_________________
Не злись на видовс, всяк в нее входящий!

[Vika]

что верно, то верно: читай Кнута, можно ещё Вирта..
а для проверки: пиши несколько сортировок и сверяй результаты, правильно сортируют - результат везде бут одинаковый,
ну а в алгоритме, по-моему, ошибку трудно допустить, если какие и бут ,то скорей в синтаксисе.