Module for automatic verification and plagiarism detection in program source code
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Modul pro automatickou verifikaci programů a hledální plagiátů ve zdrojových kódech programů
Original language description
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.
Czech name
Modul pro automatickou verifikaci programů a hledální plagiátů ve zdrojových kódech programů
Czech description
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.
Classification
Type
R - Software
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
R/FAI/ÚIUI/2011/ModuleACA
Technical parameters
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.
Economical parameters
Modul poskytuje efektivní automatické ověření správnosti funkce a automatické odhalování plagiátů. Je k dispozici zdarma s otevřenou licencí.
Owner IČO
70883521
Owner name
Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky