EA03: Architektúra tervek ellenőrzése

Semester: 
2010. ősz

Az előadás tartalma:

  • Motiváció
    • Mit határoz meg az architektúra?
    • Milyen vizsgálati módszerek vannak?
  • Követhetőség
  • Szisztematikus vizsgálati módszerek
    • Interfész analízis
    • Hibahatás analízis
  • Modell alapú vizsgálatok
    • Megbízhatósági modellezés
    • Teljesítmény modellezés