Построение минимизированного проверяющего теста, обнаруживающего неисправности безызбыточной ДНФ

Построение минимизированного проверяющего теста, обнаруживающего неисправности безызбыточной ДНФ

Bibliographic Details
Published in:	Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.) С. 34-38
Main Author:	Андреева, Валентина Валерьевна
Corporate Authors:	Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК, Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования
Other Authors:	Матросова, Анжела Юрьевна
Format:	Book Chapter
Language:	Russian
Subjects:	синтез тестов труды ученых ТГУ статьи в сборниках
Online Access:	http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378822 Перейти в каталог НБ ТГУ

Similar Items

Сокращение длины проверяющего теста, обнаруживающего кратные константные неисправности на полюсах логических элементов комбинационной схемы
by: Андреева, Валентина Валерьевна

Построение минимизированного проверяющего теста для системы безызбыточных ДНФ, ориентированное на сокращение расстояния по Хеммингу между соседними тестовыми наборами
by: Сампилов, Алексей Альбертович

Тестирование автомата в различных контекстах
by: Ветрова, Мария Викторовна

Пассивное тестирование программных реализаций протоколов
by: Шабалдин, Андрей Владимирович

Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов
by: Жигулин, Максим Владимирович

О верхней оценке длины разделяющей последовательности
by: Евтушенко, Нина Владимировна

Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата
by: Коломеец, Антон Владимирович

Адаптация H-метода для тестирования недетерминированных автоматов относительно редукции
by: Дорофеева, Маргарита Юрьевна

К синтезу тестов по мутационному автомату
by: Громов, Максим Леонидович

Оптимизация проверяющего теста для неисправностей задержек контролепригодных схем
by: Матросова, Анжела Юрьевна

Сокращение длины проверяющего теста на основе дерева декомпозиции
by: Андреева, Валентина Валерьевна

Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
by: Ермаков, Антон Дмитриевич

Синтез условных тестов для верификации цифровых контролеров
by: Ветрова, Мария Викторовна

Автоматный метод синтеза тестов для проверки безопасности реализаций телекоммуникационных протоколов
by: Сухоплюев, Максим Николаевич

О восстановимости дискретных моделей генных сетей
by: Комаров, А. В.

Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов

Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами
by: Жигулин, Максим Владимирович

Этапы тестирования на взаимодействие
by: Спицына, Наталия Владимировна

Построение тестов для константных неисправностей произвольных логических элементов комбинационных схем на основе графического представления функций элементов
by: Матросова, Анжела Юрьевна

Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов
by: Форостьянова, Мария Сергеевна

Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
by: Твардовский, Александр Сергеевич

Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов

Синтез комбинированных схем в базисе FPGA по ZDD-представлению ДНФ
by: Останин, Сергей Александрович

Оценка полноты тестирования реализации протокола TCP на основе конечно автоматных моделей
by: Сухоплюев, Максим Николаевич

К построению ортогональных днф
by: Паршина, Нина Андреевна

Алгоритм муравьиной колонии синтеза тестов для цифровых устройств
by: Соловьев, Владимир Михайлович канд. техн. наук

Построение максимально совместимых подмножеств троичных векторов с помощью дерева разложений
by: Тарновская, Татьяна Павловна

Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
by: Громов, Максим Леонидович
Published: (2009)

Метод построения полного проверяющего теста для входо-выходных полуавтоматов
by: Громов, Максим Леонидович

Модификация метода построения тестов для конечных автоматов относительно неразделимости
by: Акеньшина, Е. А.

Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек относительно модели "черного ящика"
by: Дмитриев, И. М.

Синтез обнаруживающих тестов для нечетких автоматов с конечной памятью
by: Сперанский, Дмитрий Васильевич 1939-

Возможности мониторинга фармакодинамики дабигатрана этексилата

Обеспечение сокращения аппаратурных затрат в схемах логического управления со свойствами самопроверяемости, самотестируемости и отказоустойчивости диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Андреева, Валентина Валерьевна
Published: (2009)

Оценка производительности кластерных систем Томского государственного университета и института оптики атмосферы с помощью пакета Linpak
by: Дмитриева, Н. В.

Некоторые оценки метода минимизации систем ДНФ путем выделения ядер и соядер
by: Седов, Юрий Владимирович

Прокачай свой IQ тренируй мышление, память и интеллект
by: Волкова, Лолита
Published: (2018)

Алгоритмические методы синтеза тестов
by: Матросова, Анжела Юрьевна
Published: (1990)

Математические методы в психодиагностике [учебное пособие для студентов, обучающихся по программе бакалавриата по направлению подготовки 030300 "Психология"]
by: Лупандин, Владимир Иванович
Published: (2012)

Статистика теста состоятельной структуры
by: Потапов, Юрий Викторович