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

Jobsora


  Опросы
1001 и 1 книга  
12.02.2021г.
Просмотров: 1211
Комментарии: 0
Коротко о корпусе. Как выбрать системный блок под конкретные задачи

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

11.02.2021г.
Просмотров: 980
Комментарии: 0
Василий Севостьянов: «Как безболезненно перейти с одного продукта на другой»

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

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

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

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

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

28.05.2019г.
Просмотров: 9926
Комментарии: 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