|
Att lära sig syntaxreglerna för ett programspråk är en sak. Att fullt ut förstå vad man gör, och vad som händer när källkoden "kvarnas" genom kompilator och länkare, det är något helt annat. Les Hatton förmedlar insikter som gör att man förstår varför så mycket kod är latent felbenägen och inte ens testbar. Man får lära sig vad som kan göras åt denna källa till programvarufel och onödigt höga kostnader.
Kursinnehållet är rikligt illustrerat med exempel från verkliga system, och bjuder på många överraskningar och viktiga ledtrådar till hur tillförlitligare programvara kan skapas. Specifikt handlar kursen om språket C, men även Ada, C++ och Java berörs. Betydelsen för utvecklaren av den nya C-standarden C9x gås igenom.
Mål
Att skapa förståelse för hur olika kategorier av programvarufel uppstår. Att forma en sund och stabil grund för utveckling av system med höga krav på tillgänglighet, feltolerans och stabilitet. Målet är att förstå hur flertalet av vanligen förekommande fel kan förebyggas.
Avsedd för
Programmerare, systemdesigners, projektledare och teknikchefer inom alla områden där kraven på stabilitet, feltolerans, tillgänglighet och säkerhet är höga. |
Förkunskaper
Erfarenhet av något kompilerande programmeringsspråk lämpligen, men ej nödvändigtvis, C.
Kursdokumentation
I kursen ingår egenproducerat kursmaterial samt boken "Safer C" av Les Hatton. Deltagarna får också en fri licens för 'Safer C ToolSet - Primer Edition'.
Övrigt
Kursen ges på engelska med kursledarens eget studiematerial. Kursledaren Les Hatton är prisbelönt som forskare inom datavetenskap och har över 20 års erfarenhet från programvaruindustrin. Han har utvecklat verktyg för verifiering av programvarukvalitet, som fått stor spridning. Hatton har författat ett flertal böcker och vetenskapliga artiklar och är en flitigt anlitad och mycket uppskattad talare på programvarukonferenser runt om i världen.
Påbyggnadskurs
DO-178B & System Certifikation
|