National Repository of Dissertations in Serbia
    • English
    • Српски
    • Српски (Serbia)
  • English 
    • English
    • Serbian (Cyrilic)
    • Serbian (Latin)
  • Login
View Item 
  •   NaRDuS home
  • Универзитет у Новом Саду
  • Природно-математички факултет
  • View Item
  •   NaRDuS home
  • Универзитет у Новом Саду
  • Природно-математички факултет
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Extendable and Adaptable Framework for Input Language Independent Static Analysis

Proširiv i prilagodljiv okvir za statičku analizu nezavisnu od ulaznog jezika

Thumbnail
2015
Disertacija.pdf (2.718Mb)
IzvestajKomisije.pdf (258.1Kb)
Author
Rakić, Gordana
Mentor
Budimac, Zoran
Committee members
Kurbalija, Vladimir
Budimac, Zoran
Ivanović, Mirjana
Heričko, Marjan
Metadata
Show full item record
Abstract
In modern approach to software development, a great importance is given to monitoring  of software quality in early development phases. Therefore, static analysis becomes more important. Furthermore, software projects are becoming more complex and heterogeneous. These characteristics are reflected in a diversity of functionalities and  variety of computer languages and the technologies used for their development. Because of that consistency in static analysis becomes more important than it was earlier. In this dissertation SSQSA: Set of Software Quality Static Analyzers is described. The aim  of the SSQSA framework  is consistent static analysis. This goal is reached by introducing new intermediate source code representation called eCST: enriched Concrete Syntax Tree. The dissertation mostly focuses on eCST, intermediate representations derived from it, and their generation with description of the  tools involved in it. The main characteristic of eCST is language independence which giv...es to SSQSA framework two-level extensibility: supporting a new language and supporting a new  analysis. This leads to eciency of adding both level supports and consistency of added functionalities. To prove the concept, support for more than 10 characteristic languages was introduced. Furthermore, characteristic static analysis techniques (software metrics calculation,  code-clone detection, etc.) were implemented and integrated in the framework.  Established SSQSA framework provides the infrastructure for the further development of the complete platform for software quality control.

U modernim pristupima razvoju softvera veliki značaj pridaje se kontroli kvaliteta softvera u ranim fazama razvoja. Zbog toga, statička analiza postaje sve značajnija. Takođe, softverski proizvodi postaju sve kompleksniji i heterogeni. Ove karakteristike se ogledaju u raznovrsnosti jezika i tehnologija koje se koriste u procesu razvoja softvera. Zbog toga, konzistentnost u statičkoj analizi dobija veći značaj nego što je to bio slučaj ranije. U ovoj disertaciji opisan je SSQSA skup statičkih analizatora za kontrolu kvaliteta (eng. Set of Software Quality Static Analyzers). Namena SSQSA okvira je konzistentna statička analiza. Cilj se postiže uvođenjem nove međureprezentacije  izvornog koda nazvane eCST (obogaćeno konkretno sintaksno stablo, eng. enriched  Concrete Syntax Tree). Fokus disertacije je primarno na eCST reprezenataciji koda,  reprezentacijama izvedenjim iz eCST i procesu njihovog generisanja, sa opisom oruđa angažovanim u ovim procesima. Osnovna i najbitnija karakteristika ...eCST reprezenatacije je nezavisnost od jezika u kom je izvorni kod pisan, što SSQSA okviru daje proširivost na dva nivoa: kroz podršku za nove jezike i kroz podršku za nove analize. Ovo dovodi do efikasnog uvođenja funkcionalnosti na oba navedena nivoa, kao i do konzistentnosti uvedenih funkcionalnosti.  Kao dokaz ispravnosti koncepta, podrška za više od 10 ulaznih jezika je uvedena. Takođe, implementirane su karakteristične tehnike statičke analize (izračunavanje softverskih metrika, otkrivanje duplikata u kodu, itd.) i integrisane u SSQSA okvir.  Na opisani način, postavljanjem SSQSA okvira, obezbeđena je infrastruktura za dalji razvoj kompletne platforme za kontrolu kvaliteta softvera. 

Faculty:
University of Novi Sad, Faculty of Science
Date:
16-09-2015
Projects:
  • Intelligent techniques and their integration into wide-spectrum decision support (RS-174023)
Keywords:
software quality / kvalitet softvera / static analysis / intermediate representation / statička analiza / međureprezentacija
[ Google Scholar ]
URI
http://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija14436923075638.pdf?controlNumber=(BISIS)95005&fileName=14436923075638.pdf&id=4382&source=NaRDuS&language=sr
http://nardus.mpn.gov.rs/handle/123456789/1679
http://www.cris.uns.ac.rs/record.jsf?recordId=95005&source=NaRDuS&language=sr
http://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije143332963104455.pdf?controlNumber=(BISIS)95005&fileName=143332963104455.pdf&id=3788&source=NaRDuS&language=sr

DSpace software copyright © 2002-2015  DuraSpace
About NaRDus | Contact us

OpenAIRERCUBRODOSTEMPUS
 

 

Browse

All of DSpaceUniversities & FacultiesAuthorsMentorCommittee membersSubjectsThis CollectionAuthorsMentorCommittee membersSubjects

DSpace software copyright © 2002-2015  DuraSpace
About NaRDus | Contact us

OpenAIRERCUBRODOSTEMPUS