Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

в найденном

Найдено в других БД:

БД "Книги" (2)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=валидация<.>)

Общее количество найденных документов : 80
Показаны документы с 1 по 10

1-10 11-20 21-30 31-40 41-50 51-60

Шифр: prog/2003/6
Журнал

Программирование [Текст] : журнал Российской академии наук. - ISSN 0132-3474. - Выходит раз в два месяца
2003г. N 6

Содержание:
Петренко, А. К. Верификация, валидация и тестирование программного обеспечения. Тематический выпуск журнала "Программирование" / А.К. Петренко. - С.4 - 6
Кл.слова: Верификация, Валидация, Программирование
Липаев, В. В. Методология верификации и тестирования крупномасштабных программных средств / В.В. Липаев. - С.7 - 24
Кл.слова: Верификация, Тестирование, Программирование
Подход UniTesK к разработке тестов. - С.25 - 43
Другие авторы: , , Кулямин В.В., Петренко А.К., Косачев А.С., Бурдонов И.Б.
Кл.слова: Верификация, Тестирование, Валидация
Ольхович, Л. Б. Метод автоматической валидации UML-спецификаций на основе языка OCL / Л.Б. Ольхович, Д.Н. Кознов. - С.44-50
Кл.слова: Валидация, Программирование, Язык визуальный
Замулин, А. В. Алгебраическая семантика императивного языка программирования / А.В. Замулин. - С.51 - 64
Кл.слова: Программирование, Язык императивный, Семантика алгебраическая
Непомнящий, В. А. На пути к верификации С программ. Аксиоматическая семантика языка C-Kernel / В.А. Непомнящий, И.С. Ануреев, А.В. Промский. - С.65 -80
Кл.слова: Верификация, Язык программирования, Программирование
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Кулямин, В. В.
Стандартизация и тестирование реализаций математических функций, работающих с числами с плавающей точкой [Текст] / В. В. Кулямин // Программирование. - 2007. - N 3. - С. . 44-72. - Библиогр.: с. 70-72 (59 назв. )

УДК

^a004.4

^a004.3

ББК 32.973-018 + 004
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование)
Кл.слова (ненормированные):
стандартизация математических функций -- тестирование математических функций -- математические функции (программирование) -- тестирование на соответствие стандарту -- программные обеспечения -- ПО -- стандарт IEEE 754 -- тестирование программ
Аннотация: В статье рассматриваются проблемы выработки требований и создания тестов для реализаций математических функций, работающих с числами с плавающей точкой в форматах стандартов IEEE 754.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Чуданов, В. В.
Методы прямого численного моделирования турбулентности в задачах теплогидравлики ТВС [Текст] / Чуданов В. В., Аксенова А. Е., Первичко В. А. // Известия Российской академии наук. Энергетика. - 2007. - N 6. - С. 47-57 : Ил. - Библиогр.: с. 57 (19 назв. ). - 0; CFD вычислительная методика. - 0; Валидационный аспект

УДК

^a532/533

ББК 22.253.3
Рубрики: Механика
Гидродинамика и аэродинамика
Кл.слова (ненормированные):
турбулентность -- теплогидравлика -- теплогидравлические процессы -- сжимаемые сферы -- несжимаемые сферы -- теплоперенос -- массоперенос -- турбулентные течения -- вычислительные методики -- численные CFD методы -- уравнения Навье-Стокса -- Навье-Стокса уравнения -- валидация -- верификация -- CFD методы
Аннотация: В статье рассматривается объединенная методика вычислительной гидродинамики (CFD) для многомерного описания теплогидравлических процессов для различных режимов на АЭС. Основу методики составляют эффективные численные CFD методы и алгоритмы для решения задач тепло- и массопереноса в сжимаемых/несжимаемых средах при исследовании трехмерных теплогидравлических явлений и эффективные методы моделирования турбулентности. Акцент в статье сделан на валидации и верификации прямым численным моделированием вычислительной методики с использованием доступных из литературы тестов в области турбулентных течений и применении развитой CFD методики для моделирования теплогидравлики индустриальных приложений, именно, топливных сборок.

Доп.точки доступа:
Аксенова, А. Е.; Первичко, В. А.

Имеются экземпляры в отделах: всего 1 : эн.ф. (1)
Свободны: эн.ф. (1)

Найти похожие

Загорулько, Ю. В. (нач. департамента развития СМК и информационного обеспечения, ведущий эксперт-аудитор).
Коллизии аудита [Текст] / Ю. В. Загорулько, В. А. Качалов, А. Л. Шестаков ; публикацию подготовила В. А. Савинкина // Методы менеджмента качества. - 2008. - N 7. - С. 57-59

УДК

^a338.24

ББК 65.291.2
Рубрики: Экономика
Внутрифирменное управление. Менеджмент
Кл.слова (ненормированные):
стандарты -- СМК -- системы менеджмента качества -- документы -- проектная документация -- архивное хранение документов -- прослеживаемость проектной продукции -- валидация процессов -- авторский надзор
Аннотация: В данной статье речь идет об институте, который осуществляет проектные и изыскательские работы. При сертификации СМК в ходе анализа документации аудитором было зафиксировано 10 малозначительных несоответствий. Сотрудники института считают, что многие из них были отнесены к таковым необоснованно. Специалисты в области качества комментируют эту спорную ситуацию.

Доп.точки доступа:
Качалов, В. А. (зам. главного директора); Шестаков, А. Л. (нач. отдела менеджмента качества и совершенствования структур управления); Савинкина, В. А. \.\

Имеются экземпляры в отделах: всего 1 : эк. (1)
Свободны: эк. (1)

Найти похожие

Стрелова, О. Ю.
Оценка эффективности методов изолирования токсических веществ из крови [Текст] / О. Ю. Стрелова, Н. А. Чувина // Судебно-медицинская экспертиза. - 2008. - N 3. - С. 22-24. - Библиогр. с. 24 (9 назв. )

УДК

^a34

ББК 58.1
Рубрики: Здравоохранение. Медицинские науки
Судебная медицина
Кл.слова (ненормированные):
валидация -- кофеин -- изолирование -- токсические вещества -- прямая экстракция -- модельные комплексы
Аннотация: Дана оценка эффективности существующих методов изолирования токсических веществ из крови с помощью модельного вещества.

Доп.точки доступа:
Чувина, Н. А.

Имеются экземпляры в отделах: всего 1 : к.п. (1)
Свободны: к.п. (1)

Найти похожие

Кузьмин, Е. В.
Моделирование, спецификация и верификация "автоматных" программ [Текст] / Е. В. Кузьмин, В. А. Соколов // Программирование. - 2008. - N 1. - С. 38-60. - Библиогр.: с. 60 (18 назв. )

УДК

^a004.4

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
автоматные программы -- системы логического управления -- темпоральная логика -- компьютерные программы -- модели автоматных программ
Аннотация: Статья посвящена описанию, спецификации и верификации моделей программ, построенных на основе автоматного подхода к программированию.

Доп.точки доступа:
Соколов, Ярославский государственный университет им. П. Г. Демидова

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Автоматизация массового создания тестов работоспособности [Текст] / Р. С. Зыбин [и др. ] // Программирование. - 2008. - N 6. - С. 64-80. . - Библиогр.: с. 78-80 (79 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
тестирование программ -- генерация тестовых данных -- тесты работоспособности -- технологии построения тестов -- автоматизация создания тестов
Аннотация: Представлена технология массового создания тестов работоспособности сложных программных систем, названная Azov.

Доп.точки доступа:
Зыбин, Р. С.; Кулямин, В. В.; Пономаренко, А. В.; Рубанов, В. В.; Чернов, Е. С.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Демаков, А. В.
Использование абстрактных моделей для генерации тестовых данных сложной структуры [Текст] / А. В. Демаков, С. В. Зеленов, С. А. Зеленова // Программирование. - 2008. - N 6. - С. 50-63. . - Библиогр.: с. 62-63 (34 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
языки программирования -- генерация тестовых данных -- тестирование программ -- моделирование сложных структур -- генераторы данных
Аннотация: Представлен подход к автоматической генерации тестовых данных сложной структуры, основанный на использовании абстрактных моделей, которые отражают различные срезы структуры требуемых данных.

Доп.точки доступа:
Зеленов, С. В.; Зеленова, С. А.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Громов, М. Л.
К синтезу условных тестов для недетерминированных автоматов [Текст] / М. Л. Громов, Н. В. Евтушенко, А. В. Коломеец // Программирование. - 2008. - N 6. - С. 24-34. . - Библиогр.: с. 33-34 (18 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
недетерминированные автоматы -- тестирование программ -- методы тестирования программ -- проверяющие тесты
Аннотация: Предлагается метод синтеза условных тестов с гарантированной полнотой для проверки функционирования дискретных систем, поведение которых описано недетерминированными автоматами.

Доп.точки доступа:
Евтушенко, Н. В.; Коломеец, А. В.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

10.

Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помощью сетей Петри высокого уровня [Текст] / В. А. Непомнящий [и др. ] // Программирование. - 2008. - N 6. - С. 35-49. . - Библиогр.: с. 48-49 (23 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
моделирование коммуникационных протоколов -- сети Петри -- Петри сети -- программные комплексы -- языки программирования
Аннотация: Описан метод трансляции языка SDL в ИВТ-сети. Представлен программный комплекс SPV.

Доп.точки доступа:
Непомнящий, В. А.; Аргиров, В. С.; Белоглазов, Д. М.; Быстров, А. В.; Четвертаков, Е. А.; Чурина, Т. Г.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

1-10 11-20 21-30 31-40 41-50 51-60

Тематический навигатор

Статистика за 27.08.2024
Число запросов	86550
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)