20470

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

Доклад

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

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

Украинкский

2013-07-25

12.34 KB

0 чел.

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

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

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


 

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

66171. НАКОПЛЕНИЕ СРЕДСТВ И ИНВЕСТИРОВАНИЕ ПРОЕКТОВ В MS EXCEL 182.5 KB
  Сравнить доходность размещения средств предприятия положенных в банк на один год если проценты начисляются m раз в год исходя из процентной ставки j = 95 годовых рис.2 Выясните при каком значении j доходность при капитализации m = 12 составит 15.
66172. РАСЧЕТ АКТИВОВ И ПАССИВОВ БАЛАНСА В ЭЛЕКТРОННЫХ ТАБЛИЦАХ 154 KB
  Изучение технологии расчета активов и пассивов баланса в электронных таблицах. Создать таблицу активов аналитического баланса. В структуре активов баланса выделяются две группы: оборотные активы запасы сосредоточенные в сырье незавершенном...
66174. Правила работы в микробиологической лаборатории. Иммерсионный микроскоп. Шаровидные бактерии. Простые методы окраски 108 KB
  Знание морфологии бактерий имеет большое значение для микроскопического метода лабораторной диагностики инфекционных заболеваний. Изучение морфологии бактерий осуществляется при микроскопии окрашенных микроскопических препаратов.
66175. Основные свойства вирусов и современные методы диагностики вирусных заболеваний 255.5 KB
  Вирусы - мельчайшие микробы («фильтрующиеся агенты»), не имеющие клеточного строения, белоксинтезирующей системы, содержащие один тип нуклеиновой кислоты (только ДНК или РНК). Вирусы, являясь облигатными внутриклеточными паразитами, репродуцируются в цитоплазме или ядре клетки.
66176. З’єднання однопроволочних проводів 2.4 MB
  Мета: Виконати з’єднання однопроволочних проводів різними способами та визначити переваги та недоліки запропонованих способів. Виконати з’єднання однопроволочних проводів за наступними схемами.
66177. Вивчення та заповнення форм технічної документації 181.5 KB
  В господарстві необхідно мати таку документацію: Журнал обліку електрообладнання Журнал обліку освітлювальних приладів і внутрішніх проводок Графік технічних обслуговувань на квартал Графік поточних ремонтів на рік...
66179. Лабораторная диагностика гриппа и ОРЗ 89 KB
  Выявлены в последние годы новые свойства возбудителя гриппа способность обмениваться генетической информацией с возбудителями гриппа животных и птиц длительное время сохраняться в организме человека...