20470

Забезпечення функціональності ПЗ

Доклад

Информатика, кибернетика и программирование

При розробці ПС доцільно застосовувати різні методи еталони і види тестування кожний з яких орієнтований на виявлення локалізацію або діагностику певних типів дефектів.У складних комплексах програм при будьякій технології розробки неможливо гарантувати абсолютну відсутність дефектів і помилок. Непередбачуваність виду місця і часу прояви дефектів ПС в процесі експлуатації призводить до необхідності створення спеціальних додаткових систем автоматичної оперативної захисту від ненавмисних випадкових спотворень обчислювального процесу...

Украинкский

2013-07-25

12.34 KB

0 чел.

Забезпечення функціональності ПЗ

Для виявлення та усунення помилок проектування всі етапи розробки та супроводу ПС повинні бути підтримані методами і засобами систематичного, автоматизованого тестування і випробувань. При розробці ПС доцільно застосовувати різні методи, еталони і види тестування, кожний з яких орієнтований на виявлення, локалізацію або діагностику певних типів дефектів. Посвідченню досягнутого якості та надійності функціонування складних критичних ПС повинна супроводжувати обов'язкова сертифікація атестованими проблемно-орієнтованими сертифікаційними лабораторіями.

У складних комплексах програм при будь-якій технології розробки неможливо гарантувати абсолютну відсутність дефектів і помилок. Непередбачуваність виду, місця і часу прояви дефектів ПС в процесі експлуатації призводить до необхідності створення спеціальних, додаткових систем автоматичної оперативної захисту від ненавмисних, випадкових спотворень обчислювального процесу, програм і даних.


 

А также другие работы, которые могут Вас заинтересовать

15619. КИТАЙСКИЙ, ИНДИЙСКИЙ И ЯПОНСКИЙ ПРОЕКТЫ ДЛЯ ГЕОПОЛИТИКИ И ГЕОЭКОНОМИКИ РОССИИ 218.5 KB
  КИТАЙСКИЙ ИНДИЙСКИЙ И ЯПОНСКИЙ ПРОЕКТЫ ДЛЯ ГЕОПОЛИТИКИ И ГЕОЭКОНОМИКИ РОССИИ Переход к легальной рыночной экономике ускорил центробежные силы разрывающие Россию. Если на юге страны использовались военные и идеологические орудия развала государства то на Дальнем
15620. Культура, кризис, этика и эстетика 38 KB
  Культура кризис этика и эстетика Темы для обсуждения предложены две: насчёт того переживает ли нынешняя культура кризис и вторая об этическом и эстетическом в современной культуре. Ничего существенного я не могу сказать ни на первую тему ни на вторую. Потому что ч...
15621. Das Prinzip verum factum: seine theologische Pramisse bei Nikolaus von Kues 41.5 KB
  Das Prinzip verumfactum: seine theologische Pramisse bei Nikolaus von Kues Das Tatsachlichkeit der Wahrheit heutzutage ist etwas dass versteht sich von selbst. Dass die Wahrheit gewissermassen erzeugt ist davon man sagt seitdem am Morgen der Philosophie war klargestellt dass obgleich die Wahrheit von sich selbst existiert denn seine Stellung in die Sprache in dem Urteil von Wahrheit ist. Das bei uns aus Latein angekommende Faktum hat vor langer Zeit derUntersch...
15622. Николай Кузанский и философия эпохи культуры 58 KB
  Николай Кузанский и философия эпохи культуры слишком обширная тема если считать что эпоха культуры это всё Новое время. Я попытаюсь эскизно очертить только один сюжет из этой большой темы правда он один из главных. Речь пойдёт об истоках новоевропейского г
15623. Бог был для мира не сим одним 109.5 KB
  Бог был для мира не сим одним Бог был для мира не сим одним не причиною только бытия но сотворил как благий полезное как премудрый прекраснейшее как могущественный величайшее Василий Великий. Беседы на Шестоднев.1 Всё дальнейшее будет попыткой комментария...
15624. Время событий и событие времени 43.5 KB
  Время событий и событие времени На последней странице Онтологии времени значится учебное издание. Я бы даже сказал учебное пособие. Для меня это учебное пособие по истории философии настоящее и одно из лучших и немногих при наличии кучи учебников плохих и хор...
15625. Принцип verum/factum: его богословские предпосылки У Николая Кузанского 99.5 KB
  Принцип verum/factum: его богословские предпосылки У Николая Кузанского Фактичность истины сегодня нечто само собой разумеющееся. О сделанности истины о том что она какимто образом производится речь идёт с тех пор как на заре философии было выяснено что хотя ист
15626. Cogito как практика себя 85 KB
  Cogito как практика себя Более или менее общим местом историкофилософского дискурса является интерпретация учения Декарта как некой поворотной точки punctum cartesianum в истории западной метафизики с которой начинается новый собственно новоевропейский её период период...
15627. Техники себя и Просвещение 29 KB
  Техники себя и Просвещение Я решил поговорить о техниках себя в связи с Просвещением потому что мне кажется что обсуждение такой темы будет небесполезным для понимания того и что такое техники себя описываемые и разбираемые в Герменевтике субъекта и что такое