@startuml
skinparam BackgroundColor F0F0F0

start
partition Initialization {
    :enforce pretest conditions:
    -read test input data:
    **requires BT device name
    -pretest machine state:
    ** bluetooth turned on;
}

partition test-run {
    :scanOn;

    repeat
        if( timeout exceeded )
            : request available devices;
        else (true = failure)
            stop
        endif
    repeatwhile (the BT device name in available devices)

    : pair with the device & turn scan off;

    repeat
        if( timeout exceeded )
            : request bonded devices;
        else (true = failure)
            stop
        endif
    repeatwhile (the BT device name in bonded devices)

    : turn BT off;
    : turn BT on;

    repeat
        if( timeout exceeded )
            : request bonded devices;
        else (true = failure)
            stop
        endif
    repeatwhile (the BT device name in bonded devices)

    : unpair the device;

    if (the BT device name is not in bonded devices) then (success)
        stop
    else (false=failure)
        stop
    endif
}
@enduml