Недостаточная надёжность

Аватар пользователя mazda
Не в сети
Последнее посещение: 2 года 27 недель назад
Зарегистрирован: 2015-06-05
Сообщения:

· Недостаточная надёжность. Самый сложный процесс — поиск и исправление ошибок в программах на ЭВМ. Поскольку число ошибок в программах заранее неизвестно, то заранее неизвестна и продолжительность отладки программ и отсутствие гарантий отсутствия ошибок в программах. Следует отметить, что привлечение доказательного подхода к проектированию ПО позволяет обнаружить ошибки в программе до её выполнения. В этом направлении много работалиКнут, Дейкстра и Вирт. Профессор Вирт при разработке Паскаля и Оберона за счет строгости их синтаксиса добился математической доказуемости завершаемости и правильности программ, написанной на этих языках.

Данная проблема возникает при неправильном выборе средств разработки. Например, при попытке создать программу, требующую средств высокого уровня, с помощью средств низкого уровня. Например, при попытке создать средства автоматизации с СУБД на ассемблере. В результате исходный код программы получается слишком сложным и плохо поддающимся структурированию.

Аватар пользователя tornado5
Не в сети
Последнее посещение: 4 недели 6 дней назад
Зарегистрирован: 2014-06-24
Сообщения:
Правильно говорят, что

Правильно говорят, что легче не допустить ошибку, чем потом её искать и исправлять. Ведь на данной ошибке могут быть построены целые цепочки процессов, и в случае её исправления придется переписывать и их, менять структуру самой программы.

Аватар пользователя igorstrong
Не в сети
Последнее посещение: 28 недель 6 дней назад
Зарегистрирован: 2015-04-27
Сообщения:
Несмотря на усилия многих

Несмотря на усилия многих программистов, выполняющих заказ, все же ошибки всплывают как правило в процессе выполнения заказа. Такие ошибки лучше предотвращать до выполнения конкретной работы, но практика показывает, что в процессе работы даже самый квалифицированный специалист может предусмотреть далеко не все.

Аватар пользователя Mefidze
Не в сети
Последнее посещение: 5 недель 3 дня назад
Зарегистрирован: 2014-06-03
Сообщения:
Там, где цифры и наличие

Там, где цифры и наличие огромных массивов других данных, наличие сложнейших алгоритмов, никогда нельзя говорить о надежности. Да и элементарно техника может подвести, что уже мало в чем зависит от всех участников процесса разработки программного обеспечения.