Slovenská
technická univerzita v Bratislave
FAKULTA ELEKTROTECHNIKY A
INFORMATIKY
Počítačová
podpora hodnotenia programov
v C-jazyku
ponuka
tímový projekt
Vypracovali:
Bc. František BOTLÓ
Bc. Imrich HORVÁTH
Bc. Róbert KNOTEK
Bc. Peter KÓSA
Bc. Kristián PUSKÁS
V
Bratislave, dňa 7.10.1999
František BOTLÓ (botlo@decef.elf.stuba.sk)
Imrich HORVÁTH (horvathi@decef.elf.stuba.sk)
Róbert KNOTEK (knotek@decef.elf.stuba.sk)
Peter KÓSA (kosa@decef.elf.stuba.sk)
Kristián
PUSKÁS (puskas@decef.elf.stuba.sk)
František BOTLÓ – je programátorom s dlhoročnými praktickými skúsenosťami, ovláda programovacie jazyky C/C++, Pascal, Perl, Lisp, Prolog, Jazyk symbolických inštrukcií. Ako súčasť štátnej skúšky na FEI STU spolupracoval na rozsiahlom projekte v oblasti grafiky s názvom „Dvojrozmerný objektový grafický systém s animáciou“. V súčasnosti pracuje vo firme TatraSoft ako špecialista na spätné inžinierstvo, vyvíja informačné systémy v prostredí Magic. Je autorom programu „Server aplikácia“, čo je softvérový systém s klient/server architektúrou.
Referencie:
Doc. Ing. Jana MINÁROVÁ, CSc. (minarova@dcs.elf.stuba.sk)
Ing. Artúr TAKÁCS TatraSoft, Dobrovičova 3, Bratislava, Tel.: 07/ 317 777
Imrich HORVÁTH – má 6 rokov programátorskej praxe. Ovláda programovanie v jazykoch C/C++, Pascal, Perl, Lisp, Prolog, SQL, Jazyk symbolických inštrukcií. Pozná prácu v prostredí Visual C++ (MFC), Visual Fox Pro, operačné systémy Windows 9x, NT. Medzi jeho záujmy patrí problematika dynamických systémov, konkrétne rozoznávanie ľudských tvárí pomocou neurónových sietí, čo je témou jeho ročníkového ako aj diplomového projektu. Je autorom laboratórneho systému pre elektrotechnické merania.
Teoretické vedomosti
k problematike daného projektu získal z predmetov „Princípy
softvérového inžinierstva“, „Databázové systémy“, ale predovšetkým úspešným
absolvovaním predmetu „Opis a preklad programovacích jazykov“.
Referencie:
Ing.
Juraj ŠTEFANOVIČ (stefanovic@dcs.elf.stuba.sk)
Ing.
Jaroslav DEMO SPŠE,
T.Vansovej, Nové Zámky
Róbert KNOTEK – má 3 roky programátorskej praxe. Praktické znalosti má v programovaní v C/C++, Pascal, Perl, Visual BASIC, HTML, Fox Pro. Je autorom rozsiahleho programu nápomoci „SHelp“. V rámci ročníkového projektu robil bezpečnostnú bránu v TCP/IP sieťach. Vyzná sa v operačných systémoch Linux, Windows 9x. Teoretické znalosti k danej problematike má podložené absolvovaním predmetov Princípy Softvérového Inžinierstva (PSI), Databázové Systémy I (DBS I) a Opis a Preklad Programovacích Jazykov (OPPJ).
Referencie:
Bc. Radovan SEMANČÍK (semancik@storm.alert.sk)
Peter KÓSA – má skúsenosti s programovaním v jazykoch C/C++, Pascal, Perl, Jazyk symbolických inštrukcií, Lisp, Prolog, Basic. Ovláda prácu v programovacom prostredí Visual C++ (MFC). Pozná architektúru operačného systému Windows 9x. Témou jeho ročníkového projektu bolo prepracovanie konzolovej knižnice TINY do grafického prostredia použitím knižnice MFC.
Kristián PUSKÁS – je programátor v oblasti databázových aplikácií. Programuje v jazykoch C/C++, Lisp, Prolog, SQL, Visual BASIC a Jazyk symbolických inštrukcií. V rámci ročníkového projektu implementoval model simulácie neurónovej siete s aplikáciou na kompresiu obrazu. V súčasnosti pracuje vo firme InfoBase na vývoji databázových aplikácií pre nemecké poisťovne v prostredí Visual C++.
Referencie:
Ing.
Juraj ŠTEFANOVIČ (stefanovic@dcs.elf.stuba.sk)
Dipl. Ing. Marcelus Bareth (bareth@infobase.sk)
Tému tímového projektu s názvom „Podpora hodnotenia programov v C–jazyku“ sme si zvolili, pretože nás zaujíma otázka podobnosti programov napísaných v jazyku C a s tým spojená analýza ich štruktúr. Táto oblasť nám ponúka možnosť v praxi si overiť teoretické vedomosti, ktoré sme si osvojili predovšetkým úspešným absolvovaním predmetu „Opis a preklad programovacích jazykov“ počas bakalárskeho štúdia. Súčasne by sme realizáciou tohto projektu chceli pomôcť učiteľom na Katedre informatiky a výpočtovej techniky pri preberaní veľkého množstva zadaní, nakoľko z vlastnej skúsenosti poznáme tento zdĺhavý proces. Zároveň máme snahu, aby bol výsledný softvérový systém užitočný aj pre študentov, pretože budú nútený si skutočne osvojiť programovanie v jazyku C a vypracovať jednotlivé zadania samostatne a aj pre nich bude proces odovzdávania zadaní oveľa jednoduchší.
Počas trvania 2 semestrov
vypracujeme podrobnú špecifikáciu systému, ktorý bude modulárne navrhnutý
a implementovaný. Softvérový systém bude vykonávať nasledovné základné
činnosti:
·
prijímanie zadaní: Jednotlivé zadania budú
prijímané pomocou elektronickej pošty. Základnú verziu poskytneme pod operačný
systém LINUX. Udržiavaná bude databáza študentov, učiteľov preberajúcich
zadania, jednotlivých zadaní a ich parametrov.
·
analýza správnosti programu: Bude aplikovaný kompilátor
jazyka C.
·
kontrola funkčnosti programu: Testovanie funkčnosti bude
realizované porovnávaním výstupov testovaného programu a vzorových
(žiadaných) výstupov.
·
analýza štýlu programovania: Systém bude analyzovať
použitie klasických programovacích štruktúr. Použije sa statická analýza
kvality programovacieho štýlu pomocou hodnotiacej metriky – Berry &
Meekings–ova štýlová metrika.
·
zisťovanie podobnosti zadaní: Táto časť softvérového
systému bude vykonávať vzájomné porovnávanie dvoch zadaní. Vychádzať sa bude
z funkčnej analýzy, kde budú vzájomne porovnávané jednotlivé funkcie.
Stanovené budú aj ďalšie kritéria pre podobnosť zadaní. Pri analýze zdrojového
textu sa bude abstrahovať od názvu použitých symbolov. Výsledkom porovnania
bude stanovená pravdepodobnosť vzájomnej podobnosti.
Všetky časti softvérového systému, okrem prijímania zadaní, budú implementované nezávisle od platformy.
Predpokladáme použitie operačného systému LINUX 6.1 (cartman) ako aj Windows NT. Na implementáciu použijeme vývojové prostredie Visual C++. Keďže každý člen tímu vlastní doma počítač, veľká časť práce môže byť realizovaná samostatne a čas strávený v škole môže byť prevažne využitý na vzájomnú synchronizáciu a riešenie zásadných otázok.
Hardvérové nároky: CPU K5 PR 166, 48 MB RAM.
2. Rozvrh
3. IS
4. EMG
Čo ?: Počítačová podpora
hodnotenia programov v C-jazyku
Kto ?: Študenti
Bc. František BOTLÓ
Bc. Imrich HORVÁTH
Bc. Róbert KNOTEK
Bc.
Peter KÓSA
Bc.
Kristián PUSKÁS
Ako ?:
· platformová
nezávislosť
· modulárnosť
· automatizovanie činností
· obsažné výstupy
Čím
?:
· GCC, Visual C++, Sendmail
· Windows NT, Red Hat 6.1