Testování správnosti deklarativních programů
| Thesis title in Czech: | Testování správnosti deklarativních programů |
|---|---|
| Thesis title in English: | Correctness Testing of Declarative Programs |
| Academic year of topic announcement: | 2007/2008 |
| Thesis type: | diploma thesis |
| Thesis language: | |
| Department: | Department of Theoretical Computer Science and Mathematical Logic (32-KTIML) |
| Supervisor: | RNDr. Jan Hric |
| Author: |
| Preliminary scope of work |
| Na data, zpracovávaná testovanou částí programu, lze stanovit podmínky, které musí splňovat. Splnění podmínek se dá automaticky testovat na generovaných datech. Vstupní data jsou typicky generována náhodně z příslušného typu (včetně strukturovaných typů - seznamů, stromů, ...). Testované podmínky a požadavky jsou zadané deklarativně vedle testovaného programu.
Základní myšlenka je převzaná ze systému Quickcheck, který byl vyvinut pro Haskell. Cílem práce je rozvinout tyto myšlenky a implementovat analogický systém pro Prolog nebo Haskell (v Prologu nebo Haskellu). |