1. Melyik szabvány foglalkozik dokumentumok tulajdonságainak megfogalmazásával? a. RDFS b. FOAF c. Dublin Core d. DBPedia

Hasonló dokumentumok
Megoldások a mintavizsga kérdések a VIMIAC04 tárgy ellenőrzési technikák részéhez kapcsolódóan (2017. május)

Név: Neptun kód: május 23. Komplex MI alkalmazások vizsga Rendelkezésre álló idő: 75 perc 1. Vizsgálja meg a következő RDF leírást:

Név: Neptun kód: április

Név: Neptun kód: május 26., VIMIAC04 Integrációs és ellenőrzési technikák vizsga Rendelkezésre álló idő: 90 perc

Szoftverminőségbiztosítás

MŰSZAKI TESZTTERVEZÉSI TECHNIKÁK STRUKTÚRA ALAPÚ, VAGY FEHÉRDOBOZ TECHNIKÁK TAPASZTALAT ALAPÚ TECHNIKÁK

Unit Teszt. Tóth Zsolt. Miskolci Egyetem. Tóth Zsolt (Miskolci Egyetem) Unit Teszt / 22

JUnit. JUnit használata. IDE támogatás. Parancssori használat. Teszt készítése. Teszt készítése

Szoftver-mérés. Szoftver metrikák. Szoftver mérés

Tudásalapú információ integráció

Micskei Zoltán Strausz György. Méréstechnika és Információs Rendszerek Tanszék.

Kompetens szoftvertesztelés a gyakorlatban II. zárthelyi dolgozat

OpenCL alapú eszközök verifikációja és validációja a gyakorlatban

Szerző. Varga Péter ETR azonosító: VAPQAAI.ELTE cím: Név: Kurzuskód:

Java programozási nyelv

Specifikáció alapú teszttervezési módszerek

Specifikáció alapú teszttervezési módszerek

A szemantikus világháló oktatása

Szoftverminőségbiztosítás

Integrációs mellékhatások és gyógymódok a felhőben. Géczy Viktor Üzletfejlesztési igazgató

A szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom

Követelmény alapú minőségbiztosítás az államigazgatásban

A C programozási nyelv II. Utasítások. A függvény.

A legalacsonyabb szintű tesztelés. A programot felépítő egységek tesztelése Unit: egy rendszer legkisebb önálló egységként tesztlehető része.

Teszttervezés. Majzik István, Micskei Zoltán. Integrációs és ellenőrzési technikák (VIMIA04) Méréstechnika és Információs Rendszerek Tanszék

Verifikáció és validáció Általános bevezető

A C# programozási nyelv alapjai

Szerző Lővei Péter LOPSAAI.ELTE IP-08PAEG/25 Daiki Tennó

Eseményvezérelt alkalmazások fejlesztése I 11. előadás. Szoftverek tesztelése

Webes alkalmazások fejlesztése 10. előadás. Webszolgáltatások tesztelése (ASP.NET Core) Cserép Máté

MŰSZAKI TESZTTERVEZÉSI TECHNIKÁK A TESZT FEJLESZTÉSI FOLYAMATA A TESZTTERVEZÉSI TECHNIKÁK KATEGÓRIÁI

Programozási technológia II 7. előadás. Verifikáció és validáció Giachetta Roberto

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel

Teszttervezés. Majzik István, Micskei Zoltán. Integrációs és ellenőrzési technikák (VIMIA04) Méréstechnika és Információs Rendszerek Tanszék

Programozási alapismeretek beadandó feladat: ProgAlap beadandó feladatok téma 99. feladat 1

Szoftverminőségbiztosítás

TSIMMIS egy lekérdezés centrikus megközelítés. TSIMMIS célok, technikák, megoldások TSIMMIS korlátai További lehetségek

Mit tudunk már? Programozás alapjai C nyelv 4. gyakorlat. Legnagyobb elem keresése. Feltételes operátor (?:) Legnagyobb elem keresése (3)

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel

Adatszerkezetek 7a. Dr. IványiPéter

Programozás alapjai C nyelv 4. gyakorlat. Mit tudunk már? Feltételes operátor (?:) Típus fogalma char, int, float, double

Teszt terv Új funkció implementációja meglévı alkalmazásba

sallang avagy Fordítótervezés dióhéjban Sallai Gyula

ELTE, Informatikai Kar december 12.

Algoritmizálás és adatmodellezés tanítása beadandó feladat: Algtan1 tanári beadandó /99 1

Programozás alapjai gyakorlat. 4. gyakorlat Konstansok, tömbök, stringek

Szemantikus technológiák területei. Rácz Gábor,

Használati alapú és modell alapú tesztelés kombinálása szolgáltatásorientált architektúrák teszteléséhez az ipari gyakorlatban

MŰSZAKI TESZTTERVEZÉSI TECHNIKÁK TESZTELÉSI TECHNIKÁK KIVÁLASZTÁSA

Adattárház kialakítása a Szövetkezet Integrációban, UML eszközökkel. Németh Rajmund Vezető BI Szakértő március 28.

Webprogramozás szakkör

Google App Engine az Oktatásban 1.0. ügyvezető MattaKis Consulting

Objektumorientált Programozás III.

Szoftver-technológia II. Architektúrák dokumentálása UML-lel. Irodalom. Szoftver-technológia II.

Modellek ellenőrzése és tesztelése

Adatbázis Rendszerek II. 5. PLSQL Csomagok 16/1B IT MAN

Top 10 fogyasztói trend 2015-ben

Adatbázis-kezelés alapjai 1. Ea: Infó Mátrix. Lehet, nem lehet

Programrendszerek tanúsítása szoftverminőség mérése

Vezérlési szerkezetek

Programtervezés. Dr. Iványi Péter

(Teszt)automatizálás. Bevezető

Programozási nyelvek Java

Miskolci Egyetem Alkalmazott Informatikai Intézeti Tanszék A minőségbiztosítás informatikája. Készítette: Urbán Norbert

Információ integráció (Datalog, Veder algoritmus, GAV példa) 6. Előadás

Programozás II. ATM példa Dr. Iványi Péter

Informatikai rendszertervezés (VIMIAC01) VIZSGA MINTA Név: NEPTUN:

Osztályok. 4. gyakorlat

DW 9. előadás DW tervezése, DW-projekt

MIÉRT KELL TESZTELNI?

SZEMANTIKUS WEB. Méréstechnika és Információs Rendszerek Tanszék

BASH script programozás II. Vezérlési szerkezetek

Rendszermodellezés: házi feladat bemutatás

Mesterséges Intelligencia II. kötelező feladat (3. forduló) - Ajánló rendszer 2.

MATEMATIK A 9. évfolyam. 2. modul: LOGIKA KÉSZÍTETTE: VIDRA GÁBOR

Fülöp Csaba, Kovács László, Micsik András

Adatbázisok MSc. 12. téma. Ontológia és SPARQL

Szoftver karbantartási lépések ellenőrzése

Név: Neptun kód: Pontszám:

Bánsághi Anna 2014 Bánsághi Anna 1 of 68

Tájékoztató. Használható segédeszköz: -

Szoftver értékelés és karbantartás

Információ integráció (GAV példa) 6. Előadás. Méréstechnika és Információs Rendszerek Tanszék

end function Az A vektorban elõforduló legnagyobb és legkisebb értékek indexeinek különbségét.. (1.5 pont) Ha üres a vektor, akkor 0-t..

Internet programozása. 3. előadás

2. Rekurzió. = 2P2(n,n) 2 < 2P2(n,n) 1

5. Gyakorlat. 5.1 Hálós adatbázis modell műveleti része. NDQL, hálós lekérdező nyelv:

Adatbázismodellek. 1. ábra Hierarchikus modell

Algoritmizálás, adatmodellezés tanítása 6. előadás

OO rendszerek jellemzői

... fi. ... fk. 6. Fabejáró algoritmusok Rekurzív preorder bejárás (elsőfiú-testvér ábrázolásra)

Informatika terméktervezőknek

S z á m í t ó g é p e s a l a p i s m e r e t e k

OOP. #6 (VMT és DMT) v :33:00. Eszterházy Károly Főiskola Információtechnológia tsz. Hernyák Zoltán adj.

MIKOVINY SÁMUEL TÉRINFORMATIKAI EMLÉKVERSENY

Felhasználói leírás a DimNAV Server segédprogramhoz ( )

SZERVER OLDALI JAVASCRIPT. 12. hét Unit és integrációs tesztek, mocha, assert struktúrák, TDD / DBB

Miskolci Egyetem Általános Informatikai Tanszék

A tesztelés feladata. Verifikáció

INFORMATIKAI ALAPISMERETEK

Átírás:

Név: Neptun kód: 2018. június 1., 8.15-9.45. VIMIAC04 Integrációs és ellenőrzési technikák vizsga Rendelkezésre álló idő: 90 perc Vizsga maximális pontszám: 51 Megfelelt szint: 40% Teszt kérdések (max. 11 pont) Útmutató: Karikázza be a megfelelő választ, minden kérdésnél egy válasz jelölhető meg. A helyes válasz kérdésenként 1 pontot ér. 1. Melyik szabvány foglalkozik dokumentumok tulajdonságainak megfogalmazásával? a. RDFS b. FOAF c. Dublin Core d. DBPedia 2. Két RDFS osztályra megfogalmazható a következő tulajdonságok: a. Diszjunktság b. Ekvivalencia c. Számosság d. Egyik sem a fentiek közül 3. Egy inverz szabályok módszerére épülő mediátor rendszer, melyik komponense implementálja az algoritmust? a. Lekérdezés fordító. b. Lekérdezés optimalizáló. c. Lekérdezés végrehajtó. d. Wrapper. 4. Milyen szerepe van egy üres csomópontnak egy RDF gráfban? a. Több kijelentés tárgyát foghatjuk össze vele. b. Egy tulajdonság leírásához több specifikusabb tulajdonságot kapcsolunk. c. Változók helyét jelölhetjük. d. Példánnyal nem rendelkező osztályt jelöl. 5. Melyik állítást nem tudjuk megfogalmazni OWL2 nyelven? a. Minden diák szeret tanulni b. Van olyan diák, aki szeret szórakozni. c. Lehet olyan diák aki szeret dolgozni. d. Minden diák ember. 6. Melyik állítás nem igaz a Linked Data technológiára? a. Minden alkalmazott URI érvényes URL is egyben b. Tetszőleges adatbázisok között kapcsolatot teremt c. Dokumentumok adatait kapcsoljuk össze d. Minden adatnak URI val azonosítottnak kell lennie 7. BDD, TDD és ATDD: melyik állítás igaz? a. A BDD és a TDD ugyanaz, csak különböző csoportok más nevet használnak rá. b. A BDD épít a TDD elveire és előnyeire, és a két technika jól használható együtt. c. Az ATDD az Advanced TDD rövidítése, ez a technika egyfajta továbbfejlesztése. d. A technikákat a következő sorrendben kell alkalmazni a fejlesztés során: ATDD, BDD, TDD. 1/6

8. Melyik állítás igaz kódolási irányelvekkel kapcsolatban? a. A MISRA egy olyan ajánlás, amit vasútipari, C nyelvű szoftverek fejlesztésekor használható. b. A kódolási irányelvek olyan szabályhalmazok, amik ajánlásokat fogalmaznak meg a forráskóddal kapcsolatban. c. A kódolási irányelvek minden esetben kötelezően betartandó szabályokat tartalmaznak. d. Java nyelvű program fejlesztésekor a Google kódolási irányelveit érdemes használni. 9. Melyik nem úgynevezett test smell egységtesztelés esetén? a. A tesztkód sok feltételes logikát tartalmaz, hogy kevesebb tesztesetet kelljen írni. b. A tesztelt egység függőségeit izoláljuk, hogy azok hibái ne befolyásolják a vizsgált műküdést. c. A tesztek sok assertion hívást tartalmaznak, hogy lehetőleg mindent leellenőrizzenek. d. A teszt kód miden egyes teszt előtt újra inicializálja az alkalmazás adatbázisát. 10. Használati esetekből (use case) milyen teszteket nem szokás származtatni a. rendszer b. egység (unit) c. elfogadási d. integrációs 11. A tesztelési piramis javaslata szerint hogyan érdemes automatizálni a teszteket? a. Nem érdemes integrációs tesztekkel bajlódni, a rendszertesztek úgyis ellenőrzik a komponensek integrációját is. b. Készítsünk sok GUI tesztet, mert azzal sok funkciót le lehet fedni. c. A unit tesztekkel kellően ellenőrzött kód tud biztos alapot nyújtani a további tesztelésnek. d. A manuális teszteket teljesen el lehet hagyni, az automatizálás megtalál minden hibát. 2/6

Név: Neptun kód: 2018. június 1., 8.15-9.45. VIMIAC04 Integrációs és ellenőrzési technikák vizsga Rendelkezésre álló idő: 90 perc Kidolgozandó feladatok (max. 40 pont) 1. A gyakorlaton az alábbi lekérdezést alkalmaztuk művészeti alkotásokkal kapcsolatos adatok elemzéséhez. a.) Adjon meg egy olyan RDF adatmodellt leíró gráfot, amelyre a lekérdezés eredményt ad! (3 pont) b.) Adjon meg egy lehetséges természetes nyelvű interpretációt az a.) feladatra adott válaszában felvázolt RDF adatmodellhez! (2pont) PREFIX ecrm: http://erlangen crm.org/current/ SELECT?actor?creation?object {?actor a ecrm:e39_actor.?creation ecrm:p11_had_participant?actor ; a ecrm:e65_creation.?object ecrm:p12i_was_present_at?creation ; a ecrm:e18_physical_thing. 2. Adatmodellezés a) Ismertesse a nyílt világ feltételezés és a zár világ feltételezés lényegét (3 pont) b) Adjon egy példát egy konkrét adatmodellre és egy kapcsolódó lekérdezésre, ahol a nyílt világ feltételezés és a zár világ feltételezés különböző eredményt ad. (2 pont) 3/6

3. Tekintsük a következő relációs sémát az S1 és S2 forrásokra, amelyben budapesti színházak előadásairól gyűjtünk adatokat. Az adatbázis a színházakra vonatkozóan tárolja a színház nevét, az előadott darabok címét, és a színház címét, illetve a játszott színművek címét és szerzőjét: Színház(Színháznév, Színdarab_cím, Utca_Házszám), Színművek(Színdarab_cím, Szerző), A kapcsolódó mediált sémánkban a színdarabokkal és a darabok előadásával kapcsolatban lehet a következő hasonló információkat lekérdezni: Színdarab(Színdarab_cím, Szerző, Színháznév), Helyszín(Színháznév, Város, Utca_Házszám). (a) Adjon meg egy local-as-view leképezést a források és a mediált séma között! (3 pont) (b) Adjon meg egy lekérdezést a mediált sémánkon azoknak a színházak nevének és címének (Utca_Házszám) legyűjtéséhez, amelyek játszanak Shakespeare művet! (2 pont) (A feladat megoldásához használhat datalog, SQL vagy SPARQL szintaxist is.) (c) Írja át a (b) pontban megfogalmazott lekérdezést a forrásokon futtatható lekérdezéssé a veder algoritmus alkalmazásával! Adja meg a vedreket az ezekhez tartozó nézetek felsorolásával! (2 pont) Adja meg az átalakított lekérdezést! (3 pont) 4/6

Név: Neptun kód: 2018. június 1., 8.15-9.45. VIMIAC04 Integrációs és ellenőrzési technikák vizsga Rendelkezésre álló idő: 90 perc 4. Forráskód átvizsgálása Adott a következő forráskód részlet. public Token nexttoken(reader r) throws IOException { int c = r.read(); while (c!= 1){ switch (c) { case ' ': case '\t': case '\n': c = r.read(); case '(': return Token.LPAREN; case ')': return new Token(c, TokenType.RPAREN); default: return new Token(c, TokenType.CHAR); return Token.EOF; a) Soroljon fel legalább két problémát a kód formázásával és stílusával kapcsolatban! [2 pont] b) Soroljon fel legalább két olyan problémát, amely potenciális hibalehetőséget rejt magában! [2 pont] 5. Specifikáció-alapú tesztelés Egy banki alkalmazáshoz fejlesztünk egy olyan modult, ami kedvezményes kamatozású betéteket javasol az ügyfeleknek. Ha valakinek legalább 5 millió Ft a számlájának az egyenlege, akkor az aktuális betéti kamat + 1% prémiumot, ha legalább 10 millió Ft az egyenlege, akkor +2% ot javasol. Ha teljesül az is, hogy az elmúlt 3 hónapban mindig legalább 300e Ft jövedelem érkezett a számlájára, akkor még +1% prémiumot kap. a) Ellenőrizzük a kapott specifikációt. Milyen kérdéseink és észrevételeink lennének? [2 pont] b) Mik az egyes paraméterek ekvivalencia osztályai és határértékei? [2 pont] c) Táblázatos formában adja meg, hogy milyen konkrét teszteseteket választana ki az alkalmazás minél teljesebb ellenőrzése érdekében, ha legfeljebb 6 tesztesetet definiálhat! [4 pont] 5/6

6. Struktúra-alapú tesztelés Adott a következő forráskód részlet. int collatz(int n) { while (n > 1) { if (n % 2 == 0) { n /= 2; else { n = 3 * n + 1; return n; a) Rajzolja fel a függvény vezérlési folyam gráfját (CFG)! [4 pont] b) Adjon meg pontosan egy tesztesetet, amely 100% os döntés lefedettséget garantál! Állítását indokolja a lefutás megadásával! [4 pont] 6/6