Сборники трудов ИСП РАН


К вопросу о генерации начальных данных, обеспечивающих заданную трассу SPMD-программы.

С.С. Гайсарян, П.Н. Яковенко.

Аннотация

Исследуется проблема автоматизированной генерации входных данных для SPMD-программы на основании ее исходного текста. Актуальность проблемы определяется тем обстоятельством, что оценка производительности, масштабируемости и других динамических свойств SPMD-программы связана с применением различных интерпретаторов и других средств динамического анализа, но любому инструментальному средству динамического анализа необходимы наборы «типовых» входных данных, обеспечивающих критические сценарии работы программы.

Дальнейшее развитие связано с уточнением методов, описанных в разделе 3, (межпроцедурный анализ, более тщательный анализ указателей и др.), развитием метода декомпозиции и изучением возможности применения динамических методов для анализа недоступных компонентов анализируемой программы (внешние функции и др.).

Издание

Труды Института системного программирования РАН, том 8, часть 2, 2004, стр. 181-200.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома