Основные положения процедуры верификации программных средств, используемых при дозиметрии корпуса реактора
Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
Подобные документы
Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.
статья, добавлен 24.03.2018Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
автореферат, добавлен 02.08.2018Подходы к верификации протоколов безопасности. Определение набора свойств, подлежащих проверке. Графический вывод шаблонов трассировки. Симметричное и асимметричное шифрование криптографических данных. Верификационные средства логического вывода.
статья, добавлен 10.04.2019Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.
статья, добавлен 28.05.2017Обеспечение безопасности взаимодействия пользователей, процессов и систем как одна из актуальных задач защиты информации в информационно-телекоммуникационных сетях. Общая характеристика методов и средств верификации криптографических протоколов.
статья, добавлен 24.03.2019Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
статья, добавлен 17.01.2018Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Жизненный цикл программного обеспечения как интервал времени, начиная от идеи его создания с необходимым функционалом для решения задач до полного прекращения использования последней версии этой программы. Методы верификации: экспертиза и инспекция.
реферат, добавлен 17.12.2015Исследование модифицированной модели процесса тестирования программных средств управления предприятием, которая показывает возможность значительно снизить затраты и время на их реализацию. Критерии выбора программного обеспечения для установки на сервер.
статья, добавлен 16.08.2018Система видеоконтроля - комплекс специальных технических средств безопасности, обеспечивающий непрерывный визуальный контроль объекта. Понятие верификации и верификационного признака. Список объектов, подлежащих защите и организации видеоконтроля.
статья, добавлен 10.01.2016Основные понятия и показатели надежности программных средств. Требования к технологии разработки сложных программных средств. Планирование и управление обеспечением качества программ. Виды тестирования для обеспечения надежности программных средств.
реферат, добавлен 04.05.2011Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
автореферат, добавлен 02.12.2017Свойства и атрибуты качества функциональных возможностей программных средств. Оценивание корректности программных средств. Способности к взаимодействию программных средств и их компонентов. Разработка алгоритма оценки качества ПО в процессе тестирования.
дипломная работа, добавлен 10.06.2011Основные положения метрологии программных продуктов, исторически важные этапы в ее развитии. Примеры метрик процесса, проекта и продукта, набор основных метрических показателей. Критерии качества комплексов программ и корректность программных средств.
реферат, добавлен 27.05.2015Проблемы организации документирования программных средств. Цикл поэтапного определения формирования совокупности спецификаций требований к компонентам и документации проекта. Реальные ограничения ресурсов, используемых в процессе его разработки.
реферат, добавлен 14.02.2015Развитие программных агентов и средств из разработки. Средства спецификаций типовых моделей. Языки программирования и программные платформы для создания программных агентов. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 19.10.2016Возможности модельно-ориентированное проектирование при помощи программных продуктов MathWorks, позволяющие автоматизировать процесс разработки, отладки и верификации программного обеспечения для встраиваемых систем управления. Пакет прикладных программ.
статья, добавлен 13.02.2016Сущность процесса информатизации и основные положения государственной политики в данной сфере. Программная инженерия как совокупность инженерных методов и средств создания программного обеспечения, ее принципы и значение. Критерии оценки надежности.
курс лекций, добавлен 07.04.2014Сущность объектного подхода к разработке программных средств. Объектное моделирование как этап внешнего описания при объектном подходе. Особенности этапа конструирования программного средства при объектном подходе. Язык описания программных продуктов.
реферат, добавлен 18.09.2009Анализ определяющих требований к разрабатываемой документации и определяющих процессов жизненного цикла программных средств. Документирование программных изделий. Пользовательская документация программных средств и документация по их сопровождению.
курсовая работа, добавлен 27.05.2014Проблема верификации динамических свойств мультиагентных систем, состоящих из интеллектуальных агентов, которые взаимодействуют через вероятностные каналы связи. Динамические свойства (поведения) МАС, описываемые формулами пропозициональной логики.
статья, добавлен 28.10.2018Необходимость применения инструментальных программных средств при изучении алгоритмов дискретной математики. Иллюстрация пошагового процесса решения задачи о максимальном потоке. Описание всех этапов взаимодействия программного средства и пользователя.
статья, добавлен 10.08.2018Изучение сложности верификации динамических свойств мультиагентных систем, состоящих из вероятностных интеллектуальных агентов. Вероятностные мультиагентные системы, их множества. Каналы связи и передача сообщений. Вероятностные логические программы.
статья, добавлен 19.01.2018Общая характеристика компьютерных кодов и программных средств. Разработка программных средств и расчетных кодов для атомных электростанций. Использование программных средств для расчета скоростей эрозионно-коррозионного износа поврежденных трубопроводов.
статья, добавлен 19.11.2018