Новости
К вопросу о генерации начальных данных, обеспечивающих заданную трассу SPMD-программы.
Аннотация
Исследуется проблема автоматизированной генерации входных данных для SPMD-программы на основании ее исходного текста. Актуальность проблемы определяется тем обстоятельством, что оценка производительности, масштабируемости и других динамических свойств SPMD-программы связана с применением различных интерпретаторов и других средств динамического анализа, но любому инструментальному средству динамического анализа необходимы наборы «типовых» входных данных, обеспечивающих критические сценарии работы программы.
Дальнейшее развитие связано с уточнением методов, описанных в разделе 3, (межпроцедурный анализ, более тщательный анализ указателей и др.), развитием метода декомпозиции и изучением возможности применения динамических методов для анализа недоступных компонентов анализируемой программы (внешние функции и др.).
Издание
Труды Института системного программирования РАН, том 8, часть 2, 2004, стр. 181-200.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).