在进行软件测试用例设计之前应建立环境模型、被测对象模型和_____。