Using Assertions to Demonstrate the Code is Correct

Опубликовано: 06 Октябрь 2022
на канале: Zoran Horvat

3,056

133

Become a patron and get access to source code and exclusive live streams:   / using-assertions-81380561

In this video, you will learn how to use debug assertions to probe state of the system in critical points. By covering a function's execution with carefully crafted debug assertions, you will be able implement function verification process which is very close to a formal proof of its correctness.

Writing code with no bugs series:
Incremental Coding ►    • How to Make No Bugs? Write Code Incre...
Formally Proving Code Correctness ►    • Formally Proving Code Correctness
Using Assertions ►    • Using Assertions to Demonstrate the C...
Assertions in a Complex Function ►    • How to Use Debug Assertions in a Comp...
Self-documenting Code ►    • Write Self-documenting Code to Avoid ...
Self-documenting Types ►    • Design Self-documenting Types to Avoi...

Learn more from video courses:
Beginning Object-oriented Programming with C# ► https://codinghelmet.com/go/beginning...
Collections and Generics in C# ► https://codinghelmet.com/go/collectio...
Making Your C# Code More Object-oriented ► https://codinghelmet.com/go/making-yo...

Other courses at Pluralsight ► https://codinghelmet.com/go/pluralsight
Other courses at Udemy ► https://codinghelmet.com/go/udemy

Other videos on this channel you may be interested in watching:
Using GitHub Copilot to Write Complex Code | Step-by-step Tutorial ►    • Using GitHub Copilot to Write Complex...
Coding with GitHub Copilot - Beginner to Master | VS Code Demo ►    • A Comprehensive Guide to GitHub Copil...
What is Covariance and Contravariance in C# ►    • What is Covariance and Contravariance...
How to Initialize a Clean ASP.NET Core Project with Entity Framework Core and Identity ►    • How to Initialize a Clean ASP.NET Cor...
The Null Conundrum: A Guide to Optional Objects in C# ►    • How to Avoid Null Reference Exception...