Software Testing Theory + A Few Less Obvious Testing Techniques
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.
? Here's my FREE 7-step guide to help you consistently design great software: https://arjancodes.com/designguide.
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/
? Courses:
The Software Designer Mindset: https://www.arjancodes.com/mindset
The Software Designer Mindset Team Packages: https://www.arjancodes.com/sas
The Software Architect Mindset: 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
? GEAR & 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 reviewer board:
- Yoriz
- Ryan Laursen
- Sybren A. Stüvel
? 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
DISCLAIMER - The links in this description might be affiliate links. If you purchase a product or service through one of those links, I may receive a small commission. There is no additional charge to you. Thanks for supporting my channel so I can continue to provide you with free content each week!
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «Software Testing Theory + A Few Less Obvious Testing Techniques», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.