Az állapotlogika tesztelése megbízhatóságot épít azzal kapcsolatban, hogy az állapotátmenetek és frissítések helyesek. A stratégia attól függ, hogyan strukturálódik a logika — a tiszta függvények (reducerek) a legkönnyebben tesztelhetők, így a jól felépített állapot egyben jól tesztelhető állapot is.
Tiszta reducerek közvetlen tesztelése (a legkönnyebb, legmagasabb értékű eset)
(, {
(, {
initial = [];
next = (initial, { : , : { : , : } });
(next).([{ : , : }]);
(initial).([]);
});
});
