Testing og verifikasjon
MP3•Episoder hjem
Manage episode 235720987 series 1967652
Av Mikael Brevik & Stian Veum Møllersen, Mikael Brevik, and Stian Veum Møllersen oppdaget av Player FM og vårt samfunn — opphavsrett er eid av utgiveren, ikke Plaer FM, og lyd streames direkte fra deres servere. Trykk på Abonner knappen for å spore oppdateringer i Player FM, eller lim inn feed URLen til andre podcast apper.
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/
95 episoder