Основные положения процедуры верификации программных средств, используемых при дозиметрии корпуса реактора
Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
Подобные документы
Принципы построения аппаратно-программного симулятора и варианты его реализации. Размещение аппаратно-программных средств экраноплана. Основные характеристики штурвала. Система визуализации демонстрационного макета, структура его вычислительной системы.
статья, добавлен 08.05.2018Рассматриваются вопросы построения модели качества программных средств космического назначения (ПСКН). С учетом особенностей ПСКН и требований к ним предложена базовая модель качества. Целесообразность иерархической структуры для модели качества ПС.
статья, добавлен 20.01.2018Принципы разработки программного обеспечения и программных систем. Взаимосвязь между стандартными процессами. Синтезирующее, конкретизирующее и сборочное программирование. Применение математических принципов к разработке программного обеспечения.
курс лекций, добавлен 27.09.2017Уязвимости программного обеспечения. Разработка программного решения для обработки исходных данных базы National Vulnerability Database. Получение статистики по уязвимостям программных продуктов, являющихся составными частями архитектуры веб-сервисов.
статья, добавлен 29.08.2016Актуальность разработки программного продукта. Выбор программных и аппаратных средств для реализации проекта. Характеристика вспомогательных средств разработки: Adobe Photoshop, Blend for Microsoft Visual. Процесс разработки пользовательского интерфейса.
дипломная работа, добавлен 19.12.2013Изучение структуры компьютерных сетей и используемых аппаратно-программных средств. Характеристика контроля технического состояния узлов и блоков сети. Анализ обеспечения процесса прогнозирования по техническому состоянию частей компьютерной сети.
курсовая работа, добавлен 03.04.2013Ознакомление с основными понятиями системного программного обеспечения. Описание назначения общего и прикладного программного обеспечения. Обзор программных средств, таких как электронные таблицы, графический и текстовый редакторы, электронная почта.
реферат, добавлен 20.02.2014Основные требования к качеству программного обеспечения, характеристика дефектов. Проектирование на основе структур баз данных (информационно-логические, концептуальные и физические методики). Особенности и этапы тестирования программного продукта.
реферат, добавлен 08.12.2015Разработка программных продуктов и применение техники декомпозиции. Объектно-ориентированное представление программных систем и его основание на принципах абстрагирования, инкапсуляции, модульности и иерархической организации программных продуктов.
статья, добавлен 02.02.2019Разработка, выбор и обоснование структуры компьютерной системы видеонаблюдения. Типы источников видеосигнала и их особенности. Расчет суммарного объема жестких дисков и пропускной способности. Разработка спецификации используемых программных средств.
дипломная работа, добавлен 07.08.2018Анализ результатов моделирования, полученных средствами "дискретно-непрерывной сети". Моделирование реактора по производству поливинилхлорида как логико-динамической системы, полученные с помощью программных средств MATLAB/Simulink/SIKOSS ІІ и пр.
статья, добавлен 24.03.2016Разработка структурной и инфологической модели. Идентификация аппаратных и информационных ресурсов. Перечень угроз и их описание на основе стандарта ISO/IEC PDTR 13335. Политика информационной безопасности по разработке и реализации программных средств.
курсовая работа, добавлен 15.11.2009Мультимедиа как технология, объединяющая информацию (данные), звук, анимацию и графические изображения, средства обмена информацией между компьютером и внешней средой. Развитие ее аппаратных и программных средств, современные тенденции и перспективы.
контрольная работа, добавлен 11.03.2022Автоматизация проверки правильности программных систем как актуальная задача современной программной инженерии. Анализ метода выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах.
статья, добавлен 28.02.2016Выбор инструментальных средств для программного обеспечения, методов защиты данных. Анализ аналогов программных средств. Разработка пользовательского интерфейса. Выбор хостинга и размещение сайта на нем. Анализ принципов построения web-приложения.
дипломная работа, добавлен 27.05.2014Выбор подхода к разработке программного продукта. Архитектура программного обеспечения. Выбор программных и аппаратных средств для реализации задачи. Технология, среда и язык программирования. Спецификация файлов программного продукта, алгоритм работы.
курсовая работа, добавлен 17.02.2016Основные факторы, определяющие надежность программ. Методы контроля состояния и исполнения. Методы обеспечения надежности комплексов программ при сопровождении. Обязательная и добровольная сертификация для обеспечения надежности программных средств.
контрольная работа, добавлен 15.06.2011Изучение сути и видов программного обеспечения – совокупности программ, выполненных вычислительной системой. Классификация служебных и прикладных программных средств. Системы автоматизированного проектирования. Назначение и функции операционной системы.
реферат, добавлен 04.04.2012Проектирование базы данных для автоматизации ресторанного бизнеса с учетом реализации запросов различного типа по получению информации. Выбор и обоснование инструментальных и программных средств обработки. Последовательность и алгоритм составления меню.
дипломная работа, добавлен 26.05.2018Сравнительный анализ программных средств оценки восприятия человеком зрительной информации. Критерии исследования (качество, скорость, гибкость настройки параметров, полнота отчетов, удобство интерфейса). Показатель качества, превышающий базовое значение.
статья, добавлен 20.07.2018Применение диаграмма Ганта для визуализации планов проектов. Рассмотрение процесса построения диаграммы Ганта, особенности сертификации программных средств. Построение диаграммы Ганта в Microsoft Visio, упрощение задач и детализирование процессов.
статья, добавлен 27.07.2020Понятие прикладного программного обеспечения и инструментальных программных средств. Характеристика видов специального программного обеспечения: экспертных систем, трансляторов, мультимедиа-приложений, гипертекстовых систем, систем управления содержимым.
реферат, добавлен 22.11.2014Изучение особенностей создания программного обеспечения в сфере определения уровня знаний обучающихся по направлению информатика и вычислительная техника. Автоматические системы тестирования "АИСТ", "Ассистент", "Обучение и тестирование" и "Батисфера".
статья, добавлен 15.04.2016История развития программного обеспечения. Характеристика структуры ПО: базовый, системный, служебный и прикладной уровни. Классификация и основные функции служебных программных средств. Использование программ автоматического перевода. Типы трансляторов.
реферат, добавлен 20.01.2013Алгебра процессов Хоара как математическое описание синхронизации процессов, а также средства анализа, верификации, исключения тупиков, замыкания. Основное средство синхронизации и взаимодействия процессов. Пример реализации CSP-процесса на Java.
статья, добавлен 15.08.2020