Duplicate Alt Branches

Definition:

• Different alt constructs contain duplicate branches

Code Example:

testcase tc_example_TestCase1() runs on ExampleComponent {
    timer t_guard ;
    // . . .
    t_guard.start(10.0) ;
    alt{
        [] pt.receive(a_MessageOne){
        pt.send(a_MessageTwo);
        }
        [] any port.receive {
        set.verdict(fail);
        stop;
        }
        [] t_guard.timeout{
        set.verdict(fail);
        stop;
    }

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