Bakalářská práce

Vyhodnocování úloh z funkcionálního programování v IS

Assessment of functional programming exercises

Martin Jonáš, učo 359542
Anotace

Práce se zabývá implementací systému, který bude schopný porovnávat rovnost typů a testováním ověřovat rovnost dvou zadaných výrazů. V teoretické části je popsán typový systém jazyka Haskell a použité knihovny a rozšíření včetně příkladů jejich použití. V další části jsou pak popsány implementační detaily výsledného programu. V závěrečné části je navrhnuto několik dalších možných vylepšení implementovaného systému.

Abstract

The thesis deals with a implementation of a system capable of comparing two types and testing equality of two expressions by testing. Theoretical part describes Haskell type system and libraries and language extensions used during implementation, including example codes. Next part describes implementation details of the resulting program. In the final part we propose several further improvements to the implemented system.

Klíčová slova
Haskell typový systém QuickCheck Hint testování
Zadání práce
Cílem bakalářské práce je implementovat systém pro automatické vyhodnocování úloh funkcionálního programování určený pro pozdější propojení s odpovědníky v IS. Systém bude umět porovnávat typové výrazy zadané studentem se správnou odpovědí. Dále bude testovat ekvivalenci dvou výrazů, tedy ověří rovnost jejich typů a poté pomocí knihovny QuickCheck také jejich chování na množině testovacích dat. Systém bude též umožňovat omezení doby výpočtu pomocí funkce předem daného parametru. Výsledkem práce bude funkční implementace vhodná pro pozdější propojení s odpovědníky v IS.
Administrativní informace
Práce zkontrolována:
22. 5. 2012 11:00, RNDr. Libor Škarvada
Plný text práce
356,1 KB / soubor PDF
Přílohy (2)
Jazyk práce
čeština čeština
Termín obhajoby
18. 6. 2012
Práce byla úspěšně obhájena

Vedoucí

RNDr. Libor Škarvada
abs PřF MU

Oponent

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Martin Jonáš FI B-AP BcAP, učo 359542 ija9a/8
Tomíčková, M.
27. 4. 2012
Složky
Soubory
Anotace anglicky annotation_english.txt
Jonáš, M.
21. 5. 2012
Anotace česky annotation.txt
Jonáš, M.
21. 5. 2012
Klíčová slova keywords.txt
Jonáš, M.
21. 5. 2012
Plný text práce bp.pdf
Jonáš, M.
21. 5. 2012
Posudek oponenta jonas.pdf
Barnat, J.
31. 5. 2012
Příloha expressionTesting.zip
Jonáš, M.
21. 5. 2012
Příloha thesis.zip
Jonáš, M.
21. 5. 2012

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.