Over-Specific Runs On

Definition:

• A behavioral entity (function, test case or altstep) is declared to run on a component, but uses only elements of this component’s super-component or no elements of the component at all.

Code Example:

type component BaseComponentType {
  port OutPort pOut;
}

type component ExtendedComponentType extends BaseComponentType {
  port InPort pIn;
  timer t;
}

function f(string aMessage) runs on ExtendedComponentType {
  if (checkSomething()) {
    pOut.sent(aMessage);
  }
}

References:

Quality attributes

• - Code Example

• - Cause and Effect

• - Frequency

• - Refactoring

• An approach to quality engineering of TTCN-3 test specifications

• Pattern-based Smell Detection in TTCN-3 Test Suites

• Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites