practices.md

layout	title
about	Vežbe

Materijali

• GitHub organizacija sa materijalima i studentskim projektima
• Beleške sa vežbi

Oblasti pokrivene vežbama

• Dijagnoziranje problema
  • Alati za analizu performansi Linux sistema
  • Analiza ponašanja programa metodom crne kutije
• Debagovanje koristeći alate za debagovanje i razvojna okruženja
  • Debagovanje na niskom nivou (gdb)
  • Debagovanje C/C++ kodova (QtCreator)
  • Debagovanje aplikacija nad JVM (Java) ili CLR (C#) (IntelliJ IDEA, Rider)
• Testiranje jedinica koda
  • Pisanje testabilnog koda
  • QtTest
  • JUnit (Java)
  • xUnit, NUnit (C#)
• Praćenje pokrivenosti koda testovima
  • lcov (C, C++)
  • JaCoCo (Java)
• Testiranje pomoću objekata imitatora
  • Ručno pisanje imitator klasa (C++)
  • Imitatori baza podataka (C#)
  • Biblioteke za testiranje koristeći objekte imitatore - Mockito (Java), Moq (C#)
• Fuzz testiranje
  • LLVM libFuzzer
• Profajliranje
  • Valgrind (memcheck, cachegrind, callgrind, hellgrind, drd)
  • perf
  • Intel® VTune™
  • eBPF
• Statička analiza
  • KLEE
  • CBMC
  • Clang
• Alati i jezici za formalnu verifikaciju softvera
  • Dafny