Automatische Bewertung von Haskell-Programmieraufgaben

Siegburg, Marcellus; Voigtländer, Janis; Westphal, Oliver

doi:10.18420/abp2019-3

Cited by 3 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another testing approach that deals with stateful computations is Quviq QuickCheck [3,4] for Erlang 7 . Instead of testing specific programs, like we do, they test stateful APIs.…”

Section: Related Workmentioning

confidence: 99%

“…For students to gain practical experience with the language, we give weekly exercise tasks and let them submit solutions for review and grading. Since checking submissions by hand is tedious and potentially error-prone, we employ an e-learning system [7,9], automatically testing submissions against sets of QuickCheck properties [1] wherever possible. An added benefit for students is that they get immediate feedback and can revise their submissions accordingly and incrementally.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Describing Console I/O Behavior for Testing Student Submissions in Haskell

Westphal¹,

Voigtländer²

2020

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

We present a small, formal language for specifying the behavior of simple console I/O programs. The design is driven by the concrete application case of testing interactive Haskell programs written by students. Specifications are structurally similar to lexical analysis regular expressions, but are augmented with features like global variables that track state and history of program runs, enabling expression of an interesting range of dynamic behavior. We give a semantics for our specification language based on acceptance of execution traces. From this semantics we derive a definition of the set of all traces valid for a given specification. Sampling that set enables us to mechanically check program behavior against specifications in a probabilistic fashion. Beyond testing, other possible uses of the specification language in an education context include related activities like providing more helpful feedback, generating sample solutions, and even generating random exercise tasks.

show abstract

“…Another testing approach that deals with stateful computations is Quviq QuickCheck [3,4] for Erlang 7 . Instead of testing specific programs, like we do, they test stateful APIs.…”

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%