Claims

Strategy-based assessment statically determines which solution strategy a student used and guarantees correctness of recognised programs

Claim · All claims
Evidence · 1 study · design r2 · q1
Currency · newest study 2016 · not yet checked against its sources · not reviewed by a person

Subclaims

Reading the evidence codes

q is the design tier, i the impact, n the sample, and the kind with its r the rigour judged within that kind: what each code means.

This claim: no standardized effect is recorded in observations/ for it yet, so no benchmark reading is possible.

q1 i? The authors argue that strategy-based assessment addresses four problems of test-based assessment: it guarantees correctness of recognised programs, recognises imperfections, identifies the algorithm implemented, and is carried out statically. → Gerdes 2016

Evidence

Gerdes 2016

Gerdes, A., Heeren, B., Jeuring, J., & van Binsbergen, L. T. (2016). Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. International Journal of Artificial Intelligence in Education. https://doi.org/10.1007/s40593-015-0080-x

q1 · i? · design · r2

Theoretical argument in the assessment section, contrasting strategy-based assessment with test-based tools. The authors state "if a program is determined to be equivalent, it is guaranteed to be correct" and list the four problems testing cannot address. Adding QuickCheck testing reintroduces vulnerability to bugs and malicious software.

"Using strategies for assessing student programs solves the four problems of using testing for assessment described above: 1. if a program is determined to be equivalent, it is guaranteed to be correct 2. we can recognise and report imperfections 3. we can determine which algorithm has been implemented 4. strategy-based assessment is carried out statically."

Discussion

Page metadata
Field Value
type claim
id strategy-based-assessment-static-benefits
title Strategy-based assessment statically determines which solution strategy a student used and guarantees correctness of recognised programs
description Strategy-based assessment statically determines which solution strategy a student used and guarantees correctness of recognised programs
status review
evidence_strength weak
newest_evidence 2016
generated by process:wiki-ingest on 2026-10-28
trust unverified — no one has confirmed this page's content
sources 1 — gerdes-2016

Frontmatter is the page's machine-readable record — see the Schema & Guide.