软件测试是一个有程序的过程，在设计测试用例之前，应建立_________、被测对象模型以及_________。