| Prosjekttittel: | Statisk kildekode analyse |
| 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 utarbeides i felleskap med arbeidsgiver og beskrivelse av feil modiene vil bli gitt av arbeidsgiver.
|
| Hva gjør denne oppgaven nyttig/interessant? |
- Kontroll- og datafly analyse
- Forskningstema - Analyse av kildekode - Kan bygges videre mot et masterprosjekt
|
| Evt. krav til studentenes forkunnskaper: | - Beherske programmering og programvare utvikling
- Det kan bli gitt lynkurs i analyse metodikk og introduksjon til kode analyse teknikker av arbeidsgiver. |
| Evt. krav til spesielt utstyr (hardware/software): | PC med installert utviklingsmiljø |
| Annet: |
|