40112 | ИПУ РАН

Автор(ы):

Дорофеева Д. А. (Московский университет Министерства внутренних дел Российской Федерации им. В.Я. Кикотя)

Автор(ов):

Параметры публикации

Тип публикации:

Тезисы доклада

Название:

АСПЕКТЫ ПРОВЕДЕНИЯ ИССЛЕДОВАНИЙ И ПРОВЕРОК ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ПРЕДМЕТ ОТСУТСТВИЯ НЕРЕГЛАМЕНТИРОВАННЫХ ВОЗМОЖНОСТЕЙ

Наименование конференции:

13-я научно-практическая конференция "ТЕХНОЛОГИИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ В ДЕЯТЕЛЬНОСТИ ОРГАНОВ ВНУТРЕННИХ ДЕЛ" (Москва, 2016)

Наименование источника:

Труды 13-й научно-практической конференции "ТЕХНОЛОГИИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ В ДЕЯТЕЛЬНОСТИ ОРГАНОВ ВНУТРЕННИХ ДЕЛ" (Москва, 2016)

Город:

Москва

Издательство:

Московский университет МВД РФ им. В.Я. Кикотя

Год издания:

2016

Страницы:

56-57

Аннотация

Существующие на сегодня методы тестирования программного обеспе- чения не позволяют однозначно и полностью выявить все имеющиеся дефек- ты и установить корректность функционирования анализируемой програм- мы, поэтому все современные методы тестирования действуют в рамках фор- мального процесса проверки исследуемого или разрабатываемого программ- ного обеспечения.

Библиографическая ссылка:

Жигалов К.Ю., Дорофеева Д.А. АСПЕКТЫ ПРОВЕДЕНИЯ ИССЛЕДОВАНИЙ И ПРОВЕРОК ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ПРЕДМЕТ ОТСУТСТВИЯ НЕРЕГЛАМЕНТИРОВАННЫХ ВОЗМОЖНОСТЕЙ / Труды 13-й научно-практической конференции "ТЕХНОЛОГИИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ В ДЕЯТЕЛЬНОСТИ ОРГАНОВ ВНУТРЕННИХ ДЕЛ" (Москва, 2016). М.: Московский университет МВД РФ им. В.Я. Кикотя, 2016. С. 56-57.