| Studiju veids |
bakalaura akadēmiskās studijas |
| Studiju programmas nosaukums |
Informācijas tehnoloģija |
| Nosaukums |
Tipizēšanas nozīme programmēšanas valodās drošas programmatūras izstrādē |
| Nosaukums angļu valodā |
Type Systems Relevance in Programming Languages for Secure Software Development |
| Struktūrvienība |
33000 Datorzinātnes, informācijas tehnoloģijas un enerģētikas fakultāte |
| Darba vadītājs |
Jānis Grabis |
| Recenzents |
Mg. sc. ing. Elvis Strazdiņš |
| Anotācija |
Programmētāju vidū nav pietiekamu zināšanu par tipu sistēmām, to nozīmi un ietekmi uz programmatūras kvalitāti. Šī darba mērķis ir novērtēt tipizēšanas veidu ietekmi drošas programmatūras izstrādē. Darbā tiek izklāstīti dažādi tipizēšanas veidi un, izmantojot praktiskus piemērus, tiek salīdzinātā to ietekme uz kļūdu un ievainojamību daudzumu programmatūrā. Tajā tika salīdzinātas dinamiskas un statiskas tipu pārbaudes, tieša un netieša tipu piešķire un novērtēta tipu konversijas ietekme uz drošību. Darbā tika iegūti rezultāti, kuri norādīja, ka dažādiem tipizēšanas veidiem ir atšķirīga ietekme uz programmatūras drošību. Iegūtie rezultāti liecina, ka statiskas tipu pārbaudes palīdz samazināt kļūdu skaitu, tieša tipu piešķire samazina ievainojamību skaitu, vāji tipizētas valodas nepasargā programmas izpildi no nenoteiktas darbības un netieša tipu konversija ir potenciāli nedroša. |
| Atslēgas vārdi |
tipizēšana, tipu piešķire, tipu konversija, droša programmatūra |
| Atslēgas vārdi angļu valodā |
type systems, typing, type conversion, secure software |
| Valoda |
lv |
| Gads |
2021 |
| Darba augšupielādes datums un laiks |
08.06.2021 12:11:56 |
