testify white box testing