|
Рубрика:
Наука и технологии /
Раздел для научных публикаций
|
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
|
Фролов А.В.,
ФГБОУ ВО «Морской государственный университет имени адмирала Г.И. Невельского», Владивосток, системный администратор, отдел администрирования и слаботочных систем, Владивосток, frolov@msun.ru
Программное обеспечение
информационных и управляющих систем и его жизненный цикл
Проведен системный анализ моделей контроля качества программ на всех этапах их разработки. Предложена модель обеспечения качества, жизненного цикла. Проведена сравнительная классификации индикаторов (факторов) качества, а также список ключевых характеристик эволюции программной поддержки систем – от функциональной полноты до адаптивности
Введение
К программному обеспечению (ПО) на всех этапах их жизненного цикла (ЖЦ) предъявляют высокие, а часто и особые требования верифицированности, производительности, надежности и др. Усредненно, в тысяче строк кода ПО содержится одна ошибка [1]. Но ее поиск и устранение требует много времени, нервов, интеллектуальных и машинных ресурсов из-за неэффективности инструментария, технологии, недостаточности формальной верификации корректности и надежности программ.
ПО как сложная система
Методологический подход для такой сложной системы требует применения системного анализа и формального представления (см., например, алгебраическое представление в [2]), учета ресурсоограниченности целедостижения (см., например, [3]).
<...>
Полную версию статьи читайте в журнале
Подпишитесь на журнал
Купите в Интернет-магазине
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
|
Программное обеспечение информационных и управляющих систем и его жизненный цикл
