Testing

What needs to be tested?

1. Characteristics of the WSD itself
   i.e., Obeys rules in spec
2. Semantics of the WSD
   i.e., partial behavior of agents: Message format & sequence
3. Behavior of processor