Theory of software testing + some less obvious testing techniques

Channel	Publish Date	Thumbnail & View Count	Download Video
	Publish Date not found	0 Views	View on YouTube Download Video

This video explains what software testing is and isn't, and how it relates to program correctness. I also talk about two less obvious testing techniques: mutation testing and property-based testing.

Here's my FREE 7-step guide to help you build consistently great software: https://arjancodes.com/designguide.

If you want to experiment with mutation testing or property-based testing, check out these frameworks:
– Mutmut (Python mutation testing library): https://mutmut.readthedocs.io/en/latest/
– Hypothesis (Python library for property-based testing): https://hypothesis.readthedocs.io/en/latest/

Courses:
The mindset of a software designer: https://www.arjancodes.com/mindset
The Software Designer Mindset Team Packages: https://www.arjancodes.com/sas
The mindset of a software architect: Pre-register now! https://www.arjancodes.com/architect
Next Level Python: Become a Python Expert: https://www.arjancodes.com/next-level-python
The 30-day design challenge: https://www.arjancodes.com/30ddc

EQUIPMENT AND RECOMMENDED BOOKS: https://kit.co/arjancodes.

Join my Discord server here: https://discord.arjan.codes

Twitter: https://twitter.com/arjancodes
LinkedIn: https://www.linkedin.com/company/arjancodes
Facebook: https://www.facebook.com/arjancodes

Channel Code Review Committee:
– Yes
– Ryan Laursen
– Sybren A. Stuevel

Chapter:
0:00 Introduction
0:52 What tests are and what they are not
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 tests
8:53 Code example: Mutation testing
12:03 Other test types
13:07 About invariants
14:13 Code example: property-based testing
18:01 Types of property-based tests
19:29 Final thoughts

#arjancodes #softwaredesign #python

DISCLAIMER – The links in this description may be affiliate links. If you purchase a product or service through one of these links, I may receive a small commission. There is no additional cost to you. Thank you for supporting my channel so I can continue to provide you with free content each week!