Ring Buffer Iterator State Transition Testing