Testimi i logjikës së gjendjes ndërton besimin se tranzicionet dhe përditësimet e gjendjes tuaj janë të sakta. Strategjia varet nga si është strukturuar logjika — funksionet e pastra (reducesat) janë më të lehta për t'u testuar, kështu që gjendja e mirë-arkitekturuar është gjithashtu gjendja e mirë-testueshmërisë.
Testoni direkt reducesat e pastër (rasti më i lehtë, me vlerë më të lartë)
(, {
(, {
initial = [];
next = (initial, { : , : { : , : } });
(next).([{ : , : }]);
(initial).([]);
});
});
