Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Быстрый алгоритм учета зависимостей данных при анализе и тестировании программного обеспечения СБИС
Авторы
	Щербаков А.С.
Год публикации
	2016
УДК
	004.415.532.3
Аннотация
	При планировании тестов в динамическом тестировании программ учет выявленных зависимостей при планировании новых траекторий теста или анализа затруднен из-за необходимости распространения информации о зависимостях по графу выполнения, что приводит к весьма высокой сложности (квадратичной и более по отношению к размеру программы). В работе предложен алгоритм, использующий статическое структурирование программы и хранение векторных данных, представляющих структуру узлов, участвующих в зависимостях, для содержимого каждого блока. При использовании алгоритма средняя сложность принятия решения о изменении траектории составляет не более квадрата логарифма размера программы.
Ключевые слова
	тестирование программ, зависимость данных, граф управления, гамак, динамическая верификация, верификация, верификация ПО, альтернация, распространение в графе, анализ сценариев.
Ссылка на статью
	Щербаков А.С. Быстрый алгоритм учета зависимостей данных при анализе и тестировании программного обеспечения СБИС // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2016. № 2. С. 76-83.
Адрес статьи
	http://www.mes-conference.ru/data/year2016/pdf/D175.pdf