Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования

Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования

Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к вериф...

Полное описание

Библиографическая информация
Опубликовано в: :	Известия высших учебных заведений. Физика Т. 58, № 8. С. 85-90
Главный автор:	Кушик, Наталья Геннадьевна
Другие авторы:	Евтушенко, Нина Владимировна, Торгаев, Станислав Николаевич
Формат:	Статья в журнале
Язык:	Russian
Предметы:	физические системы цифровые компоненты FPGA-технология верификация тестирование мутанты мутационное тестирование статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141359

Похожие документы

Мутационное тестирование с использованием генератора мутантов μJAVA
по: Ермаков, Антон Дмитриевич

Методы компактного тестирования цифровых устройств
по: Столов, Евгений Львович
Публикация: (1993)

Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей
по: Лапутенко, Андрей Владимирович

Исследование корреляции тестовых последовательностей при проверке надежности функционирования цифровых компонентов физических систем
по: Кушин, Наталья Геннадьевна

Тестирование безопасности программного обеспечения с использованием верификаторов
по: Ермаков, Антон Дмитриевич

Кольцевое тестирование цифровых устройств: научное издание/
по: Литиков Игорь Петрович
Публикация: (1990)

Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации диссертация на соискание ученой степени кандидата технических наук : 05.13.01
по: Ермаков, Антон Дмитриевич
Публикация: (2016)

Методы обеспечения качества крупномасштабных программных средств: Монография/
по: Липаев, В. В. Владимир Васильевич
Публикация: (2003)

Тестирование программного обеспечения учебно-методический комплекс
по: Матросова, Анжела Юрьевна
Публикация: (2007)

Основы тестирования программного обеспечения учебное пособие
по: Котляров, Всеволод Павлович
Публикация: (2006)

Принципы юнит-тестирования
по: Хориков, Владимир
Публикация: (2022)

Надежный Python пишем чистый код, который удобно поддерживать : пер. с англ.
по: Виафоре, Патрик
Публикация: (2023)

Программа тестирования знаний "Testing"
по: Тарасенко, А. П.

Разработка цифровых устройств на основе ПЛИС Xilinx R с применением языка VHDL
по: Тарасов, Илья Евгеньевич
Публикация: (2005)

Верификация программного обеспечения учебное пособие
по: Синицын, Сергей Владимирович, et al.
Публикация: (2008)

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

Функциональная верификация VHDL-описаний синхронных цифровых устройств
по: Бибило, Петр Николаевич
Публикация: (2020)

Метод "прозрачной журнализации" для организации процесса тестирования web-ориентированных информационных систем
по: Гудов, Александр Михайлович

Опыт тестирования по немецкому языку
по: Цымбалова, А. А.

Дружеское знакомство с тестированием программ
по: Лабун, Билл
Публикация: (2022)

Автоматизация процессов тестирования: производственно-практическое издание/
по: Винниченко, И. В. Илья Викторович
Публикация: (2005)

Искусство тестирования программ: Пер. с англ./
по: Майерс Гленфорд Дж
Публикация: (1982)

Метод функционально-структурного тестирования программных реализаций коммуникационных протоколов
по: Бекназаров, О. Б.

Применение нейронных сетей в задачах компьютерного тестирования
по: Погуда, Алексей Андреевич

Плис-технологии в радиофизике лабораторный практикум
по: Пономарев, Олег Геннадьевич
Публикация: (2011)

Самоучитель по радиоэлектронике: сборник практических рекомендаций/
по: Николаенко, М. Н. Михаил Николаевич
Публикация: (2011)

Компьютерная технология адаптивного структурированного тестирования в образовании: диссертация на соискание ученой степени кандидата технических наук. 05.13.06/
по: Воробейчикова Ольга Владимировна
Публикация: (2002)

Компьютерная технология адаптивного структурированного тестирования в образовании: Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.06/
по: Воробейчикова Ольга Владимировна
Публикация: (2002)

Инструмент для автоматического тестирования программного обеспечения
по: Щипачев, Никита Михайлович

Тестирование черного ящика технологии функционального тестирования программного обеспечения и систем : [пер. с англ.]
по: Бейзер, Борис
Публикация: (2004)

Семантики взаимодействия с отказами, дивергенцией и разрушением. Условия конечного полного тестирования
по: Косачев, Александр Сергеевич

Автоматизация тестирования Java-приложений
по: Томков, Владислав Владимирович

Основы юзабилити-тестирования на старт, внимание... тест!
по: Барнум, Кэрол М.
Публикация: (2022)

Новый взгляд на методы тестирования
по: Погуда, Алексей Андреевич

Технологическая матрица системы тестирования "НейроТест"
по: Погуда, Алексей Андреевич

Анализ и построение тестов цифровых программно-управляемых устройств
по: Чипулис, Валерий Павлович
Публикация: (1992)

Верификация модели промерзания и оттаивания грунта с использованием данных метеостанций
по: Алипова, Ксения Александровна

Об опыте использования метода тестирования в процессе обучения криминалистике
по: Фоминых, Илья Сергеевич

Современная практика использования тестирования в России и за рубежом
по: Андриенко, Алена Васильевна 1972-

Разработка моделей и методов принятия решений в задачах тестирования знаний: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.17/
по: Шестова, Е. А. Елена Александровна
Публикация: (2012)