EPISODE · Jun 10, 2019 · 31 MIN
Testing og verifikasjon
from Kortslutning
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.htmlAn introduction to property-based testing: https://fsharpforfunandprofit.com/posts/property-based-testing/---Følg oss og send oss meldinger på @kortslutning.fun. Hosted on Acast. See acast.com/privacy for more information.
What this episode covers
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.htmlAn introduction to property-based testing: https://fsharpforfunandprofit.com/posts/property-based-testing/---Følg oss og send oss meldinger på @kortslutning.fun. Hosted on Acast. See acast.com/privacy for more information.
NOW PLAYING
Testing og verifikasjon
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.