Software failure: There are several

Software failure: There are several reasons that lead to software failure:

1. Coding errors or human errors: There are documented horror stories of losing a space- craft because the program failed to use the appropriate units of physical parameters. As an example, on September 23, 1999, NASA lost the $125 million Mars orbiter spacecraft because one engineering team used metric units while another used English units leading to a navigation fiasco, causing it to burn in the atmosphere.
2. Software design errors: Mars pathfinder mission landed flawlessly on the Martial sur- face on July 4, 1997. However, later its communication failed due to a design flaw in the real-time embedded software kernel VxWorks. The diagnosis was that the prob- lem occurred due to priority inversion, when a medium priority task could preempt a high priority one.
3. Memory leaks: The execution of programs suffers from the degeneration of the run- time system due to memory leaks, leading to a system crash. Memory leak is a phe- nomenon by which processes fail to free up the entire physical memory that has been allocated to them. This effectively reduces the size of the available physical memory over time. When the available memory falls below the minimum required by the system or an application, a crash becomes inevitable.
4. Problem with the inadequacy of specification: Assume that a system running program S is producing the intended results. If the system suddenly fails to do so even if there is no hardware failure or memory leak, then there may be a problem with specifica- tions. If {P} S {Q} is a theorem in programming logic, and the precondition P is inad- vertently weakened or altered, then there is no guarantee that the postcondition Q will always hold!

Результаты (русский) 1:

Сбой программного обеспечения: есть несколько причин, которые приводят к сбою программного обеспечения:1. кодирование ошибки или человеческих ошибок: есть документально ужас рассказы потери космического корабля, потому что программа не использовать соответствующие единицы физических параметров. В качестве примера на 23 сентября 1999 года, НАСА потеряли $125 миллионов Марс орбитального корабля потому что одна инженерная группа использовала метрические единицы, а другой используются английские единицы ведущих к навигации фиаско, заставляя его сжечь в атмосфере.2. программное обеспечение дизайн ошибки: Mars pathfinder Миссия приземлился безупречно Martial сюр лицо на 4 июля 1997 года. Однако позднее его произошел сбой связи из-за недостаток дизайна в режиме реального времени встроенного программного ядра VxWorks. Диагноз был, что prob lem произошло из-за инверсии приоритетов, когда средний приоритет задачи может упредить высокий приоритет, один.3. памяти утечки: выполнение программ страдает от дегенерации системы времени выполнения из-за утечки памяти, приводит к аварийному завершению работы системы. Утечка памяти является phe про­ процессы не освободить вверх всей физической памяти, выделенной для них. Это эффективно уменьшает размер доступной физической памяти с течением времени. Когда доступной памяти падает ниже минимальные требования системы или приложения, крах становится неизбежным.4. Проблема неадекватности спецификации: предполагается, что система работает программа S производит предполагаемые результаты. Если система вдруг не сделать это, даже если нет нет аппаратного сбоя или памяти утечки, то может быть проблема с specifica-tions. Если {P} S {Q} теорема в логику программирования, и предварительное условие P ИНАД vertently ослаблены или изменены, то нет никакой гарантии, что постусловие Q всегда будет держать!

Результаты (русский) 2:

Сбой программного обеспечения: Есть несколько причин , которые приводят к отказу программного обеспечения:

1. Кодирование ошибки или ошибки человека: Там задокументированы истории ужасов потери космического аппарата , так как программа не в состоянии использовать соответствующие единицы измерения физических параметров. В качестве примера, на 23 сентября 1999 года НАСА потеряли на орбиту вокруг Марса космического корабля $ 125 млн , так как одна команда инженеров использовали метрические единицы в то время как еще используются английские единицы приводит к навигации фиаско, заставляя его гореть в атмосфере.
2. Программные ошибки проектирования: Mars Pathfinder миссия приземлился безупречно на Воинского - поверхности 4 июля 1997 г. Тем не менее, позже его связь не удалось из - за ошибки проектирования в режиме реального времени встроенного программного обеспечения ядра VxWorks. Диагноз был , что проблема произошла из - за инверсии приоритетов, когда задача средний приоритет может выгрузить высокий приоритет один.
3. Утечки памяти: Выполнение программ страдает от дегенерации RUN- системы времени из - за утечек памяти, что приводит к краху системы. Утечка памяти является явление , с помощью которого процессы не в состоянии высвободить всю физическую память , которая была выделена им. Это эффективно уменьшает размер доступной физической памяти в течение долгого времени. Когда объем доступной памяти падает ниже минимума , требуемого системой или приложением, авария становится неизбежной.
4. Проблема с неадекватностью спецификации: Предположим , что система работает программа S производит желаемых результатов. Если система вдруг не в состоянии сделать это , даже если нет аппаратного сбоя или утечка памяти, то может возникнуть проблема с спецификациями. Если {P} S {Q} является теоремой в программировании логики, и предварительное условие Р недоста- vertently ослаблены или изменены, то нет никакой гарантии , что постусловие Q всегда будет держать!

Результаты (русский) 3:

сбой программного обеспечения: есть несколько причин, которые ведут к неисправности в работе программного обеспечения:1.код ошибки или человеческих ошибок: есть документальные страшилки потери пространства - судов, потому что программа не использовать соответствующие подразделения физические параметры.например, 23 сентября 1999 года, наса потеряла $125 млн аппаратов, поскольку марс "одной инженерной группы использовали метрические единицы, а другой используется английский подразделений, ведущих к навигации фиаско, заставляя его сгорит в атмосфере.2.программное обеспечение ошибки: марс Pathfinder миссии на боевые - сюр - приземлился безупречно с 4 июля 1997 года.однако позже его сообщение не удалось из - за конструктивный недостаток в реальном времени встроенного программного обеспечения, VxWorks ядра.диагноз был, что проблемы - лем, произошел из - за приоритет (при средней приоритетной задачей может снизить высокий приоритет.3.утечки памяти: исполнения программ, страдает от развала бежать - время системы вследствие утечки памяти, что привело к аварии системы.утечка памяти является рне - nomenon которой процессы не высвободить весь физической памяти, которые были им предоставлены.это существенно уменьшает размер имеющейся физической памяти, с течением времени.когда доступной памяти падает ниже минимума, системой или ходатайство, дтп становится неизбежным.4.проблема с нехваткой уточнения: предполагается, что система работает программа S приносит желаемые результаты.если система вдруг не в состоянии сделать это, даже если нет отказа аппаратуры или утечки памяти, то могут быть проблемы с specifica - организаций.если {} {B} s p - теорема программирования логики, и условием р инад - vertently ослаблены или изменены, то нет никакой гарантии, что postcondition вопрос всегда будет держать!