Absztrakt kÃ¶tet - Debreceni Egyetem AgrÃ¡r

More documents

Recommendations

Info

Informatika a felsőoktatásban 2008 Debrecen, 2008. augusztus 27-29.PHP ALAPÚ TESZT-RENDSZER BEMUTATÁSAPRESENTATION OF PHP-BASED TEST-SYSTEMKrankovits MelindaSzéchenyi István Egyetem, Gy_r, Egyetem tér 1., M_szaki Tudományi Kar, Doktori IskolaÖsszefoglalóAz elmúlt évek során a Széchenyi István Egyetem Matematika és Számítástudományitanszékén kifejlesztettünk egy olyan számítógépes rendszert, amely képes nagyobb létszámúhallgatóság tudását rövid idő alatt, hatékonyan mérni. A teszt jellegű feladatsorokat számítógépentöltik ki a hallgatók, így gyors a kiértékelés, az adminisztráció pontos, és azonnali kimutatásokat teszlehetővé. Ezt a PHP alapú rendszert az Informatika I, és Informatika II BSc tárgyaknál alkalmazzuk ahallgatók zárthelyi számonkérésére. A teszt feladatsor működhet egyfajta előszűrő berendezésként istényleges szóbeli, vagy írásbeli vizsgák előtt. Ennek jelentősége a folyamatos számonkérésűtárgyaknál nagy, ahol már a szorgalmi időszakban egy, vagy két zárthelyi dolgozatot írnak a hallgatók,és ennek teljesítése követelmény lehet a félévi aláírás megszerzéséhez. A rendszer főbb jellemzői:adatbázisból generált tesztlapok, konfigurálható az idő és a kérdések száma típusonként. Azeredményeket azonnal kiírja az elküldés után, valamint az adott válaszokat és kérdéseket tanulónkéntbegyűjti az adatbázisba. A rendszer további fejlesztése a szókitöltős kérdések alkalmazása, válaszokelemzése lesz.KulcsszavakPHP, teszt, számítógéppel segített vizsgáztatás, vizsgáztatás, adatbázis, MySQLAbstractIn last years we developed a computer system, which is enabling to measure the knowledge ofa great number of students. We apply to this PHP-based system for student course tests in theInformatics I and Informatics II BsC subject. System properties: test generation from database,different type of questions, configuration of testing time and count of questions, group by type ofquestions. Types of questions are the following: true/false, multiple-choice, relation analysis. Thefuture developments are the short answer questions, analysis of short answers. Prompt test results,student answers and results insert into the database.KeywordsPHP, test-system, computer assisted testing, testing, database, MySQL106
Informatika a felsőoktatásban 2008 Debrecen, 2008. augusztus 27-29.AZ EKFCSLINT HOLTPONT KERESŐ ESZKÖZTHE EKFCSLINT DEADLOCK CHECKER TOOLKusper Gábor, Király Roland, Kovács Emőd, Baranyi Ádám, Csintalan Ádám, GrécziLászló, Pekk Roland, Pető GyörgyEszterházy Károly FőiskolaÖsszefoglalóEz a cikk az Eszterházy Károly Főiskolán az evosoft Hungary Kft. megrendelésére elkészültC# holtpont kereső, az EKFCSLint, működő prototípusát mutatja be. Holtpont (deadlock) akkorkövetkezhet be, ha két, vagy több folyamat egymás elől kölcsönösen lefoglalja az erőforrásokat, vagytöbb mint két folyamat körbe hivatkozva vár az erőforrásokra. A holtpont keresők nagy szerepettöltenek be olyan kritikus szoftverek ellenőrzésében, mint például az egészségügyi vagy bankiszoftverek. Beszélhetünk dinamikus és statikus holtpont keresőkről. Az előbbiek futtatják a kódot, azutóbbiak elemzik. Az EKFCSLint statikus holtpont kereső. Speciálisan nem a C# forráskóddal, hanema köztes bájtkóddal dolgozik, így a nagy értékű forráskód felfedése nélkül képes holtpontot keresni. Aköztes kódból felépíti a foglalási (lock) gráfot, ahol a gráf csúcsai a különböző erőforrások, az élekpedig az őket lefoglaló metódusok. A foglalások Monitor.Enter és Monitor.Exit közt találhatók, ezeketkell megkeresni a köztes kódban. Ezután a foglalási gráfban kört kell keresni. Minden kör egy-egylehetséges holtponti helyzetet jelent, amit még egy programozónak ellenőriznie kell. A szoftverhezkészült egy vizuális nyomkövető, ami a köztes kód elemzését segíti, illetve foglalási gráf megjelenítő.Ez utóbbival eddig egyetlen C# holtpont kereső se rendelkezett.KulcsszavakHoltpont, Holtpont kereső, CSLint, C#AbstractThis article introduce the working prototype of a C# deadlock checker, the EKFCSLint, whichwas developed at the Eszterházy Károly College and which was ordered by the evosoft Hungary Kft.Deadlock might occur if two or more processes lock mutually from each other researches or two ormore processes wait for researches in a circle, each waiting the next to raise the lock. The deadlockcheckers play an important role in critical software, like health or banking software. There aredynamic and statical deadlock checkers. The first ones run the code, the second ones analyze the code.The EKFCSLint is a tactical deadlock checker. It is a special one, because it works not on the C#source code, but on the intermediate bytecode, so there is no need to discover the valuable source codeto be able to detect deadlock. From the intermediate code we build the lock graph, in which thevertices are the researches and the edges are the methods which lock them. The locks are betweenMonitor.Enter and Monitor.Exit, so we look for these in the intermediate code. After this we try tofind loops in the graph. Each loop means a possible deadlock, which has to be reviewed by aprogrammer. The software consists of also a visual debugger, which helps to analyze the intermediatecode, and a lock graph visualizer. This is a feature which is not included in any other C# deadlockchecker yet.KeywordsDeadlock, Deadlock Checker, CSLint, C#107
Page 1 and 2:
Informatika a felsőoktatásban 200
Page 3 and 4:
Page 5 and 6:
Page 7 and 8:
Page 9 and 10:
Page 11 and 12:
Page 13 and 14:
Page 15 and 16:
Page 17 and 18:
Page 19 and 20:
Page 21 and 22:
Page 23 and 24:
Page 25 and 26:
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
Page 35 and 36:
Page 37 and 38:
Page 39 and 40:
Page 41 and 42:
Page 43 and 44:
Page 45 and 46:
Page 47 and 48:
Page 49 and 50:
Page 51 and 52:
Page 53 and 54:
Page 55 and 56:
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Page 81 and 82: Informatika a felsőoktatásban 200
Page 131: Informatika a felsőoktatásban 200
Page 183 and 184:
Page 185 and 186:
Page 187 and 188:
Page 189 and 190:
Page 191 and 192:
Page 193 and 194:
Page 195 and 196:
Page 197 and 198:
Page 199 and 200:
Page 201 and 202:
Page 203 and 204:
Page 205 and 206:
Page 207 and 208:
Page 209 and 210:
Page 211 and 212:
Page 213 and 214:
Page 215 and 216:
Page 217 and 218:
Page 219 and 220:
Page 221 and 222:
Page 223 and 224:
Page 225 and 226:
Page 227 and 228:
Page 229 and 230:
Page 231 and 232:
Page 233 and 234:
Page 235 and 236:
Page 237 and 238:
Page 239 and 240:
Page 241 and 242:
Page 243 and 244:
Page 245 and 246:
Page 247 and 248:
Page 249 and 250:
Page 251 and 252:
Page 253:
show all

Absztrakt kÃ¶tet - Debreceni Egyetem AgrÃ¡r

Create successful ePaper yourself

Delete template?

Save as template?