Словарик философствующего информатика: различия между версиями

м
{{ССЫЛКА|Злые волшебники}}
 
=== Надёжность ===
=== Правильность и надёжность ===
 
Безусловно, программные средства должны работать правильно и надёжно.
Но оба упомянутых термина допускают большую свободу интрепретацииинтерпретации.
Например:
 
* так, как представляет себе это заказчик;
* так, как понял и сформулировал менеджер проекта;
* так, как записал в техзаданиитех. постановщихзадании постановщик задания;
* так, как понял это задание программист;
* так, как решил сделать программист, который (иногда заслуженно) считает себя умнее постановщика задания, менеджера и, тем более, заказчика.
Ясно, что данные пункты могут отличаться. А полученное в результате ПС может отличаться от всех этих пунктов.
Это отдельная тема, но мы не будем её развивать, а просто предположим, что понятие правильности удивительным образом вполне четко, полно и непротиворечиво описано в некоторой спецификации логики работы ПС.
вполне четко, полно и непротиворечиво описано в некоторой спецификации логики работы ПС.
 
Под надежностью ПС можно понимать правильность работы для '''всех''' входных данных.
Для большинства более менее сложных систем такая ''абсолютная надёжность'' — очень серьезное требование. Часто это свойство ПС просто недостижимо.
Абсолютная правильность работы ПС и его абсолютная надежностью являются просто синонимами.
Но, часто, это свойство ПС просто недостижимо.
каким бы полным не была спецификация логики работы ПС, оно просто не может
включить (описать) какихкаким должно быть поведение ПС в экстремальных условиях.
 
Например, к серверу может прийти слишком много запросов в секунду,
может случитсявозникнуть ошибка на жестком диске, ошибка может случится в каких-то
внешних к ПС подсистемах.
 
481

правка