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

Ускорение направленного тестирования встроенного и внешнего ПО СБИС путем учета потока данных при ограничении вариативности траекторий выполнения
Авторы
	Щербаков А.С.
Год публикации
	2014
УДК
	004.415.532.3
Аннотация
	Метод направленного перебора, основанный на решении уравнений относительно условий переходов (DART) широко применяется при тестировании ПО. Его существенным недостатком является большое время тестирования в практических приложениях из-за экспоненциального числа итераций. В работе описан эффективный метод сокращения перебора путей без сложного анализа программы, основанный на обнаружении изменений и зависимостей символических выражений, составляющих условия переходов, в комбинации с ограничением числа различий в траектории выполнения программы.
Ключевые слова
	тестирование программ, верификация программ, динамическая верификация, покрытие операторов, обеспечение качества ПО, покрытие кода, покрытие ветвлений, встроенные программы, DART, автоматическое тестирование, генерирование тестов
Ссылка на статью
	Щербаков А.С. Ускорение направленного тестирования встроенного и внешнего ПО СБИС путем учета потока данных при ограничении вариативности траекторий выполнения // Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть 2. С. 15-21.
Адрес статьи
	http://www.mes-conference.ru/data/year2014/pdf/D105.pdf