Podcasts Technology Kortslutning Testing og verifikasjon

Testing og verifikasjon

Published: June 10, 2019, 4 a.m.

b'Hvilke verkt\\xf8y har vi for \\xe5 sjekke at koden vi skriver gj\\xf8r det vi tror den gj\\xf8r? Hva slags oppf\\xf8rsel kan vi garantere, hva kan vi ikke garantere og hvorfor er det s\\xe5nn? Hvorfor er god testing vanskelig? Kan testing p\\xe5virke 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.'