Seminarium: Systemy Rozproszone
12 grudnia 2019, godzina 12:15, sala 4070
Filip Plata

Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code

Systemy komputerowe tworzone na całym świecie stają się coraz bardziej skomplikowane. Z drugiej strony, coraz więcej zaczyna zależeć od ich poprawnego funkcjonowania. Złożone przepływy sterowania trudno pokryć automatycznymi testami, a zależności w kodzie programu oddzielone wieloma wywołaniami funkcji mogą być łatwo przeoczone przez programistę.

Przyjrzymy się, jak statycznie i precyzyjnie modelować potencjalne błędy w kodzie. Wprowadzony model okaże się bardzo ogólny, a zarazem wygodny dla równoległego przetwarzania dużych programów. Dowiemy się też, jakie rodzaje błędów są zdecydowanie najczęściej popełniane przez programistów - z grupy problemów badanych przez autorów pracy.

Zapraszam!
Filip Plata

Bibliografia:

• Grapple - Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu