Contexto Acadêmico

Sobre o Projeto WOKDEX

O WOKDEX nasce da constatação de que juízes online operam sob profundo "silêncio pedagógico": seus vereditos binários não orientam o estudante, nem distinguem lógica correta de aprovações acidentais.

O Problema

O Silêncio Pedagógico

🔇 Juízes Online Tradicionais

Juízes como DOMJudge, Codeforces e Beecrowd avaliam por comparação de I/O e emitem vereditos binários: Accepted ou Wrong Answer.

  • ❌ Não explicam por que o aluno errou
  • ❌ Não distinguem tipos de erro
  • ❌ Não separam corretude de performance
  • ❌ Não detectam falsos positivos (MC³)

✅ Com WOKDEX

O schema WOKDEX embute a intenção pedagógica diretamente no artefato do exercício.

  • ✅ helpTip: dica contextualizada por cenário
  • ✅ testType: identifica a natureza do erro
  • ✅ PERFORMANCE: separa lógica de eficiência
  • ✅ FALSE_GREEN: expõe misconceptions
Misconceptions

MC³ — O Falso Positivo Silencioso

Misconceptions in Correct Code: erros conceituais que sobrevivem à bateria de testes.

MC¹

Erro Explícito

Misconceptions que causam erro — detectáveis por qualquer juiz com qualquer teste.

MC²

Erro Parcial

Misconceptions que causam erro parcial — detectáveis apenas com testes abrangentes.

MC³

Invisível ao Juiz

Misconceptions em código correto — invisíveis ao modelo binário. O WOKDEX as detecta com TDD_FALSE_GREEN.

Arquitetura

Fluxo de Avaliação Fail-Fast

O WOKDEX propõe um pipeline sequencial onde cada tipo de teste produz um diagnóstico diferenciado.

📤
Submissão
→
📋
SAMPLE
Erro lógico básico
✅→
🧪
TDD
Erro de comportamento
✅→
⚠️
FALSE GREEN
Misconception (MC³)
✅→
⚡
PERFORMANCE
Lógica OK, otimize!
✅→
🏆
AC

A decisão de interromper no primeiro erro ancora-se na Teoria da Carga Cognitiva (Sweller, 1988): caso o sistema reportasse simultaneamente um erro funcional, uma misconception e um alerta de performance, o estudante novato sofreria sobrecarga.

Comparativo

WOKDEX vs. Formatos Existentes

Nenhum formato de empacotamento vigente incorpora metadados pedagógicos por cenário.

Capacidade ICPC Kattis Polygon PExIL WOKDEX
Teste de I/O simples ✅ ✅ ✅ ✅ ✅
Limite de tempo global ✅ ✅ ✅ ✅ ✅
Tipo pedagógico do teste ❌ ❌ ❌ ❌ ✅
Dica formativa por cenário ❌ ❌ ❌ ❌ ✅
Detecção de falso positivo ❌ ❌ ❌ ❌ ✅
Separação corretude/performance ❌ ❌ ❌ ❌ ✅
Mapeamento de skills ❌ ❌ ❌ ❌ ✅
Citação

Referência Bibliográfica

@inproceedings{wokdex2026,
  title     = {Quebrando o Silêncio Pedagógico:
               O Modelo WOKDEX para Feedback
               Formativo em Juízes Online},
  author    = {Omitido para revisão cega},
  booktitle = {Anais do XXXVII SBIE},
  year      = {2026},
  publisher = {SBC}
}