Je možné napísať test, ktorý odhalí Data Race Condition?

Testy, ktoré zaručujú detekciu podmienok závodu dát, sú ťažké na napísanie, pretože závody dát závisia od konkrétneho poradia vykonávania vlákien, ktoré môže byť nepredvídateľné a zriedka reprodukovateľné.

Avšak, môžu sa použiť nástroje na dynamickú analýzu, ako je detektor závodu v Go (go run -race), ktorý počas testov sleduje potenciálne závody dát.

Príklad jednoduchého testu v Go s aktivovaným detektorom závodu:

go test -race ./...

Samotný test by mal pokryť paralelný prístup k zdieľaným dátam. Ak je závod, nástroj ho odhalí a oznámi.

Týmto spôsobom testy s detektorom závodu pomáhajú odhaliť podmienky závodu dát, ale nezaručujú ich odhalenie vo všetkých prípadoch, pretože závody sa môžu prejavovať nepravidelne.