Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=генерация тестов<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.


    Бурдонов, И. Б.
    Семантики взаимодействия с отказами, дивергенцией и разрушением [Текст] / И. Б. Бурдонов, А. С. Косачев // Программирование. - 2010. - N 5. - С. 3-23. . - Библиогр.: с. 22-23 (26 назв. )
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
методы тестирования систем -- безопасное тестирование -- генерация тестов -- тестирование конформности -- тотальное тестирование
Аннотация: Рассматриваются формальные методы тестирования конформности исследуемой системы спецификации.


Доп.точки доступа:
Косачев, А. С.

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

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


    Петухов, А. А.
    Смешанный оптимизационно-комбинированный метод построения покрывающих наборов [Текст] / А. А. Петухов // Программирование. - 2014. - № 1. - С. 15-30. - Библиогр.: с. 28-29 (30 назв.) . - ISSN 0132-3474
УДК
^a681.3:62-52
ББК 30.6-5-05
Рубрики: Техника
   Автоматизация оборудования
Кл.слова (ненормированные):
вычислительные системы -- генерация тестов -- комбинированные методы -- оптимизационные методы -- покрывающие наборы
Аннотация: Описан новый метод построения однородных и неоднородных покрывающих наборов, основанный на соединении комбинаторных и оптимизационных методов.


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

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


   
    Генерация тестов на абстракциях систем событий для покрытия их состояний и переходов [Текст] / Ж. Жюллиан [и др.] // Программирование. - 2018. - № 1. - С. 3-20. - Библиогр.: с. 19-20 (37 назв.) . - ISSN 0132-3474
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
may-переходы -- абстракция программ -- абстракция систем -- генерация тестов -- имплементация -- эвристика -- электрические системы
Аннотация: В статье представлен алгоритмический метод для вычисления конкретного приближения предикатной абстракции системы событий.


Доп.точки доступа:
Жюллиан, Ж.; Кушнаренко, О.; Массон, П. А.; Вуарон, Г.

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

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


    Шачнев, Д. А.
    Использование онтологии предметной области для автоматизации процессов в сфере научных исследований и образования [Текст] / Д. А. Шачнев, Д. С. Карпенко // Программирование. - 2018. - № 1. - С. 21-30. - Библиогр.: с. 30 (9 назв.) . - ISSN 0132-3474
УДК
^a004.8
ББК 32.813
Рубрики: Радиоэлектроника
   Искусственный интеллект. Экспертные системы
Кл.слова (ненормированные):
генерация тестов -- информационно-аналитические системы -- наукометрия -- научные исследования -- онтология -- предметные области -- таксономия -- тезаурусы -- учебные процессы
Аннотация: В статье представлены методы построения онтологии, которые применяются в информационно-аналитической системе "ИСТИНА", которая используется в МГУ имени М. В. Ломоносова и в ряде других организаций.


Доп.точки доступа:
Карпенко, Д. С.; МГУ имени М. В. ЛомоносоваМосковский государственный университет имени М. В. Ломоносова

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

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 28.07.2024
Число запросов 62648
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)