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