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

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

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

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

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

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