Методы отладки и верификации функционально-потоковых параллельных программ

Описание

Перевод названия: 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

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

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

Авторы

Вхождение в базы данных