))
Testing og verifikasjon
Manage episode 235720987 series 1967652
Innhold levert av Mikael Brevik & Stian Veum Møllersen, Mikael Brevik, and Stian Veum Møllersen. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Mikael Brevik & Stian Veum Møllersen, Mikael Brevik, and Stian Veum Møllersen eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.
Hvilke verktøy har vi for å sjekke at koden vi skriver gjør det vi tror den gjør? Hva slags oppførsel kan vi garantere, hva kan vi ikke garantere og hvorfor er det sånn? Hvorfor er god testing vanskelig? Kan testing påvirke koden i negativ retning? Er unit-testing og typer ekvivalente? I denne episoden tar Stian og Mikael en liten runde i testingen og verifikasjonens verden.
Artikler:
- Oskar Wickström - Property-Based Testing in a Screencast Editor: Introduction: https://wickstrom.tech/programming/2019/03/02/property-based-testing-in-a-screencast-editor-introduction.html
- An introduction to property-based testing: https://fsharpforfunandprofit.com/posts/property-based-testing/
122 episoder
Del
