在系统测试中，检验软件有三种手段：（）。