Testing og verifikasjon
Kortslutning10 Kesä 2019

Testing og verifikasjon

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/

---


Følg oss og send oss meldinger på @kortslutning.fun.

Hosted on Acast. See acast.com/privacy for more information.

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(175)

Hvordan er det å komme inn i bransjen i 2026? Livepod fra TDC

Hvordan er det å komme inn i bransjen i 2026? Livepod fra TDC

Livepod fra TDC i Trondhjem. Vi har med oss gjestene Antonio Rodriguez og Elise Kristiansen for å prate litt om hvordan det er å komme inn i IT-bransjen i 2026. Er det egentlig greit å svare jobbsøker...

26 Loka 56min

Krav og forventning

Krav og forventning

Stiller vi for lite krav til hverandre som utviklere og medarbeidere? Hvorfor er det så ubehagelig og snakke om forventinger? Vi diskuterer krav og forventninger i kontekst av utvikling på godt gammel...

7 Loka 41min

Friksjon mellom utviklere og design - Live Pod Refill2026

Friksjon mellom utviklere og design - Live Pod Refill2026

Live podcast fra Refill 2026. Vi har med oss gjestene Odd Morten Sveås og Andreas Sætersdal Hartveit og snakker om friksjon mellom utvikling, design og prosjektledelse.---Følg oss og send oss meldinge...

22 Syys 42min

Hjemmekontor i 2026

Hjemmekontor i 2026

Hjemmekontor er i nyhetene igjen. Hvorfor vender vi stadig vekk tilbake til dette temaet? Fordelen med hjemmekontor for individet er udiskutabelt, men hvordan er det egentlig med kulturen og samarbeid...

7 Syys 47min

Kodemodus

Kodemodus

Hvordan endrer følelsen av koden seg når du endrer modus? Hvor forskjellig opplevelse har du av kode når du jobber i den sammenlignet med når du kun leser den? Hvordan blir utfordringen med å holde ko...

24 Elo 36min

Friksjon

Friksjon

Er det bra for utviklinga di å bare ha det komfortabelt hele tida? Hvor går grensa mellom produktiv og destruktiv friksjon? Har verdenen endra seg på en sånn måte at komfort er overalt og å lete etter...

10 Elo 40min

Konfigurerbarhet

Konfigurerbarhet

Hvorfor påfører vi oss selv ekstra kompleksitet, når vi vet det ikke er bra for systemene vi utvikler? Bruker vi egentlig nok tid på å evaluere og drøfte valgene vi tar? Hvorfor har vi ikke formulert ...

15 Kesä 35min

Enshittification

Enshittification

Blir alt dårligere? LItt mer shittified[1]? KI sprøytes inn i alle ledige åpninger og alt er nede hele tiden. Har vi sluttet å bry oss om kvalitet? Møter vi alt med skuldertrekk og apati? Eller er det...

1 Kesä 38min