Программное обеспечение информационных и управляющих систем и его жизненный цикл::
www.samag.ru
     
Поиск   
              
 www.samag.ru    Web  0 товаров , сумма 0 руб.
E-mail
Пароль  
 Запомнить меня
Регистрация | Забыли пароль?
Журнал "Системный администратор"
Журнал «БИТ»
Наука и технологии
Подписка
Где купить
Авторам
Рекламодателям
Магазин
Архив номеров
Вакансии
Контакты
   

  Опросы

Какие курсы вы бы выбрали для себя?  

Очные
Онлайновые
Платные
Бесплатные
Я и так все знаю

 Читать далее...

1001 и 1 книга  
20.12.2019г.
Просмотров: 5819
Комментарии: 0
Dr.Web: всё под контролем

 Читать далее...

04.12.2019г.
Просмотров: 7003
Комментарии: 1
Особенности сертификаций по этичному хакингу

 Читать далее...

28.05.2019г.
Просмотров: 8252
Комментарии: 2
Анализ вредоносных программ

 Читать далее...

28.05.2019г.
Просмотров: 8510
Комментарии: 2
Микросервисы и контейнеры Docker

 Читать далее...

28.05.2019г.
Просмотров: 7485
Комментарии: 0
Django 2 в примерах

 Читать далее...

Друзья сайта  

Форум системных администраторов  

sysadmins.ru

 Программное обеспечение информационных и управляющих систем и его жизненный цикл

Архив номеров / 2020 / Выпуск №11 (216) / Программное обеспечение информационных и управляющих систем и его жизненный цикл

Рубрика: Наука и технологии /  Раздел для научных публикаций

Фролов А.В.,
ФГБОУ ВО «Морской государственный университет имени адмирала Г.И. Невельского», Владивосток, системный администратор, отдел администрирования и слаботочных систем, Владивосток, frolov@msun.ru

 

Программное обеспечение
информационных и управляющих систем и его жизненный цикл

Проведен системный анализ моделей контроля качества программ на всех этапах их разработки. Предложена модель обеспечения качества, жизненного цикла. Проведена сравнительная классификации индикаторов (факторов) качества, а также список ключевых характеристик эволюции программной поддержки систем – от функциональной полноты до адаптивности

 

Введение

К программному обеспечению (ПО) на всех этапах их жизненного цикла (ЖЦ) предъявляют высокие, а часто и особые требования верифицированности, производительности, надежности и др. Усредненно, в тысяче строк кода ПО содержится одна ошибка [1]. Но ее поиск и устранение требует много времени, нервов, интеллектуальных и машинных ресурсов из-за неэффективности инструментария, технологии, недостаточности формальной верификации корректности и надежности программ.


ПО как сложная система

Методологический подход для такой сложной системы требует применения системного анализа и формального представления (см., например, алгебраическое представление в [2]), учета ресурсоограниченности целедостижения (см., например, [3]).

<...>


Полную версию статьи читайте в журнале
Подпишитесь на журнал
Купите в Интернет-магазине

Комментарии отсутствуют

Добавить комментарий

Комментарии могут оставлять только зарегистрированные пользователи

               Copyright © Системный администратор

Яндекс.Метрика
Tel.: (499) 277-12-41
Fax: (499) 277-12-45
E-mail: sa@samag.ru