| Form of studies |
Bachelor |
| Title of the study programm |
Information Technology |
| Title in original language |
Tipizēšanas nozīme programmēšanas valodās drošas programmatūras izstrādē |
| Title in English |
Type Systems Relevance in Programming Languages for Secure Software Development |
| Department |
12100 Institute of Information Technology |
| Scientific advisor |
Jānis Grabis |
| Reviewer |
Mg. sc. ing. Elvis Strazdiņš |
| Abstract |
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. |
| Keywords |
tipizēšana, tipu piešķire, tipu konversija, droša programmatūra |
| Keywords in English |
type systems, typing, type conversion, secure software |
| Language |
lv |
| Year |
2021 |
| Date and time of uploading |
08.06.2021 12:11:56 |
