white box testing in software engineering example