Slordig programmeren kost mensenlevens
Het apparaat was ontworpen om mensenlevens te redden, maar door een programmeerfout leverde de Therac 25 een overdosis straling waardoor drie mensen het leven verloren. De code van de verantwoordelijke programmeur was nooit goed gecontroleerd en getest.
Naast het leven van mensen zijn ook miljoenen geinvesteerde euro's afhankelijk van de programmeerkunsten van de ontwikkelaar. Toch mislukken er teveel projecten omdat er niet goed geprogrammeerd wordt. En de problemen worden alleen maar groter, omdat programmeurs ook met extra uitdagingen te maken krijgen, zoals het programmeren voor multicore apparaten.
Uit onderzoek blijkt dat er onder programmeurs grote behoefte is aan software debug tools, en kost het testen en debuggen de meeste tijd tijdens het ontwikkeltraject.
"Dit is de enige industrie waar je producten met bekende fouten kunt aanbieden zonder te worden aangeklaagd" zei consultant Jack Ganssle tijdens de Embedded Systems conferentie.
Uit ander onderzoek blijkt dat 80% van de software projecten faalt omdat ze het budget overschrijden, belangrijke features missen of een combinatie van factoren. Grote software systemen met meer dan een miljoen regels code hebben 20.000 fouten bij de oplevering, waarvan er een jaar later nog 1800 aanwezig zijn.
http://www.joelonsoftware.com/
Staan aardig wat valkuilen met naam en toenaam aangegeven en
wat er aan te doen.
Het probleem met programmeren is de X-factor. Het onbekende
wat de computer gaat doen op jou stukje code. Gaat het goed?
Gaat het onder bekende omstandigheden goed? Gaat het onder
onbekende omstandigheden goed (stress-testing)?
De computer behelst zoveel onberekenbare factoren
(architectuur, andere software (dependencies of juist niet))
enz. Daarnaast hebben de gebruikers zelf ook onberekenbare
factoren. Daar valt niet tegen op te debuggen. Dat is de
kracht van open-source. Je stelt je project open voor de
gebruiker, die zelf gaat testen en feedback geeft.
- Unomi -
[url=http://c2.com/cgi/wiki?CodeUnitTestFirst]Code the Unit Test First[/url]?
En als het echt belangrijk is (mensenlevens of miljoenen euros): Een [url=http://
www.cs.rug.nl/~bakker/ProgCor/bundel.pdf]formeel bewijs van de correctheid
van het programma[/url]? ([url=http://www.google.com/search?q=%22program+correctness%22]Program Correctness[/url])
tussen 1985 and januari 1987. Dat is bijna 20 jaar geleden!
Wat ICT betreft is dit prehistorie.
Verder nieuws: steensplinters bij het maken van vuistbijlen
leiden tot oogletsel...
Verder nieuws: steensplinters bij het maken van vuistbijlen leiden tot oogletsel...
Terug in het heden: We hebben weinig geleerd sinds 1987.
serieus genomen wordt. Haast is er genoeg, het programmeren
komt achteraan en is dus altijd de bottleneck.
nooit goed gecontroleerd en getest.
gehouden. In elk bedrijf waar ik als programmeur heb
gewerkt, was een enorme tijdsdruk en werden de producten
vaak afgeraffeld. De software bedrijven zijn aansprakelijk,
niet een individuele programmeur.
Gelukkig ben ik uit die business.
onmogelijk moet zijn een gevaarlijke dosis straling af te geven met een
apparaat. Dat mag nooit afhankelijk zijn van programmacode.
omdat ze het budget overschrijden, belangrijke features missen of een
combinatie van factoren.
zoals tussentijds veranderen van specificaties terwijl het programmeren
al begonnen is. Dit is doorgaans nr. 1 (al 30-40 jaar lang) in de lijstjes
met root causes mbt mislukte projecten.
Deze posting is gelocked. Reageren is niet meer mogelijk.
Junior DevOps Engineer
Certified Secure is op zoek naar een Junior DevOps Engineer. Deze functie is een stuk interessanter dan de term doet vermoeden! Om jou als potentiële nieuwe collega meteen te laten zien wat we doen hebben we speciaal voor jou een selectie gemaakt van een aantal leuke security challenges. Are you ready for a challenge?
Cybersecurity Trainer / Streamer
Toe aan een nieuwe nieuwe job waarmee je het verschil maakt? In de Certified Secure trainingen laat je deelnemers zien hoe actuele kwetsbaarheden structureel verholpen worden. Ook werk je actief mee aan de ontwikkeling van onze gamified security challenges. Bij het maken van challenges kom je telkens nieuwe technieken tegen, van Flutter tot GraphQL, van Elastic Search tot Kubernetes.
