Software Testing Theory + A Few Less Obvious Testing Techniques

From the creator

💡 Learn how to design great software in 7 steps: https://arjan.codes/designguide. This video covers what software testing is and what it's not and how it relates to program correctness. I also talk about two less obvious testing techniques: mutation testing and property-based testing. If you want to play around with mutation testing or property-based testing, take a look at these frameworks: - Mutmut (Python mutation testing library): https://mutmut.readthedocs.io/en/latest/ - Hypothesis (Python property-based testing library): https://hypothesis.readthedocs.io/en/latest/ 🎓 ArjanCodes Courses: https://www.arjancodes.com/courses/ 🔖 Chapters: 0:00 Intro 0:52 What tests are and what they aren't 1:43 Code example: tests cannot prove that a program is correct 4:44 Proving that a program is correct: Hoare logic 7:23 Different types of testing 8:53 Code example: mutation testing 12:03 More types of testing 13:07 About invariants 14:13 Code example: property-based testing 18:01 Types of property-based testing 19:29 Final thoughts #arjancodes #softwaredesign #python

Published 2021-09-24 · Watch on YouTube ↗
Availability and playback restrictions are controlled by the original channel.