Основные положения процедуры верификации программных средств, используемых при дозиметрии корпуса реактора

Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.

Подобные документы

  • Характеристика качества программного обеспечения: функциональность, надежность, удобство, сопровождаемость, переносимость, добротность. Подходы к обеспечению надежности программных средств: предупреждение, самообнаружение и самоисправление ошибок.

    презентация, добавлен 20.10.2013

  • Исследование функциональных возможностей программных продуктов, ориентированных на построение концептуальных схем баз данных в виде ER-диаграмм. Сравнительный анализ программных продуктов с использованием аналитической иерархической процедуры Саати.

    статья, добавлен 21.05.2017

  • Стандарты качества программного обеспечения. Особенности управления этой характеристикой ПО на всех стадиях разработки и современные модели ее обеспечения. Базовые принципы административного управления жизненным циклом и качеством программных средств.

    лекция, добавлен 24.08.2013

  • Определение роли хорошо спланированного ресурса в интернете в функционировании предприятия. Изучение методики проектирования web-сайта. Ознакомление с результатами обзора программных средств для реализации сайта. Анализ языков программирования сайтов.

    отчет по практике, добавлен 15.03.2016

  • Тестирование как процесс выполнения программы с намерением найти ошибки, метод оценки качества программного продукта. Восходящие и нисходящие подходы для интеграции модулей в более крупные единицы и их влияние на надежность программного обеспечения.

    реферат, добавлен 27.12.2009

  • Изучение принципов разработки программных средств как логических совокупностей информации на носителях данных. Современные технологические требования к ПС. Описание структуры и разработка программного модуля. Языки программирования и отладка ПС.

    курс лекций, добавлен 15.11.2012

  • Изучение существующих методов и программных средств оценки сложности программ. Определение метрик размера программ, сложности потоков управления и данных. Структура разрабатываемого программного средства, построение его алгоритмов и анализ эффективности.

    дипломная работа, добавлен 21.12.2012

  • Рассмотрение подхода к количественной оценке существующих программных продуктов расчета метрических характеристик физических схем баз данных. Использование иерархической аналитической процедуры Саати при количественной оценке программного продукта.

    статья, добавлен 21.05.2016

  • Процесс "засылки" значения в переменную. Простой и составной операторы. Использование оператора выбора для реализации нескольких альтернативных вариантов действий. Процедуры для выхода из программных блоков. Процедуры неструктурной передачи управления.

    презентация, добавлен 13.10.2013

  • Принципы взаимодействия между клиентскими и серверными частями в локальных сетях Интернет. Основные преимущества протоколов удаленного вызова процедур и архитектура процессора базы данных. Анализ программных средств разработки персональных баз данных.

    курсовая работа, добавлен 29.07.2015

  • Программное обеспечение для формирования плана оптимальной укладки грузов в транспортное средство. Экономия средств при использовании CargoWiz. Графическая спецификация погрузки. Сравнительный анализ программных средств. Система идентификации водителя.

    статья, добавлен 31.07.2018

  • Информационная система как среда, которая состоит из элементов: компьютеров, сетей, программных продуктов, баз данных, различных технических и программных средств связи. Принципы и подходы к ее проектированию, этапы данного процесса и требования к нему.

    статья, добавлен 07.10.2015

  • Использование аппарата многофрагментного моделирования для учета изменения интенсивности отказов программных средств. Исследование моделей с накоплением в оперативной памяти и реестре ошибок и их устранением. Анализ характера поведения функции готовности.

    статья, добавлен 28.02.2016

  • Анализ и разработка методов защиты информации без использования вспомогательных аппаратных средств. Создание интегрируемого пакета программных модулей для защиты систем автоматизации дистанционного обучения (АСДО) вне доверенной вычислительной среды.

    дипломная работа, добавлен 11.08.2010

  • Изучение основных понятий и положений методологии и технологии разработки ПО. Обзор общих принципов разработки программных систем. Разработка техники практических навыков использования инструментальных средств для разработки программных продуктов.

    учебное пособие, добавлен 23.09.2017

  • Исследование встроенных средств развития, предназначенных для сборки программных систем (ПС) из готовых проблемных модулей. Анализ канонической структуры и средств декларации оболочки ПС. Пример создания компоненты ПС в виде схемы потоков данных.

    статья, добавлен 15.04.2018

  • Внедрение стандартов и технологий информационных систем, используемых как для аппаратных средств, так и для программных продуктов. Построение программного обеспечения вычислительных и информационных комплексов, основанных на идеологии открытых систем.

    статья, добавлен 30.07.2017

  • Анализ особенностей разработки и стандартизации программных средств и информационных технологий, рассмотрение основных требований. Знакомство с этапами формирования отчета "Заказы за период". Общая характеристика способов установки и запуска программы.

    курсовая работа, добавлен 14.06.2013

  • Обзор истории возникновения программных средств обработки текста. Классификация программного обеспечения. Основные функции текстового редактора MS WORD. Форматы текстовых файлов. Особенности форматирования и редактирования текста, формирования списков.

    курсовая работа, добавлен 27.04.2013

  • UML как язык визуального описания принципов работы программных продуктов, созданный для определения, визуализации, проектирования и документирования, в основном, программных систем. Плюсы и минусы языка моделирования, динамичное развитие и поддержка.

    статья, добавлен 30.04.2019

  • Исследование пакетов прикладного программного обеспечения, используемых при проектировании аппаратных и программных средств. Проектирование и внедрение информационной системы. Организация рабочего места программиста. Обеспечение пожарной безопасности.

    отчет по практике, добавлен 29.06.2017

  • Классификации программного обеспечения по назначению, функциям, решаемым задачам. Отладка программы как процесс обнаружения и устранения ошибок в компьютерной программе с использованием специальных программных средств. Сервисное общесистемное ПО для ОС.

    реферат, добавлен 05.10.2016

  • Взаимосвязь надежности аппаратного и программного обеспечения. Основные подходы к реализации мультиверсионности программного модуля. Оценка трудозатрат и стоимость разработки программного обеспечения. Основные варианты использования программных систем.

    статья, добавлен 12.03.2019

  • Предназначение прикладных программ. Варианты классификации программных средств. Инструментальные программные средства общего, специального назначения и профессионального уровня. Экспертная система. Организация меню в программных системах, его виды.

    реферат, добавлен 09.02.2009

  • Использование различных механизмов защиты с целью обеспечения информационной безопасности организации. Условия применение физических, аппаратных, программных, аппаратно-программных, криптографических, административных и морально-этических средств защиты.

    статья, добавлен 30.03.2019

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.