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

Быстрый алгоритм учета зависимостей данных при анализе и тестировании программного обеспечения СБИС  

Авторы
 Щербаков А.С.
Год публикации
 2016
УДК
 004.415.532.3

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

Copyright © 2009-2018 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН