Cyber Sim6-8 · Cyber Sim: Model one relationship
Ready
Computer Science · Middle school

Cyber Sim

Computational trace investigation

Guided investigation

Cyber Sim: Model one relationship

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

Cyber Sim Grade 6 mission: Use the provided comparison and keep one condition fixed. Build evidence for this learning goal: Recognize private information and choose when to ask a trusted adult before sharing.

  • 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 Cyber Sim 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