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 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æn...
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 ...
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...
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 komplek...
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å...
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,...
Kommentar til TDC får alvorlig kritik for at totalovervåge danskerne

Må andre end TDC overvåge danskerne?

Støvsugeren filmer vores hus, og data sættes til salg. Smartphonen indeholder GPS, og et lille program tracker os - måske uden vi ved det. Og vi får masser af mail, med trusler om, at de har filmet os nøgen og optaget os, ved hjælp af PC'ens kamera og mikrofon. Nutidens elektronik...
Kommentar til Udvikler demonstrerer elegant og automatiseret NemID-angreb

Engangskode

Hvordan løses problemet med engangskoden?
Kommentar til Investor sagsøger amerikansk teleselskab efter SIM-svindel

Er fejlen AT&T's

»Hvad AT&T gjorde, var ligesom et hotel, der giver en tyv med et falsk ID en værelsesnøgle og en nøgle til værelsets pengeskab, så tyven kan stjæle smykkerne i pengeskabet fra den retmæssige ejer,« Umiddelbart kan jeg ikke se ovenstående er korrekt. Det er korrekt, at AT&T har givet en tyv...