Электронная библиотека (репозиторий) Томского государственного университета
синтез тестов

Add to Quick Collection   All 16 Results

Showing items 1 - 15 of 16.
Sort:
 Add All Items to Quick Collection
Add   Синтез обнаруживающих тестов для нечетких автоматов с конечной памятью
Authors: Сперанский, Дмитрий Васильевич
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2024. № 66. С. 120-127
Type: статьи в журналах
Date: 2024
Description: Предложен и проиллюстрирован метод синтеза тестов, обнаруживающих неисправности в нечетких автоматах с конечной памятью (АКП). В качестве АКП рассмотрены μ-определенные и синхронизируемые автоматы. По ... More
Add   Алгоритм муравьиной колонии синтеза тестов для цифровых устройств
Authors: Соловьев, Владимир Михайлович (канд. техн. наук) | Сперанский, Дмитрий Васильевич
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2021. № 55. С. 122-126
Type: статьи в журналах
Date: 2021
Description: Описывается эволюционный алгоритм синтеза тестов для цифровых устройств (ЦУ), основанный на исполь-зовании алгоритма муравьиной колонии. Предлагаемый алгоритм ориентирован на диагностирование таких не ... More
Add   Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
Authors: Твардовский, Александр Сергеевич
Source: Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г.. Томск, 2018. С. 11-13
Type: статьи в сборниках
Date: 2018
Add   Автоматный метод синтеза тестов для проверки безопасности реализаций телекоммуникационных протоколов
Authors: Сухоплюев, Максим Николаевич | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 103-106
Type: статьи в журналах
Date: 2015
Add   Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов
Authors: Форостьянова, Мария Сергеевна
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 67-76
Type: статьи в журналах
Date: 2014
Add   Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
Authors: Ермаков, Антон Дмитриевич
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 111-123
Type: статьи в журналах
Date: 2014
Add   Адаптация H-метода для тестирования недетерминированных автоматов относительно редукции
Authors: Дорофеева, Маргарита Юрьевна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 49-53
Type: статьи в сборниках
Date: 2006
Add   Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06, (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г. )
Authors: Майер, Георгий Владимирович | Башкатов, Виктор Захарович
Type: сборники
Date: 2006
Add   К синтезу тестов по мутационному автомату
Authors: Громов, Максим Леонидович | Дорофеева, Маргарита Юрьевна | Коломеец, Антон Владимирович
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 43-48
Type: статьи в сборниках
Date: 2006
Add   Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата
Authors: Коломеец, Антон Владимирович | Прокопенко, Светлана Анатольевна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 62-66
Type: статьи в сборниках
Date: 2006
Add   О верхней оценке длины разделяющей последовательности
Authors: Евтушенко, Нина Владимировна | Спицына, Наталия Владимировна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 54-58
Type: статьи в сборниках
Date: 2006
Add   Пассивное тестирование программных реализаций протоколов
Authors: Шабалдин, Андрей Владимирович
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 70-75
Type: статьи в сборниках
Date: 2006
Add   Построение минимизированного проверяющего теста, обнаруживающего неисправности безызбыточной ДНФ
Authors: Андреева, Валентина Валерьевна | Матросова, Анжела Юрьевна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 34-38
Type: статьи в сборниках
Date: 2006
Add   Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов
Authors: Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна | Евтушенко, Нина Владимировна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 59-62
Type: статьи в сборниках
Date: 2006
Add   Тестирование автомата в различных контекстах
Authors: Ветрова, Мария Викторовна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 39-42
Type: статьи в сборниках
Date: 2006

Creator

Date

Subject

Resource Type

^