I think this is a fairly good summary of the most important testing styles and where / when to (not) use them.

One more category of tests I would add are meta tests (like mutation tests). These are tests which test the tests, seeing if they would actually catch any errors / bugs or just report everything to be alright always.