Login
 Forum
 
 
Thesis topic proposal
 
Rudolf Ferenc
Szoftver auditálás, statikus tesztelés

THESIS TOPIC PROPOSAL

Institute: University of Szeged
computer sciences
PhD School in Computer Science

Thesis supervisor: Rudolf Ferenc
Location of studies: SZTE
Abbreviation of location of studies: SZTE


Description of the research topic:

A forráskód kézi ellenőrzése (code review, audit) és a szoftvertesztelés jelenleg a két elsődlegesen alkalmazott módszer a szoftver verifikációban. Ezekre a tevékenységekre rendkívül magas összegeket áldoznak a szoftverfejlesztő cégek (a teljes költség több mint felét), ugyanakkor e manuális tevékenységek részben kiválthatók automatikus eszközökkel, ami jelentős költségmegtakarítást hozhat. A Szoftverfejlesztés Tanszéknek jelentős kutatási eredményei vannak ezeken a területeken, valamint rendelkezik forráskód analizálási technológiákkal a C/C++/C#/Java/SQL nyelvekre.
A téma keretén belül kidolgozandók olyan hatékony módszerek és algoritmusok, amelyek a forráskód analizátorok eredményeinek (absztrakt szemantikus gráf, vezérlési gráf, metrikák, stb.) felhasználásával alkalmasak nagyméretű valós rendszerek forráskódjának auditálására és hibáinak felderítésére a rendszer futtatása nélkül (statikus tesztelés).

Number of students who can be accepted: 1

Deadline for application: 2017-03-31

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 1.2318 ( 2016. XI. 26. )