Software testing(model checking vs static analysis vs testing)

What the big different between model checking, static analysis and testing(input -> output)?