States of SUT interface

[pjljvandelaar]

Would the following interface of set of possible states of SUT result in a performance gain?

• inputMenu
  contains only input channels [and hidden channels for internal processes]
• inputTaken
  move to next set of possible states given that the input is provided to the SUT
  Note this function should only be called when the input is offered and accepted by SUT
  and no output occurred before input was delivered to SUT via mapper / adapter
• observedOutput :: Maybe Mismatch
  move to next set of possible states given the observed output
  of course, report mismatch when output is no in agreement with model
  of course, observed Output can be Quiescence (no output at all observed)

By restricting the menu to input (and hidden channels) only, TorXakis has less to calculate and outputs are never offered anyway!