Сибирский федеральный университет

Перевод названия: Debug and Verification of Function-Stream Parallel Programs

Тип публикации: статья из журнала

Год издания: 2011

Ключевые слова: отладка, функционально-потоковое параллельное программирование, debug, verification, function-stream parallel programs, верификация, параллельные вычисления

Аннотация: В статье предлагаются методы отладки функционально-потоковых параллельных программ, обеспечивающие гибкий анализ параллельных процессов и их визуальное восприятие с различных позиций. Рассмотрен подход к их формальной верификации, базирующийся на переборе, поступающих в асинхронные списки данных, эквивалентный методу проверки моделей. Это позволяет проанализировать корректность разрабатываемых программ без построения специализированных промежуточных моделей. Debug function-stream parallel program can pass in one of the four realized modes: mode of incremental debug, mode of layer debug, mode of branch debug and mode of formulas checking. Verification of function-stream parallel programs with asynchronous lists is described in article.

Журнал: Журнал Сибирского федерального университета. Серия: Техника и технологии

Выпуск журнала: Т. 4, № 2

Номера страниц: 213-224

ISSN журнала: 1999494X

Место издания: Красноярск

Издатель: Федеральное государственное автономное образовательное учреждение высшего образования Сибирский федеральный университет

• Удалова Ю.В. (Сибирский федеральный университет)
• Легалов А.И. (Сибирский федеральный университет)
• Сиротинина Н.Ю. (Сибирский федеральный университет)

• Ядро РИНЦ (eLIBRARY.RU)
• Список ВАК