Made World6-8 · Made World: Model one relationship
Ready
Computer Science · Middle school

Made World

Computational trace investigation

Guided investigation

Made World: Model one relationship

Made World: a trace succeeds for one input and must be checked step by step on another.

Made World Grade 6 mission: Use the provided comparison and keep one condition fixed. Build evidence for this learning goal: Compare how designed objects follow rules and make choices possible or impossible.

  • input
  • sequence
  • trace
  1. 1Specify
  2. 2Predict
  3. 3Trace
  4. 4Test
  5. 5Debug
  6. 6Defend tradeoff
Model

Input and execution rule

Run the baseline and one changed case. Keep the named controls fixed.

Trace rule
Execute the Made World rule one state at a time.
Test suite
ordinary input, boundary input, adversarial input
Failure signal
The observed trace diverges from the specification.
Choose a specification that can be tested with more than one input.
Evidence

Test-case trace

Commit a testable model and run the investigation to generate evidence.

Your specification, executable trace, failed case, repair, and tradeoff defense become inspectable computational evidence.

Standards claim pending educator review
Original World tools