Моделирование и обеспечение надежности в процессе создания программных средств
Основные понятия и показатели надежности программных средств. Требования к технологии разработки сложных программных средств. Планирование и управление обеспечением качества программ. Виды тестирования для обеспечения надежности программных средств.
Подобные документы
Требования к функционированию и безопасности компьютерных программ. Международные стандарты в сфере оценки и контроля качества информационных технологий. Комплексные показатели соответствия систем программного обеспечения с требованиями пользователей.
контрольная работа, добавлен 24.12.2013Использование прикладного программного обеспечения для решения повседневных задач обработки информации. Классификация программных средств. Жизненный цикл прикладной программы, методология и технология ее разработки. Тестирование программных средств.
курсовая работа, добавлен 07.06.2013Виды программных средств, обрабатывающих базы данных. Задача этапа логического проектирования базы данных. Выбор СУБД и других инструментальных программных средств ее реализации. Информационные технологии системы "Зарплата и кадры 2009 – CompSoft".
реферат, добавлен 19.11.2014Программное обеспечение для формирования плана оптимальной укладки грузов в транспортное средство. Экономия средств при использовании CargoWiz. Графическая спецификация погрузки. Сравнительный анализ программных средств. Система идентификации водителя.
статья, добавлен 31.07.2018Представление об автоматизированных системах обработки информации и управления. Обеспечение надежности теории и практики проектирования, производства и эксплуатации АСОИУ. Причины отказов программного обеспечения. Методы программного восстановления.
реферат, добавлен 24.04.2010Анализ особенностей разработки и стандартизации программных средств и информационных технологий, рассмотрение основных требований. Знакомство с этапами формирования отчета "Заказы за период". Общая характеристика способов установки и запуска программы.
курсовая работа, добавлен 14.06.2013Принципы взаимодействия между клиентскими и серверными частями в локальных сетях Интернет. Основные преимущества протоколов удаленного вызова процедур и архитектура процессора базы данных. Анализ программных средств разработки персональных баз данных.
курсовая работа, добавлен 29.07.2015Комплекс технических средств, предназначенных для работы информационной системы. Формы организации технического обеспечения. Назначение средств вычислительной, коммуникационной и организационной техники. Виды программных средств автоматизации офиса.
доклад, добавлен 28.06.2011Рассматриваются вопросы построения модели качества программных средств космического назначения (ПСКН). С учетом особенностей ПСКН и требований к ним предложена базовая модель качества. Целесообразность иерархической структуры для модели качества ПС.
статья, добавлен 20.01.2018Исследование встроенных средств развития, предназначенных для сборки программных систем (ПС) из готовых проблемных модулей. Анализ канонической структуры и средств декларации оболочки ПС. Пример создания компоненты ПС в виде схемы потоков данных.
статья, добавлен 15.04.2018Описание кросс-платформенной технологии сборки модульных программных систем. Характеристика сборки и тестирования ПС на платформе MS DOS с помощью встроенных средств развития, обеспечивающих автоматическое формирование функционального описания ПС.
статья, добавлен 15.04.2018Предназначение прикладных программ. Варианты классификации программных средств. Инструментальные программные средства общего, специального назначения и профессионального уровня. Экспертная система. Организация меню в программных системах, его виды.
реферат, добавлен 09.02.2009Ознакомление с историей возникновения термина надежности программных средств. Исследование исправления ошибок системой — плодотворного метода проектирования надежных систем аппаратного обеспечения. Анализ мультипроцессорной системы с виртуальной памятью.
курсовая работа, добавлен 17.03.2016Увеличение производительности труда разработки, а также облегчение работы разработчиков программного продукта как основная цель CASE-средств. Описание различных CASE-средства для проектирования программных систем, сравнительный анализ их возможностей.
статья, добавлен 05.05.2019Анализ методов и аппаратных средств диагностирования электронных средств. Исследование программных средств моделирования электрических схем. Разработка автоматизированной системы и методического обеспечения диагностирования радиоэлектронных средств.
дипломная работа, добавлен 16.11.2015Анализ и обоснование создания системы управления процессом разработки программных продуктов. Функциональные требования к системе управления процессом разработки программных продуктов "Короб-IT". Обоснование проектных решений по видам обеспечения.
научная работа, добавлен 09.04.2019Использование аппарата многофрагментного моделирования для учета изменения интенсивности отказов программных средств. Исследование моделей с накоплением в оперативной памяти и реестре ошибок и их устранением. Анализ характера поведения функции готовности.
статья, добавлен 28.02.2016Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
статья, добавлен 28.09.2012Необходимость применения инструментальных программных средств при изучении алгоритмов дискретной математики. Иллюстрация пошагового процесса решения задачи о максимальном потоке. Описание всех этапов взаимодействия программного средства и пользователя.
статья, добавлен 10.08.2018Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
статья, добавлен 03.10.2013Принципы разработки программного обеспечения и программных систем. Взаимосвязь между стандартными процессами. Синтезирующее, конкретизирующее и сборочное программирование. Применение математических принципов к разработке программного обеспечения.
курс лекций, добавлен 27.09.2017Категории инструментов сопровождения существующего программного обеспечения, согласно SWEBOK. Характеристика основных позиций в отношении реинжиниринга. Анализ программного обеспечения с целью идентификации программных компонент и связей между ними.
статья, добавлен 29.04.2019Инструменты разработки программных средств. Конструирование программных документов на различных этапах жизненного цикла. Инструментальные среды разработки и сопровождения ПС, определенная ориентация программирования. Графические средства описания.
доклад, добавлен 27.01.2015Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.
статья, добавлен 28.02.2016Рассмотрение модели характеристик качества программного обеспечения. Определение требований пользователя к качеству в спецификациях. Характеристика уровней комплексных показателей качества программных ресурсов. Оценка мобильности программных систем.
презентация, добавлен 09.11.2015