Testing and analysis aren't equivalent, but they can be similar enough in use to be interchangeable. As an example the approach of 'type correctness through a

Testing and analysis aren't equivalent, but they can be similar enough in use to be interchangeable. As an example the approach of 'type correctness through a type checker' and 'type-correctness through integration testing' is largely interchangeable in python. Even though they function very differently.