| layout | about |
|---|---|
| title | Literatura |
- Predavanja - video materijali.
- Skripta
- Slajdovi sa predavanja (dostupni u okviru dela za predavanja)
Naredni materijali su dosutupni besplatno na internetu (potražite):
- Materijali koji se mogu naći u okviru dela za predavanja (slajdovi i tekstovi sa predavanja, skripta i video materijali)
- J. Laski, W. Stanley: Software Verification and Analysis. Springer - Verlag, London, 2009.
- J. B. Almeida, M. J. Frade, J. S. Pinto, S. M. de Sousa: Rigorous Software Development (An introduction to Program Verification). Springer - Verlag, London 2011.
- Biere A, Cimatti A, Clarke EM, Strichman O, Zhu Y. Bounded model checking. Advances in computers. 2003 Dec;58(11):117-48.
- Cristian Cadar, Daniel Dunbar, Dawson Engler. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs, In OSDI, 2008.
- Christel Baier, Joost-Pieter Katoen. Principles of Model Checking.
- Kolekcija naprednih materijala
-
Dinamička verifikacija softvera. Tehnike testiranja.
- Objedinjeni seminarski radovi vezani za testiranje.
- Stručno predavanje, Bogdan Knežević, CREATEQ: Web UI test automatizacija uz pomoć Seleniuma
- Seminarski rad, Rastko Đorđević: Metamorfno testiranje.
- Seminarski rad, Lazar Vasović: Metamorfno testiranje: primena kod kompajlera.
- Seminarski rad, Lazar Mrkela, Ivan Milić: Pregled osnovnih tehnika testiranja
- Master rad, Nikola Dimić: Automatsko testiranje mikroservisnih aplikacija.
- Master rad, Milica Galjak: Automatsko testiranje mobilnih aplikacija.
- Master rad, Ana Petrović: Testiranje softvera u funkcionalnim programskim jezicima Elm i Elixir.
- Master rad, Ana Đorđević: Automatsko generisanje test primera uz pomoć statičke analize i rešavača Z3
- Master rad, Ana Mitrović: Primena jezila Scala u paralelizaciji rasplinutog testiranja
- Master rad, Nikola Perić: Alat za generisanje i prikaz razlika u pokrivenosti koda testovima.
- Master rad, Irena Blagojević: Automatsko uklanjanje redundantnih testova
- Seminarski rad, Petar Mićić: Automatsko generisanje test primera korišćenjem genetskog algoritma
- Seminarski rad, Lazar Mladenović: JUnit
- Seminarski rad, Dalma Beara: Selenium – alat za testiranje veb aplikacija
- Seminarski rad, Stefan Pantić: CppUnit - Biblioteka za testiranje C++ koda
- Seminarski rad, David Gavrilović: Komponentno i integraciono testiranje u programskom jeziku C++
- Seminarski rad, Dijana Zulfikarić: Biblioteka PyTest
- Seminarski rad, Nikola Dimić: WebdriverIO - savremen alat za testiranje
- Seminarski rad, Luka Milošević: Fuzz testiranje
- Seminarski rad, Filip Jovašević: Testiranje metodama klase ekvivalencije i graničnih vrednosti
- Seminarski rad, Stefan Stanišić: Razvojni okvir Jasmine
- Seminarski rad, Nikola Kovačević: Jedinično testiranje pomoću xUnit alata (u C#.NET aplikacijama)
-
Dinamička verifikacija softvera. Debagovanje. Profajliranje. Analiza binarnog koda.
- Master rad, Đorđe Todorović: Podrška za naprednu analizu promenljivih lokalnih za niti pomoću alata Gnu Gdb
- Master rad, Nikola Prica: Podrška za profajliranje softvera uređaja sa ugrađenim računarom
- Master rad, Vladimir Vuksanović: Unapređenje infrastrukture LLVM čuvanjem originalne lokacije pri debagovanju izdvojenog koda
- Master rad, Aleksandra Karadžić: Alat Valgrind - implementacija konvencije FPXX za arhitekturu MIPS
- Master rad, Lazar Mladenović: Automatsko ispravljanje grešaka detektovanih pomoću alata Memcheck
- Master rad, Marina Nikolić, Prikupljanje i prikaz podataka o izvršavanju programa.
- Seminarski rad, Nevena Nikolić: Profajleri - Knutov algoritam
- Seminarski rad, Luka Kalinić: Kako rade debageri?
- Seminarski rad, Nikola Dimitrijević: Sistemski poziv ptrace
- Seminarski rad, Srdan Lazarević: Alat komandne linije strace
- Seminarski rad, Vladimir Bošković: Profajleri - Uzimanje uzoraka
- Seminarski rad, Nikola Nestorović: Sanitajzeri
- Seminarski rad, Vladimir Batoćanin, Stefan Stefanović, Jovan Ležaja, Đorđe Jovanović: Debagovanje Haskela - GHCi i alternative
- Seminarski rad, Dimitrije Sekulić, Sandra Radojević, Maja Gavrilović, Matija Pejić: Načini debagovanja u programskom jeziku Python
- Seminarski rad, Ivan Vranković, Andela Karakaš, Ivan Mihajlović, Kristina Petrović: Debagovanje Java Programa
- Seminarski rad, Kristina Pantelić, Ivana Cvetkoski, Bojana Ristanović, Nikola Stamenić: Tačka prekida: GNU debager
- Seminarski rad, Momir Adžemović, Miloš Miković, Marko Spasić, Mladen Dobrašinović: Debagovanje sa LLDB-om
- Seminarski rad, Jovana Bošković, Ana Jakovljević, Nikola Perić, Mateja Trtica: Profajliranje Haskell programa
- Seminarski rad, Andelka Milovanović, David Popov, Jelisaveta Smiljanić, Petar Zečević: Profajleri i njihova vizualizacija za jezik Python
- Seminarski rad, Jelena Živović, Tomislav Janković, Jelena Jeremić, Milica Marić: Profajleri za programe napisane u programskom jeziku Java
- Seminarski rad, Marko Spasić: Debagovanje i profajliranje GLSL šejder programa
-
Statička analiza softvera. Pregledi koda.
- Master rad, Ognjen Plavšić: Alat za statičku analizu i predlaganje izmena u C++ kodu
- Master rad, Mirko Brkušanin: Implementacija pravila iz standarda AUTOSAR C++14 u okviru programskog prevodioca Clang
- Master rad, Nikola Vidič, Primena mašinskog učenja u verifikaciji softvera.
- Master rad, Ivan Ristović: Jezički invarijantna provera semantičke ekvialentnosti strukturno sličnih segmenata imperativnog koda.
- Seminarski rad, Nikola Janković, Andela Milićević, Katarina Savičić, Dunja Spasić: Metode za pregled kôda i njihov značaj
- Seminarski rad, Jovana Pejkić: ESLint - alat za statičku analizu koda u JavaScript-u
-
Simboličko izvršavanje.
- A Survey of Symbolic Execution Techniques ACM Computing Surveys (CSUR), Volume 51 Issue 3, July 2018 Besplatno dostupna verzija rada
- A Systematic Review of Search Strategies in Dynamic Symbolic Execution, Arash Sabbaghi, Mohammad Reza Keyvanpour. Computer Standards & Interfaces. 2020 Oct 1;72:103444.
- Master rad, Strahinja Stanojević: Proširivanje alata KLEE naprednim algoritmom pretrage stabla izvršavanja programa.
- Master rad, Braniclava Živković: Паралелизациjа статичке верификациjе софтвера.
- Seminarski rad, Aleksandar Anžel: Simboličko izvršavanje - Konkoličko izvršavanje.
- Seminarski rad, Nikola Stojević: Simboličko izvršavanje - Modelovanje okoline.
- Seminarski rad, Filip Lazić: [Simboličko izvršavanje - Eksplozija putanja i regulisanje broja putanja (1)]({{site.materials}}/vs/predavanja/05_simbolicko_izvrsavanje/SimbolickoIzvrsavanje/19_FilipLazic_Eksplozija putanja i regulisanje broja putanji (Pruning Unrealizable Paths, Function and Loop Summarization).pdf).
- Seminarski rad, Saša Cvetković: Simboličko izvršavanje - Eksplozija putanja i regulisanje broja putanja (2).
- Seminarski rad, Lazar Ranković: Simboličko izvršavanje - Rešavanje uslova (1).
- Seminarski rad, Vido Mladenović: Simboličko izvršavanje - Rešavanje uslova (2).
- Seminarski rad, Nemanja Mićović: Simboličko izvršavanje - Strategije obilaska puteva.
- Seminarski rad, Irena Blagojević, Gorana Vučić: Simboličko izvršavanje - Selektivno simboličko izvršavanje.
- Simboličko izvršavanje - sve prethodne teme.
- Seminarski rad, Tatjana Radovanović: EXE: Pronalaženje test primera koji dovode do pada sistema.
- Seminarski rad, Ognjen Plavišić: Kako vršiti statičku analizu u okviru LLVM projekta.
-
Semantika programskih jezika.
- Seminarski rad, Aleksandra Kovačević: Prirodna semantika.
- Seminarski rad, Jana Milutinović: Strukturna semantika.
- Seminarski rad, Kristina Stanojević: Denotaciona semantika.
- Seminarski rad, Nikola Katić: Aksiomatska semantika.
- Seminarski rad, Mirko Brkušanin: Primena semantike programskih jezika (VELLVM).
- Seminarski rad, Jovan Dmitrović: Pojam invarijante.
-
Proveravanje modela.
- Seminarski rad, Nikola Grulović: CTL i primeri svojstava koji se mogu izraziti u CTL-u
- Seminarski rad, Tomislav Milovanović: Verifikacija hardvera. Primeri. Jezici Verilog i VHDL.
- Seminarski rad, Tatjana Damnjanović: Modelovanje sistema sa Kripke strukturama
- Seminarski rad, Nadežda Bogdanović: Apstrakcija predikata
- Seminarski rad, Ivona Jurošević: LTL i primeri svojstava koji se mogu izraziti u LTL-u
- Proveravanje modela - razne teme.
-
Apstraktna interpretacija.
- Seminarski rad, Milan Čugurović: Intuicija - preciznije.
- Seminarski rad, Dimitrije Špadijer: Teorija - preciznije.
-
Dodatni materijali za učenje (deo 1), (deo 2 - seminarski radovi), (deo 3).