Modul pro automatickou verifikaci programů a hledální plagiátů ve zdrojových kódech programů
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F70883521%3A28140%2F11%3A43867154" target="_blank" >RIV/70883521:28140/11:43867154 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Modul pro automatickou verifikaci programů a hledální plagiátů ve zdrojových kódech programů
Popis výsledku v původním jazyce
Modul poskytuje funkce pro automatickou kontrolu plagiátů a správnosti funkce programů v různých programovacích jazycích. Modul není závislý na žádných externích online službách - kontrolu plagiátů provádí pomocí upraveného systému YAP3, kontrolu správnosti funkce pak pomocí porovnání výstupů vzorových a testovaných programů, kterým jsou na vstup zasílány různé testovací vektory. Modul je vybaven rozhraním pro web aplikaci Moodle.
Název v anglickém jazyce
Module for automatic verification and plagiarism detection in program source code
Popis výsledku anglicky
The module provides functions for detecting plagiarism and for automatic validation and verification of source codes in several programming languages. The module is not dependent on any external web services. The plagiarism detection is implemented by anextended YAP3 system, the automatic validation is done by comparing the outputs of valid solution against the tested solutions, when different input test vectors are sent to the input of each solution. Module is provided for the Moodle web application.
Klasifikace
Druh
R - Software
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2011
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Interní identifikační kód produktu
R/FAI/ÚIUI/2011/ModuleACA
Technické parametry
Detekce plagiátů v kódu programu se implementována pomocí YAP3. Kontrola správnosti programu pomocí testovacích vektorů a porovnání se vzorovým správným programem.
Ekonomické parametry
Modul poskytuje efektivní automatické ověření správnosti funkce a automatické odhalování plagiátů. Je k dispozici zdarma s otevřenou licencí.
IČO vlastníka výsledku
70883521
Název vlastníka
Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky