Подробное описание документа

Тоценко В. Г., Александров А. В., Парамонов Н. Б.
   Корректность, устойчивость, точность программного обеспечения : монография / Тоценко В. Г., Александров А. В., Парамонов Н. Б. ; Академия наук Украинской ССР, Институт проблем регистрации информации. - Киев : Наукова думка, 1990. - 194 с. : табл., граф. - Библиогр.: с. 192-194. - ISBN 5-12-001805-X.

Аннотация

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

УДК

004 Информационные технологии. Вычислительная техника. Теория, технология и применения вычислительных машин и систем.

Предметная рубрика

• Вычислительные машины - Техническая диагностика

Общее кол-во в фондах

1 экз.

Заказать в читальный зал

Заявка на закупку

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313