软件测试的基本方法和技术思考