Верификация программного средства
Верификация как проверка соответствия программного обеспечения проектной спецификации и стандартам, технической документации, архитектурой, моделью предметной области. Характеристика типичных ошибок, которые обнаруживаются статическими анализаторами.
Подобные документы
Средства повышения надежности автоматизированных систем управления. Разработка структуры автоматизированной системы для мониторинга надежности программного обеспечения. Способы прогнозирования, оценки и контроля надежности программного обеспечения.
статья, добавлен 27.05.2018Анализ особенностей rational rose, предназначенного для автоматизации этапов проектирования программного обеспечения, а также для генерации кодов на различных языках и выпуска проектной документации. Рассмотрение средств конфигурационного управления.
реферат, добавлен 28.12.2016Понятие программного обеспечения компьютера и его классификация. Исследование особенностей прикладного, системного и инструментального программного обеспечения. Системы управления базами данных и автоматизированного проектирования. Текстовые редакторы.
презентация, добавлен 15.09.2016Создание структурно-объектной технологии создания программного обеспечения информационных систем, объединяющей преимущества структурных технологий анализа предметной области и объектных технологий проектирования программного обеспечения системы.
статья, добавлен 19.06.2018Характеристика основных принципиальных вопросов, возникающих при разработке программного обеспечения. Совершенствование базового программного продукта и выпуск дополнительных версий с самыми последними изменениями. Обзор семейств программных продуктов.
статья, добавлен 16.02.2019Назначение, функции и область применения программного обеспечения. Состав и структура руководства пользователя. Содержание дистрибутивного носителя данных. Порядок загрузки данных и программ, проверка работоспособности. Особенности программного кода.
статья, добавлен 25.12.2017Характеристика видов диагностики персонального компьютера. Диагностика с помощью программного обеспечения. Звуковые (акустические) сообщения об ошибках. Описание сообщения о неполадках в ROM-BIOS. Аппаратная диагностика и исправление ошибок компьютера.
реферат, добавлен 19.12.2014Выбор архитектуры программного обеспечения. Инструментарий разработки программного обеспечения. Обеспечение информационной безопасности при эксплуатации экономических информационных систем. Экономическая эффективность от внедрения программного продукта.
дипломная работа, добавлен 10.07.2017Сведения об образовательной организации. Разработка программного продукта базы данных "Учителя и учащиеся средней школы". Анализ программного обеспечения организации. Инфологическая модель предметной области. Создание информационно-образовательной сети.
отчет по практике, добавлен 29.01.2015Модульные внешние станции удаленного управления, процесс создания программных продуктов. Спецификация программного обеспечения. Определение основных характеристик программного обеспечения отраслевой направленности. Описание стандартной модели качества.
реферат, добавлен 21.09.2019Применение Scilab, как программного обеспечения (ПО) по компьютерной математике для моделирования и изучения физических процессов. Роль алгоритмического языка Java, как программного ядра ПО Scilab. Средства визуального моделирования в ПО Scilab: Xcos.
дипломная работа, добавлен 23.01.2017Идентификация сценариев использования программного обеспечения в предметной среде, диаграмма вариантов. Проектирование физической структуры программного обеспечения. Изображение узла-экземпляра с дополнительной информацией в форме помеченного значения.
курсовая работа, добавлен 07.06.2018Понятие программного обеспечения, его классификация. Характерные черты системного, прикладного программного обеспечения и системы программирования. Особенности жизненного цикла инструментальных систем и его модели. Этапы развития программного обеспечения.
реферат, добавлен 27.02.2009Специфика профессии тестировщика, его обязанности и задачи, необходимые ему знания и навыки. История развития тестирования программного обеспечения. Определение целей и направления тестирования уровня производительности программного обеспечения.
доклад, добавлен 26.12.2014Эволюция офисного программного обеспечения. Характеристика офисных пакетов: MS Office, Corel WordPerfect Office, SoftMaker Office, OpenOffice. Программные средства реализации информационных процессов. Классификация прикладного программного обеспечения.
реферат, добавлен 27.10.2012Понятие и виды программного обеспечения персонального компьютера, этапы его развития. Характеристика системного, прикладного и инструментального программного обеспечения. Открытое, свободное и проприетарное распространение программного обеспечения.
курсовая работа, добавлен 06.08.2013Комплексное исследование программного обеспечения крупнейших организаций на примере Сбербанка России, включающее характеристику автоматизированной информационной системы и программного обеспечения на базе Microsoft SQL Server 2000, 2005.
курсовая работа, добавлен 31.05.2010Регенерация программного обеспечения как совершенно новый процесс, который обусловлен взаимосвязью программных компонент технологии и данных в информационных системах. Общая характеристика задачи регенерации программного обеспечения информационных систем.
статья, добавлен 07.07.2020Разработка и управление конструкторско-технической документации при помощи программного обеспечения Е3.series. Создание принципиальных схем, чертежей компоновки и табличной документации. Просмотр, создание или редактирование изделий, символов, моделей.
статья, добавлен 17.12.2019Определение специфических функций, которые необходимо реализовать в программном обеспечении. Описание функциональных требований к разработке программного обеспечения. Принципы построения пользовательского интерфейса, анализ качества программного продукта.
дипломная работа, добавлен 17.11.2018Общая характеристика предприятия АСУнефть. Исполнение профессиональных обязанностей наладчика аппаратного и программного обеспечения. Описание алгоритма установки операционной системы Windows XP Service Pack 3 на компьютер, ремонт офисной техники.
отчет по практике, добавлен 24.07.2012Методы анализа программного обеспечения. Методика исследования программного обеспечения на наличие уязвимостей – фаззинг. Метод случайных данных, мутационного тестирования протокола вручную и автоматического. Программные средства для исследования.
статья, добавлен 21.07.2020Анализ предметной области и выбор среды разработки программного обеспечения. Построение концептуальной, логической и физической моделей базы данных. Проектирование интерфейса и тестирование приложения "Информационная система составления тестирования".
курсовая работа, добавлен 29.02.2020Описание бизнес-процессов предметной области на естественном языке. Объектно-ориентированная модель бизнес-процессов предметной области программного продукта на языке UML. Спецификация функциональных требований к программному обеспечению.
курсовая работа, добавлен 26.08.2015Характеристики и атрибуты качества программного обеспечения. Основные направления применения метрик. Автоматизированные программные продукты по оценке качества программного обеспечения. Анализ учебного стандарта по профильному курсу информатики.
дипломная работа, добавлен 17.09.2017