Основные положения процедуры верификации программных средств, используемых при дозиметрии корпуса реактора
Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
Подобные документы
Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
статья, добавлен 16.07.2018Особенности функциональной и математической моделей видеоконтроля и верификации объектов организации. Поиск связей, расстояния между дескрипторами особых точек на сравниваемых изображениях. Модули (интерфейсный, модуль выделения и др.) модели верификации.
статья, добавлен 10.01.2016Увеличение производительности труда разработки, а также облегчение работы разработчиков программного продукта как основная цель CASE-средств. Описание различных CASE-средства для проектирования программных систем, сравнительный анализ их возможностей.
статья, добавлен 05.05.2019Типология методов распознавания образов и анализа изображений. Автоматизация процесса пополнения онтологии с применением процедуры верификации. Гибридная схема синтеза рисунков. Система статистического определения. Сущность способов машинного обучения.
статья, добавлен 09.01.2016Выбор программных средств систем контроля, управления доступом. Вопросы выбора программных средств систем контроля и управления доступом. Биометрические средства аутентификации. Специфика аппаратурной реализации отдельных методов биометрического контроля.
реферат, добавлен 27.04.2022Рассмотрение стандартов информационных технологий в области разработки программных средств. Особенности методик и технологий внутрикорпоративных стандартов. Основные этапы разработки внутрикорпоративного стандарта. Разработка программного обеспечения.
презентация, добавлен 31.10.2016- 32. Оценка структурной сложности программных средств в промышленности на ранних стадиях жизненного цикла
Алгоритм построения модели для оценки структурной сложности объектов программных средств. Разработка информационной системы интеллектуальной поддержки управленческих решений при планировании материальных и временных ресурсов для программных средств.
автореферат, добавлен 02.07.2018 Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
дипломная работа, добавлен 17.01.2018Анализ программных средств для разработки интерфейса мобильных приложений: Appery.io, TheAppBuilder, IDE проект Eclipse, Intellij IDEA, MicrosoftVisualStudio, SAP Fiori, IDE проект XCode. Достоинства и недостатки, обзор стоимости программных средств.
статья, добавлен 03.03.2018Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Обеспечение безопасности программных средств современных компьютерных систем на протяжении всего их жизненного цикла. Типы систем защиты и методы, используемые при их построении. Разработка технологий, обеспечивающих безопасность программных средств.
статья, добавлен 30.01.2016Системное проектирование программных средств. Статистические характеристики проявления ошибок в программах. Стандартизация обеспечения качества программных средств за рубежом. Модели качества процессов разработки ПО, основные понятия сертификации.
курс лекций, добавлен 08.11.2012Основные этапы развития средств разработки программного обеспечения. Структурный, объектный и компонентный подход к программированию. Языки программирования и методологии. Система обозначений, используемых для описания некоторого класса моделей.
курсовая работа, добавлен 15.12.2019Проблемы автоматизации учета паспортных данных граждан, постановка задачи, выбор используемых технических и программных средств. Выполнение разработки программного средства в системе программирования Delphi 7 с использованием базы данных Microsoft Access.
дипломная работа, добавлен 17.10.2015Виды и задачи программных средств для несанкционированного доступа (НСД). Классификация программных средств для НСД. Методы защиты информации. Сущность использования "люков" или "trap door". Основные цели функционирования программ типа логической бомбы.
реферат, добавлен 12.10.2010Разработка нейро-нечеткого метода обработки информации для создания моделей оценки сложности разрабатываемых программных средств. Результаты применения предлагаемого подхода к оценке сложности программных средств. Автоматизированное построение моделей.
статья, добавлен 19.01.2018Анализ существующих программных агентов, описание инструментария. Языки программирования и платформы для создания программных агентов. Средства спецификаций типовых моделей. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 27.10.2016Ознакомление с историей появления первых компьютеров, которое отразилось на программном обеспечении. Определение сущности автоматизированного тестирования программного обеспечения, как одного из вариантов верификации продукта на стадии его разработки.
курсовая работа, добавлен 30.01.2016Рассмотрение современных программных средств для решения задач организации строительства. Характеристика специальных ПК для решения задач организации строительства. Исследование распространенных примеров применения программных средств в строительстве.
реферат, добавлен 30.03.2016Характеристика программных средств: операционной системы, систем программирования. Описание программы для построения программ с использованием "Стека": ее компоненты, интерфейс, процедуры и функции, вызов и загрузка. Руководство пользователя к программе.
курсовая работа, добавлен 26.01.2017Использование прикладного программного обеспечения для решения повседневных задач обработки информации. Классификация программных средств. Жизненный цикл прикладной программы, методология и технология ее разработки. Тестирование программных средств.
курсовая работа, добавлен 07.06.2013Формы организации производственного процесса и его технологическим обеспечением. Состав и особенности эксплуатации программных и технических средств обработки информации. Исследование информационной среды предприятия, методов и средств ее создания.
отчет по практике, добавлен 07.08.2013Категории инструментов сопровождения существующего программного обеспечения, согласно SWEBOK. Характеристика основных позиций в отношении реинжиниринга. Анализ программного обеспечения с целью идентификации программных компонент и связей между ними.
статья, добавлен 29.04.2019Инструменты разработки программных средств. Конструирование программных документов на различных этапах жизненного цикла. Инструментальные среды разработки и сопровождения ПС, определенная ориентация программирования. Графические средства описания.
доклад, добавлен 27.01.2015Инструментарии анализа качества программных продуктов. Дефектологические свойства разделяют надефектогенность, дефектабельность и дефектоскопичность. Стандарты управления качеством промышленной продукции. Корректность и устойчивость программных систем.
реферат, добавлен 01.10.2024