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.

Jaksot(162)

Open Boostrapping

Open Boostrapping

Har open source blit en farbar vei for å boostrappe selskaper? Og hva har det i såfall å si for måten vi, som forbrukere av open source prosjekter i vårt daglige virke, vurderer et prosjekt for bruk? ...

9 Maalis 36min

Det typesjekkeren din ikke kan sjekke

Det typesjekkeren din ikke kan sjekke

Typesjekking har begrensninger. Det føles kanskje ikke sånn når du får et deilig hit med dopamin over å se 0 røde streker i editoren din, men det er ting et program må forholde seg til som ikke kan/bø...

23 Helmi 33min

Prinsipper for kodegrensesnitt

Prinsipper for kodegrensesnitt

Hvordan går du frem for å treffe riktig abstraksjonsnivå på grensesnittet du eksponerer i en modul eller i et biblotek? Dette har opptatt utviklere omtrent siden tidenes morgen (som var en gang på 196...

11 Helmi 37min

Var alt bedre før, eller er det bare nostalgi?

Var alt bedre før, eller er det bare nostalgi?

Var alt bedre før, eller er det bare den rosemalte effekten nostalgi fører med seg? Hva var det som var så spesielt med omstendighetene før i tida som gav den gode følelsen? Kan vi gjenskape det i dag...

26 Tammi 36min

Innhold for å finne flere spørsmål

Innhold for å finne flere spørsmål

Å tilegne seg ny informasjon er nøkkelen til å avdekke sine unknown unknowns, men hvordan tilegner vi oss best ny informasjon i post-SoMe og LLMenes tidsalder? De "gamle" triksene har mistet effekten ...

12 Tammi 36min

En episode om ingenting

En episode om ingenting

Året rundes av med en aldri så liten off-topic episode. En episode om ingenting, som Kobojsarna ville sagt[1]. Vi snakker om året som har vært. Jula som kommer. Hvordan det har gått med Kortslutning i...

22 Joulu 202539min

Hva er karriere for en utvikler?

Hva er karriere for en utvikler?

I denne episoden tar vi for oss et spørsmål som ble sendt inn i forbindelse med LivePod på TDC som ikke rakk å ta der:Er det mulig å bygge karriere som utvikler, uten å bruke fritiden sin på kompetans...

8 Joulu 202535min

"KI spiser jobben til nye utviklere"

"KI spiser jobben til nye utviklere"

I denne episoden ser vi nærmere på påstanden om at KI er den primære årsaken[1] til at markedet for en fersk utvikler er så trangt[2]. Mikael er all fired up etter å ha sett et innslag på Dagsnytt18 [...

24 Marras 202541min