Prosjekttittel: | Automatisk detektering av feilpropageringsmekanismer ved analyse av kildekode |
Organisasjon/Bedrift: | Institutt for energiteknikk avdeling RID. |
Kontaktperson(er): | Sizarta Sarshar |
Prosjektbeskrivelse: |
Utvikle et prototype verktøy som skal analysere kildekode av C-programmer.
Hensikten er å detektere gitte karakteristika av feilmodier som kan forårsake feilpropagering.
Krav spesifikasjon og beskrivelse av feil modiene vil bli gitt av arbeidsgiver. Design godkjennes før verktøyet implementeres.
|
Hva gjør denne oppgaven nyttig/interessant? |
- Forskningstema - Analyse av kildekode - Kan bygges videre mot et masterprosjekt
|
Evt. krav til studentenes forkunnskaper: | Beherske programmering og programvare utvikling
|
Evt. krav til spesielt utstyr (hardware/software): | PC med installert utviklingsmiljø |
Annet: |
|