What are the first three methods mentioned that make up black-box testing