all the testing frameworks and why/when to use each of them
Formal Verification
billions and billions of other things that might have been interesting
What we will be covering
How to write effective unit tests
What the different types of tests are
How to know what type of test to use
Some testing theory
Probably some nerdy cultural references
why test your code?
There are known knowns. These are things we know that we know. There are known unknowns. That is to say, there are things that we know we don't know. But there are also unknown unknowns. There are things we don't know we don't know.
–Donald Rumsfeld
Known Knowns
Code reviews, existing tests
Ensures that the code works and meets the Acceptance Criteria
Known unknowns
existing tests and new Tests
Ensures that we don't break things and that the system keeps working