When Software Testing Just Doesn’t Cut It

Writing unit tests is pretty much standard practice these days. Otherwise, how would you make sure that your code does what you expect? Yet, some software is mission-critical and merely testing a few examples – or even randomized testing – is not enough.

To reach higher levels of software quality assurance, we need proof: mathematical, formal proof. This presentation is based on an example from industry, where we successfully verified the core of a financial application. This presentation describe the core architecture of the system and the mathematical foundations behind the verification, including the classes of problems that we can (or cannot) discover with this approach.

Video producer: https://devdays.lt/

2 Comments on When Software Testing Just Doesn’t Cut It

  1. Your blog post was so thought-provoking. It’s rare to find content that challenges me to think deeply about important issues.

Leave a Reply

Your email address will not be published.


*


This site uses Akismet to reduce spam. Learn how your comment data is processed.