Integrációs és ellenőrzési technikák

Integration and Verification Techniques

A tantárgyleírás hatályossága

Hatályosság kezdete:

2026. March 21.

Hatályosság vége:

—

Tantárgy neve (magyarul, angolul)

Integrációs és ellenőrzési technikák

Integration and Verification Techniques

Tantárgykód

BMEVIMIAC04

Tantárgyjelleg

—

Képzési szint

—

Kurzustípusok és óraszámok (heti/féléves)

Kurzustípus	elmélet	gyakorlat	laboratóriumi gyakorlat
óraszám (heti)	2	1	0
jelleg (kapcsolt/önálló)	—	kapcsolt	—

Tanulmányi teljesítmény/értékelés típusa

vizsga

Tantárgy kreditértéke

Tantárgyfelelős

DR. Strausz György

beosztás: egyetemi docens

elérhetőség: strausz.gyorgy@vik.bme.hu

Tantárgyat gondozó oktatási szervezeti egység

Mesterséges Intelligencia és Rendszertervezés Tanszék

Kar

Villamosmérnöki és Informatikai Kar

Tantárgy weboldala

http://www.mit.bme.hu/oktatas/targyak/VIMIAC04

Tantárgy elsődleges mintatantervi jellege

—

Közvetlen előkövetelmények – Erős előkövetelmény

nincs

Közvetlen előkövetelmények – Gyenge előkövetelmény

nincs

Közvetlen előkövetelmények – Párhuzamos előkövetelmény

nincs

Közvetlen előkövetelmények – Mérföldkő előkövetelmény

nincs

Közvetlen előkövetelmények – Kizáró feltétel

nincs

Célkitűzés

Tantárgyprogram

Előadások:

1. Információ integrációs megközelítések. Az információ integrálás módszerei: mediátor/integrátor megközelítés bemutatása. Virtuális és materializált információ integrációs megközelítések előnyei, hátrányai.

2. Jelenleg elérhető internetes kereső rendszerek technológiái, képességei, hiányosságai. Interneten elérhető információk integrálása. Szemantikus web koncepció lényege, technológiái.

3. Szemantikus web technológiák és alkalmazásaik (RDF, RDFS, SKOS). A LinkedData megközelítés.

4. Modell alapú integráció szemantikus web technológiákkal (OWL, ontológiák alkalmazása).

5. Virtuális adatintegráció technikái, logika alapú információ integráció (következtetések szerepe, datalog).

6. Virtuális integrációt támogató mediátorok felépítése, lekérdezések megfogalmazása, lefordítása, optimalizálása, futtatása

7. A materializált integráció előnyei és problémái (adattárház rendszerek /kitekintés/), adatok tárolása és lekérdezése adattárház rendszerekben.

8. Ellenőrzési technológiák szerepe, az ellenőrzési folyamat áttekintése: Tipikus fejlesztési fázisok, kapcsolódó ellenőrzési szempontok és technológiák. Folytonos integráció.

9. Követelmények és specifikáció ellenőrzése: Adat-, interfész- és viselkedés specifikáció tesztelhetőségének ellenőrzése. Specifikáció példák alapján.

10. Forráskód statikus ellenőrzés: kódolási irányelvek (szakterületi és nyelvi ajánlások), kód felülvizsgálat (informális és formális), statikus analízis technikák és eszközök.

11. Komponensek dinamikus ellenőrzése: komponenstesztek jellegzetességei és ajánlásai, tesztelési minták, komponensek izolált tesztelése.

12. A specifikáció és struktúra alapú teszt tervezés módszerei: teszt adatok kiválasztása ekvivalencia partíciók és határértékek analízisével. Teszt minőségi mértékszámok használata.

13. Komponens- és adatintegráció ellenőrzése: Inkrementális tesztelési módszerek. Tesztelési szintek. Tesztautomatizálási módszerek. Rendszertesztelés jellegzetességei.

14. Teszt adatok származtatása: szakterületi ontológia és metamodell felhasználása, alkalmazás web 2.0 szolgáltatásokra. Teszt adatok és konfigurációk generálása.

Gyakorlatok (6db 2 órás alkalom):

1. RDF adatbázisok építése, modellek lekérdezése (SPARQL )

2. Információ integráció (RDF adatbázisok felhasználásával)

3. Információ integráció ontológiai modelljének létrehozása (Protege, OWL))

4. Folytonos integrációs keretrendszerek (GitHub, Travis)

5. Kód statikus ellenőrzése (SonarQube)

6. Komponens szintű tesztek készítése és izolált futtatása (JUnit, Mockito)

A tárgy célja, hogy áttekintést adjon a különböző információ integrációs rendszerekről, bemutassa az ilyen rendszerek fejlesztésének és ellenőrzésének technológiáit. Áttekintjük az adatok, dokumentumok, weben elérhető források integrációjának lehetséges megközelítéseit, virtuális és materializált integráció módszereit, alkalmazási területeit. A tárgy foglalkozik a szemantikai és strukturális heterogenitás problémáival, a feloldáshoz szükséges technológiákkal. Részletesen vizsgáljuk a szemantikus web koncepcióban javasolt megközelítési módokat és technológiákat. A tárgy az ellenőrzési folyamat áttekintésével és a tipikus fejlesztési fázisokhoz kapcsolódó ellenőrzési szempontok és technológiák bemutatásával folytatódik. Az ellenőrzési feladatok elemzése során foglalkozunk a specifikáció és tervek statikus ellenőrzésével, a komponensek dinamikus ellenőrzésével, valamint integrációjuk tesztelésével. A tárgy a rendszertesztelés módszereinek áttekintésével zárul. A tantárgyat sikeresen teljesítő hallgató képes lesz: - magas szintű, koncepcionális információ integrációs modellek megalkotására - elosztott, heterogén információforrások feltárására és az elérhető információ kinyerésére - alkalmazni alapvető szemantikus web technológiákat - bemutatni, hogy a fejlesztés folyamán mely ellenőrzési technikák alkalmazása javasolt, - alkalmazni statikus ellenőrző eszközöket forráskód átvizsgálására, - komponensteszteket készíteni egyszerűbb teszttervezési technikák alkalmazásával.

Tanulmányi eredmények

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Tudás

Nincsenek rögzített tanulási eredmények.

Képességek

Nincsenek rögzített tanulási eredmények.

Attitűd

Nincsenek rögzített tanulási eredmények.

Autonómia és felelősség

Nincsenek rögzített tanulási eredmények.

Oktatási módszertan

Előadás, gyakorlat.

Tanulástámogató anyagok

Online források

Benkő Tamás - Lukácsy Gergely - Szeredi Péter : A szemantikus világháló; elmélete és gyakorlata, Typotex 2005.; AnHai Doan, Alon Halevy, and Zachary Ives: Principles of Data Integration,; Morgan Kaufmann, 1st edition (2012) ( http://research.cs.wisc.edu/dibook/); Sziray J., Majzik I., Benyó B., Pataricza A., Góth J., Kalotai L.,; Heckenast T., Nagy N.: Szoftver rendszerek minőségbiztosítása és verifikálása.; Elektronikus jegyzet, 2000.; G. G. Schulmeyer, G. R. MacKenzie: Verification and Validation of Modern; Software-Intensive Systems. Prentice Hall, 2000.; Gerard Meszaros: xUnit Test Patterns. Prentice Hall, 2006.

A tantárgy teljesítéséhez ajánlott előzetes ismeretek

Tudás típusú kompetenciák

(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)

Szoftvertechnológia, szoftvertechnikák, mesterséges intelligencia

Képesség típusú kompetenciák

(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)

nincs

Ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák

(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)

Szoftvertechnológia, szoftvertechnikák, mesterséges intelligencia

Általános szabályok

Követelmények: A szorgalmi időszakban: félév közben egy ZH, amely a félév utolsó hetében pótolható, a szükséges minimum szint 40%, az érvényes ZH pontszám százalékos értékének e feletti részének negyede a végleges osztályzatba is beleszámít. Így a vizsgajegy alapját adó pontok 15%-át a zh eredmény adja.félév közben egy házi feladat, a házi feladatot csapatban kell megoldani. A vizsga időszakban: írásbeli vizsga, a vizsgajegy eredményét meghatározó pontok 15%-át a zh eredmény alapján számoljuk, 85%-a a vizsgán szerezhető meg. Pótlási lehetőségek: A zárthelyi a pótlási héten pótolható. A HF a pótlási hét végéig pótolható.

Teljesítményértékelési módszerek

Szorgalmi időszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Szorgalmi időszakban végzett teljesítményértékelések részaránya

Nincs megadva részarány.

Vizsgaidőszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Vizsgarészek részaránya

Nincs megadva részarány.

Érdemjegy megállapítása

Nincs megadva érdemjegy határ.

Jelenléti és részvételi követelmények

Nincs megadva jelenléti követelmény.

Javítás, ismétlés és pótlás különös szabályai

Nincs megadva.

Rövid leírás

Nincs megadva.

Részletes leírás

Nincs megadva.

Ajánlott tantárgyak

A tantárgy elvégzéséhez szükséges tanulmányi munka

Nincs megadva munkaidő bontás.

Tantárgykövetelmények hatályossága

Tantárgykövetelmények hatályosságának kezdete:

—

Tantárgykövetelmények hatályosságának vége:

—

Tantervi elhelyezés

Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.