Show simple item record

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

dc.contributor.advisorBudimac, Zoran
dc.contributor.otherKurbalija, Vladimir
dc.contributor.otherBudimac, Zoran
dc.contributor.otherIvanović, Mirjana
dc.contributor.otherHeričko, Marjan
dc.creatorRakić, Gordana
dc.date.accessioned2015-12-29T11:16:30Z
dc.date.available2015-12-29T11:16:30Z
dc.date.available2020-07-03T13:42:36Z
dc.date.issued2015-09-16
dc.identifier.urihttp://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija14436923075638.pdf?controlNumber=(BISIS)95005&fileName=14436923075638.pdf&id=4382&source=NaRDuS&language=srsr
dc.identifier.urihttp://nardus.mpn.gov.rs/handle/123456789/1679
dc.identifier.urihttp://www.cris.uns.ac.rs/record.jsf?recordId=95005&source=NaRDuS&language=srsr
dc.identifier.urihttp://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije143332963104455.pdf?controlNumber=(BISIS)95005&fileName=143332963104455.pdf&id=3788&source=NaRDuS&language=srsr
dc.description.abstractIn 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 gives 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.en
dc.description.abstractU 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. sr
dc.languageen
dc.publisherУниверзитет у Новом Саду, Природно-математички факултетsr
dc.relationinfo:eu-repo/grantAgreement/MESTD/Basic Research (BR or ON)/174023/RS//
dc.rightsopenAccessen
dc.sourceУниверзитет у Новом Садуsr
dc.subjectsoftware qualityen
dc.subjectkvalitet softverasr
dc.subjectstatic analysisen
dc.subjectintermediate representationen
dc.subjectstatička analizasr
dc.subjectmeđureprezentacijasr
dc.titleExtendable and Adaptable Framework for Input Language Independent Static Analysisen
dc.titleProširiv i prilagodljiv okvir za statičku analizu nezavisnu od ulaznog jezikasr
dc.typedoctoralThesissr
dc.rights.licenseBY-NC
dcterms.abstractБудимац Зоран; Курбалија Владимир; Будимац Зоран; Херичко Марјан; Ивановић Мирјана; Ракић Гордана; Проширив и прилагодљив оквир за статичку анализу независну од улазног језика; Проширив и прилагодљив оквир за статичку анализу независну од улазног језика;
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/37984/IzvestajKomisije.pdf
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/37983/Disertacija.pdf


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record