Журнал СФУ. Техника и технологии / Методы отладки и верификации функционально-потоковых параллельных программ

Полный текст (.pdf)
Номер
Журнал СФУ. Техника и технологии. 2011 4 (2)
Авторы
Удалова, Ю.В.; Легалов, А.И.; Сиротинина, Н.Ю.
Контактная информация
Удалова, Ю.В. : Сибирский федеральный университет , Россия 660041, Красноярск, пр. Свободный, 79 , e-mail: ; Легалов, А.И. : Сибирский федеральный университет , Россия 660041, Красноярск, пр. Свободный, 79; Сиротинина, Н.Ю. : Сибирский федеральный университет , Россия 660041, Красноярск, пр. Свободный, 79
Ключевые слова
отладка; верификация; параллельные вычисления; функционально-потоковое параллельное программирование; debug; verification; function-stream parallel programs
Аннотация

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

Страницы
213-224
Статья в архиве электронных ресурсов СФУ
https://elib.sfu-kras.ru/handle/2311/2337

Лицензия Creative Commons Эта работа лицензируется по лицензии Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).