Tantárgy:
Szemeszter:
2018/2019 1. félév (ősz)
Oktatók elérhetősége: {adamis, csondes, kovacsg}@tmit.bme.hu
Dátum | Előadó | Téma | Segédanyagok | Konzultáció |
2018.09.03. | Bevezetés | Bevezetés | ||
2018.09.05. 2018.09.10. |
Kovács Gábor | Távközlő és elosztott rendszerek modellezési problémái | Protokollmodellek | |
2018.09.12. | Kovács Gábor | Modellek, állapotgépek, magas szintű modellező nyelvek | SDL, Minta szolgáltatás | |
2018.09.17. | Kovács Gábor | Protokollmodellezés SDL-ben | Protokollmodell SDL-ben | |
2018.09.19. |
Adamis Gusztáv | Adatmodellezés, ASN.1 | ASN.1 szintaxis | Konzultációs időpont |
2018.09.24. | Adamis Gusztáv | Adatkódolás, ASN.1 BER | ASN.1 BER | |
2018.09.26. | Adamis Gusztáv | Adatkódolás, ASN.1 PER | ASN.1 PER | |
2018.10.01. | Csöndes Tibor | CTMF | CTMF_2018.pdf | Konzultációs időpont |
2018.10.03.
2018.10.08
|
Csöndes Tibor | Tesztsorozat generálás |
Tesztsorozat_generalas_2018.pdf Ábrák:
|
|
2018.10.10. | Csöndes Tibor | Tesztsorozat generálás | Konzultációs időpont | |
2018.10.15. | Kovács Gábor | Hibadiagnosztika | Hibadiagnosztika | |
2018.10.17. | Kovács Gábor | Inkrementális tesztgenerálás | Inkrementalis_tesztsorozat_generalas | |
2018.10.24. | Kovács Gábor | Állapotgép-azonosítás | ||
2018.10.29. | Kovács Gábor | Állapotgépmodellek általánosítása | Állapogépmodellek általánosítása | Konzultációs időpont |
2018.10.31. 2018.11.05. 2018.11.07. |
Kovács Gábor | Állapotátmenteti rendszerek | LTS | |
2018.11.12. | Kovács Gábor | Állapotátmenteti rendszerek | Konzultációs időpont | |
2018.11.19. | Adamis Gusztáv | Remote Operations Service | ROS | |
2018.11.21. 2018.11.26. 2018.11.28. |
Csöndes Tibor | White-box testing | White_Box_Testing_2018.pdf | |
2018.12.02. |
Csöndes Tibor Kovács Gábor |
Konzultáció | Megoldasok_20050520_TesztGen_0.pdf |
Csatolmány: