Методы отладки и верификации функционально-потоковых параллельных программ
Автор: Удалова Ю.В., Легалов А.И., Сиротинина Н.Ю.
Журнал: Журнал Сибирского федерального университета. Серия: Техника и технологии @technologies-sfu
Статья в выпуске: 2 т.4, 2011 года.
Бесплатный доступ
В статье предлагаются методы отладки функционально-потоковых параллельных программ, обеспечивающие гибкий анализ параллельных процессов и их визуальное восприятие с различных позиций. Рассмотрен подход к их формальной верификации, базирующийся на переборе, поступающих в асинхронные списки данных, эквивалентный методу проверки моделей. Это позволяет проанализировать корректность разрабатываемых программ без построения специализированных промежуточных моделей.
Отладка, верификация, параллельные вычисления, функционально-потоковое параллельное программирование
Короткий адрес: https://sciup.org/146114579
IDR: 146114579
