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

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

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

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

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

Аннотация: В статье предлагаются методы отладки функционально-потоковых параллельных программ, обеспечивающие гибкий анализ параллельных процессов и их визуальное восприятие с различных позиций. Рассмотрен подход к их формальной верификации, базирующийся на переборе, поступающих в асинхронные списки данных, эквивалентный методу проверки моделей. Это позволяет проанализировать корректность разрабатываемых программ без построения специализированных промежуточных моделей.

Ссылки на полный текст

Издание

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

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

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

ISSN журнала: 1999494X

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

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

Авторы

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.