检验、假设和发现