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

Главная

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

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

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

Антитеррор

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

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

БД "Статьи" (3)

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

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

Поисковый запрос: (<.>K=проверяющие тесты<.>)

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

Жигулин, М. В.
Синтез тестов с гарантированной полнотой для временных автоматов [Текст] / М. В. Жигулин, И. М. Дмитриев, Н. В. Евтушенко // Известия Томского политехнического университета. - 2010. - Т. 316, N 5 : Управление, вычислительная техника и информатика. - С. 104-110. : ил. - Библиогр.: с. 110 (5 назв. ).

УДК

^a681.5

^a519.6

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

Доп.точки доступа:
Дмитриев, И. М.; Евтушенко, Н. В.
Нет сведений об экземплярах (Источник в БД не найден)

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

Тестирование программной реализации протокола IRC на основе модели расширенного автомата [Текст] / М. В. Жигулин [и др. ] // Известия Томского политехнического университета. - 2011. - Т. 318, N 5 : Управление, вычислительная техника и информатика. - С. 81-84. : ил. - Библиогр.: с. 84 (5 назв. )

УДК

^a519.7

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

Доп.точки доступа:
Жигулин, М. В.; Коломеец, А. В.; Кушик, Н. Г.; Шабалдин, А. В.
Нет сведений об экземплярах (Источник в БД не найден)

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

Лапутенко, А. В.
Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей [Текст] / А. В. Лапутенко, Х. Е. Лопез, Н. В. Евтушенко // Известия вузов. Физика. - 2017. - Т. 60, № 11. - С. 146-151 : рис., табл. - Библиогр.: c. 151 (6 назв. ) . - ISSN 0021-3411

УДК

^a004.67

^a53:51

ББК 32.973-018.2 + 22.311
Рубрики: Вычислительная техника
   Системы обработки численных данных
   Физика
   Математическая физика
Кл.слова (ненормированные):
верификационные тесты проверки цифровых компонентов -- верификация логических компонентов -- область неисправности -- проверяющие тесты -- тестовые последовательности -- физические системы -- цифровые компоненты
Аннотация: Продолжение исследований по построению качественных верификационных тестов для проверки цифровых компонентов, используемых в различных физических системах, таких, как, например, встраиваемые датчики и элементы, используемые для передачи данных. Для экспериментальных исследований выбраны схемы из пакета бенчмарок B01-B10 (ITC’99 benchmarks (Second Release) ), которые представляют собой компоненты физических систем, спроектированных для различных приложений. Тестовые последовательности строятся, в первую очередь, для обнаружения наиболее широко известных мутаций эталонного описания с использованием трех различных подходов к синтезу тестов. В качестве мутаций рассматриваются одиночные константные неисправности, неисправности «перемычек» и неисправности, незначительно изменяющие поведение одного логического элемента цифровой схемы. Поскольку наибольший интерес представляют короткие тестовые последовательности, обеспечивающие определенные гарантии при положительном результате тестирования, экспериментально исследуются различные подходы к построению тестовых последовательностей, обнаруживающих заданное множество мутаций. В первой серии экспериментов сравниваются два подхода к построению так называемых полных тестов. В первом случае для каждой мутации находится обнаруживающая ее кратчайшая тестовая последовательность, во втором случае - тестовая последовательность генерируется псевдослучайным образом, т. е., вообще говоря, является более длинной. Тем не менее после минимизации теста, т. е. удаления последовательностей, обнаруживающих одно и то же множество мутаций, длина теста, построенного вторым способом, может быть существенно уменьшена, что в ряде случаев опровергает необходимость направленного синтеза кратчайшей последовательности, обнаруживающей одну мутацию. Однако проведенные эксперименты также показывают, что построение тестовых последовательностей исключительно случайным способом не дает возможности обнаружить все мутации заданного класса: начиная с определенной длины, происходит насыщение и полнота теста не увеличивается. Вместе с тем комбинация "чисто" случайного и псевдослучайного моделирования входных воздействий цифровых схем позволяет добиться высокой полноты относительно коротких тестов для перечисленных классов неисправностей.

Доп.точки доступа:
Лопез, Х. Е.; Евтушенко, Н. В.
Нет сведений об экземплярах (Источник в БД не найден)

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

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

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

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