Jens Madsen

Rss
Personligt feed med nye kommentarer i tråde, du overvåger:
https://www.version2.dk/mit/0/kommentarer?token=HPnHcLYhJ8jCXC_UoTnfzqY2R9xpwMBmKONAZAek0jk

Kommentarer

Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Software - Rumfærger - ulykke tæt på -fly by wire

https://en.wikipedia.org/wiki/Pilot-induced_oscillation Det er ikke direkte en programfejl, men tættere på en specifikationsfejl, der ikke tager højde for den menneskelige faktor.
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Code review

Jeg ved ikke hvad du mener her. Vi bruger code review, og det virker glimrende. Inden indtjek gennemgås koden sammen med en kollega. Vi ser på hvad kravbeskrivelsen er, hvilke tests der er udformet og gennemført, hvilke dele af koden der er ændringer i og hvorfor, linje for linje, og hvilken do...
Kommentar til Efter GDPR-overtrædelse: Datatilsynet udsteder forbud til TDC

Re: Telefonsamtale optages altid

Telefonsamtale optages altid For ikke længe siden ringede jeg til ferieinfo - og jeg mener, at jeg blev oplyst om, at telefonsamtalen blev optaget. Jeg havde ingen mulighed for at fravælge det, men fik at vide, at jeg var velkommen til at oplyse det til sagsbehandleren, hvis jeg ikke ønskede ...
Kommentar til Efter GDPR-overtrædelse: Datatilsynet udsteder forbud til TDC

Telefonsamtale optages altid

For ikke længe siden ringede jeg til ferieinfo - og jeg mener, at jeg blev oplyst om, at telefonsamtalen blev optaget. Jeg havde ingen mulighed for at fravælge det, men fik at vide, at jeg var velkommen til at oplyse det til sagsbehandleren, hvis jeg ikke ønskede samtalen optaget.
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Code review

Re: Code review Der må ikke være mulighed for overførsel af information, herunder kode til reviewer. Altså, man kan ikke lave kodereview at have koden. Er du sikker på, at du ikke taler om test. Det skriver jeg også - code review er umuligt. Det, som du kan, er at du har flere uafhængig...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Code review

Sikke da noget frygteligt vrøvl - Det er jo netop hele ideen med open source software at alle kan reviewe koden og foreslå ændringer. Hvis man læser artiklen handler den om semantisk analyse af kode, hvilket principielt er det samme som sker i en kodefortolker (compiler), som sikrer en relativt...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Code review

Sikke da noget frygteligt vrøvl - Det er jo netop hele ideen med open source software at alle kan reviewe koden og foreslå ændringer. Og det er en del af den normale dataundervisning, at denne model ikke fungerer. Der må ikke være mulighed for overførsel af information, herunder kode til rev...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Code review

Der er tidligere nævnt muligheden for codereview. Code review virker ikke. Bevis fra dataundervisningen: En reviewer blev sat til at reviewe en kode, som der er en bagdør i. Han finder bagdøren, og tænker - det er sku en god idé, og skriver adgangskoden ned... Da han senere bliver spurgt hvorfor...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Alt kode virker vel ?

Der kan være fejl i kompejler eller fortolker Der kan sættes forkerte flag i kompejler eller fortolker Der kan komme nye version af kompejler eller fortolker med fejl Der kan være fejl i CPU og hardware, så selv rigtigt kode fejler Der kan være fejl i dokumentation, så selv rigtigt kode...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Bedre metoder

I dag køber man oftest færdige chips der er gennemtestet og knytter så de enkelte komponenter sammen til en færdig løsning. Samme fremgangsmåde bør man benytte til software. Undgå så vidt muligt boilerplate kodning. En kilde til fejl uanset hvad! Det er faktisk en rigtig god metode, fordi at...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Bedre metoder

Bedre metoder Typisk, konventionel programmering i dag er stadig meget lig med hvordan man i "gamle dage" selv lodded kredsløb sammen manuelt med dertil hørende fejl. I dag køber man oftest færdige chips der er gennemtestet og knytter så de enkelte komponenter sammen til en færdig...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Fejlfri eller færre fejl?

Når du fører matematisk bevis for kode, så sker det at det viser sig umuligt at bevise. Og ved nærmere undersøgelse, så finder man måske ud af at det skyldes at det du forsøger at bevise, simpelthen er forkert. Måske fordi at specifikationen er forkert. Den type fejl finder du ikke nødvendigvi...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: jens madsen

Klart, men programmets adfærd kan være nondeterministisk hvis det afhænger af ekstern adfærd. Et distribueret system er et klassisk eksempel på dette, da forsinkelser i netværkstrafikken lynhurtigt medfører nondeterministiske kommunikationsmønstre, og behov for synkronisering (som dertil ikke m...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: jens madsen

Den type programmer, som Lars Birkedal ifølge artiklen vil undersøge, er derudover nondeterministiske i deres natur. Her er empirisk afprøvning kun en ringe hjælp: Det kan kun påvise eksistensen af fejl, ikke deres fravær, og det er sandsynligt at disse programmer vil køre størrelsesordener læn...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Fejlfri eller færre fejl?

Det er selvfølgelig altid velkommen hvis man automatisk kan finde fejl. Men fejlfri er meget optimistisk. Der kan jo være fejl både i verifikationen og implementationen. Der kan jo være hele klasser af fejl man slet ikke er opmærksom på. F.eks. hvis en hash er hurtige for nogle type input så ...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: jens madsen

For mig lyder din metode ubekendt. Er der nogen som har brugt den på et større projekt? Eller er den noget du selv har fundet på? Det er en meget almindelig metode indenfor hardware. Normalt, lægges det i hardware, da man herved også sikrer, at hardware fejl ikke får betydning.
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: på tide?

Hvad hvis der er en sikkerheds fejl i den kode der vælger mellem de konkurende implementeringer? Eller skal den kode også koden kunne kobles ud? Det er et meget relevant spørgsmål - men det er uafhængigt af applikationen. Og det er dermed også uafhængig af applikatonens formål og kompleksit...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: på tide?

Den metode som jeg beskrev er meget sikker - men den kræver flere uafhængige programmører, og medfører derfor at softwareomkostningerne øges væsentligt. Til gengæld, så vil mange fejl blive opdaget, når programmerne udsættes for hinandens tests og sammenlignes med hinanden, og med prototypen. Det...
Kommentar til Microsoft gør fremskridt mod DNA-lager med exabyte-kapacitet

Er det sikkert?

Hvor sikkert er det at anvende DNA til at gemme information? Der gøres meget ud af sikkerheden for DNA når det er biologisk kode. Ikke biologisk kode, kan måske være et større problem - hvis DNA slipper ud, kan det måske ende i virus'er og bakterier, og blive en trussel mod livet på jorden. Ant...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Test

Det er muligt at gøre kode meget sikker ved hjælp af tests. Fremgangsmetoden er typisk, at der først laves specifikation, en prototype af softwaren, tests, mv. Herefter laves et antal "kloner" af softwaren, af uafhængige hold af programmører. Disse får ingen kendskab til hinandens kode,...