Перевод названия: 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
Место издания: Красноярск
Издатель: Федеральное государственное автономное образовательное учреждение высшего образования Сибирский федеральный университет