Основные положения процедуры верификации программных средств, используемых при дозиметрии корпуса реактора
Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
Подобные документы
Анализ программных средств для реализации проекта "Виртуальная экскурсия по Республике Тыва". Архитектура и руководство пользователя. Инструкция по установке программного продукта и тестирование сайта. Расчет себестоимости программного средства.
дипломная работа, добавлен 08.06.2016Классификация программных средств, составляющих прикладное программное обеспечение. Инструментальные программные средства общего и специального назначения. Программные средства профессионального уровня. Организация "меню" в программных системах.
реферат, добавлен 28.03.2012Алгоритм решения, описание функции заполнения исходного множества. Настройка программных средств, Code Gear Delphi 2009. Описание логики процедуры. Текст программы, результаты её работы, руководство. Формирование исходной совокупности, элитной группы.
курсовая работа, добавлен 05.02.2013Рассмотрение модели характеристик качества программного обеспечения. Определение требований пользователя к качеству в спецификациях. Характеристика уровней комплексных показателей качества программных ресурсов. Оценка мобильности программных систем.
презентация, добавлен 09.11.2015Описание технических и программных средств реализации информационных процессов. Примеры решения функциональных и вычислительных задач. Определение понятий алгоритмизация и программирование. Описание программного обеспечения, технологий программирования.
учебное пособие, добавлен 29.10.2008Особенности создания и выполнения хранимой процедуры. Ее удаление и основные функции. Хранимая процедура (stored procedure) как подпрограмма на языке SQL, содержащая один или более оператор SQL, объявление переменных, условные и циклические конструкции.
презентация, добавлен 18.10.2013Общая суть, основные положения и методы построения электронной подписи. Стандарты процедуры выработки и проверки. Атаки на электронную цифровую подпись. Правовое регулирование электронной цифровой подписи в России. Средства работы с электронной подписью.
контрольная работа, добавлен 26.03.2010Описание, специфика работы Федеральной Миграционной службы. Общая характеристика используемых программных и технических средств. Область применения и описания СПО "Asbase". Классы оборудования и программного обеспечения, входящего в типовой ПАК "Регион".
курсовая работа, добавлен 29.09.2013Стандарты в области программного обеспечения и средств вычислительной техники. Повышение степени соответствия продукта и процессов их функциональному назначению. Экспорт и импорт данных. Устранение технических барьеров в международном товарообмене.
презентация, добавлен 22.03.2014Классификация служебных программных средств. Использование программ автоматического перевода. Классификация прикладного программного обеспечения. Основные типы трансляторов. История развития программного обеспечения. Классификация инструментальных языков.
курсовая работа, добавлен 15.02.2013Виды программных средств, обрабатывающих базы данных. Задача этапа логического проектирования базы данных. Выбор СУБД и других инструментальных программных средств ее реализации. Информационные технологии системы "Зарплата и кадры 2009 – CompSoft".
реферат, добавлен 19.11.2014Состав и особенности эксплуатации программных и технических средств обработки информации в Институте развития информационного общества (ИРИО). Анализ использования технических и программных средств подразделения на примере работы проекта "Субсидии".
отчет по практике, добавлен 09.12.2015Анализ методов и аппаратных средств диагностирования электронных средств. Исследование программных средств моделирования электрических схем. Разработка автоматизированной системы и методического обеспечения диагностирования радиоэлектронных средств.
дипломная работа, добавлен 16.11.2015Классификация программных средств персонального компьютера, назначение и характеристика их отдельных видов. Функции операционных систем, тестирующих программ, утилит, драйверов, операционных оболочек. Применение прикладного программного обеспечения.
контрольная работа, добавлен 14.10.2014Рассмотрение проблемы выбора информационной системы для удовлетворения потребностей организаций, осуществляющих физкультурно-оздоровительную деятельность. Анализ особенностей современных программных средств автоматизации деятельности фитнес-центров.
статья, добавлен 10.01.2016Характеристика особенностей алгоритма решения системы линейных независимых уравнений методом Крамера. Характеристика структуры программы. Анализ основных этапов вызова и загрузки. Рассмотрение технических программных средств, используемых при вводе.
курсовая работа, добавлен 07.11.2013Оценка особенностей создания качественных и надёжных программных средств. Разработка технической документации к созданному программному средству. Определение требований к составу и параметрам программного средства. Контекстная диаграмма бизнес-процесса.
реферат, добавлен 19.02.2016Использование системы дистанционного обучения "СТ Курс" для организации технической поддержки процесса дистанционного обучения. Возможности сетевой системы дистанционного обучения. Обозначение набора программных средств, работающих в локальном режиме.
статья, добавлен 04.12.2018Описание языков веб-программирования, необходимых для решения поставленной задачи. Возможности использования языков программирования, синтаксис которых лежит в основе создания фрагмента программного обеспечения для автоматизированной обработки данных.
статья, добавлен 06.05.2018- 95. Анализ программных продуктов для автоматизации контроля законности строительства в городе Краснодар
Анализ программного обеспечения для автоматизации контроля законности возведения новостроек. Правовые особенности долевого, паевого участия в строительстве многоквартирных домов. Сравнительный анализ программных продуктов, используемых в данном процессе.
статья, добавлен 25.05.2017 Технология создания интеллектуальных обучающих систем, ориентированных на знания. Приобретение знаний с использованием метода формального концептуального анализа. Построение вопросов, используемых для верификации знаний ученика со знаниями специалиста.
статья, добавлен 17.01.2018Понятие надежности программного средства. Требования к технологии и средствам автоматизации разработки сложных программных средств. Требования к средствам обеспечения тестирования. Оценка методов тестирования по показателю "эффективность /стоимость".
реферат, добавлен 09.04.2015Концепция и сущность управления качеством программного обеспечения. Роль стандартизации и сертификации в управлении качеством программных систем. Способы защиты программных продуктов от копирования, модификации фрагмента программы, отражающего авторство.
лабораторная работа, добавлен 21.12.2012Принципы построения аппаратно-программного симулятора и варианты его реализации. Размещение аппаратно-программных средств экраноплана. Основные характеристики штурвала. Система визуализации демонстрационного макета, структура его вычислительной системы.
статья, добавлен 08.05.2018Рассматриваются вопросы построения модели качества программных средств космического назначения (ПСКН). С учетом особенностей ПСКН и требований к ним предложена базовая модель качества. Целесообразность иерархической структуры для модели качества ПС.
статья, добавлен 20.01.2018