Оттуда же . Комментарий:
Цитата:
Vjatcheslav3345 5 июля 2016 в 12:36 0
Кстати, а есть в мире организации, которые занимаются проверкой не программных багов (как в случае с PVS-Studio), а ошибок в алгоритмах — например, фирмы или сообщества, основанные профессиональными математиками и предлагающие проверку на ошибки в алгоритмах?
Желательно представить алгоритм в эргономичном виде, т.е. в виде, удобном для проверки. Сейчас, насколько мне известно, этого нет.
Сегодня реальные алгоритмы существуют, как правило, в виде программного кода. В таком виде проверять алгоритмы можно только путем тестирования программ или в процессе реальной эксплуатации ПО. Для сложных алгоритмов оба способа уязвимы для критики.