Please choose your delivery country and your customer group
A method for validation of abstract test suites is proposed for protocols specified in SDL and abstract test suites (ATSs) given in concurrent tree and tabular combined notation (TTCN). The basic idea is to derive the SDL specification of the tester for every test case in the ATS, and to build the reachability tree for the combined test system composed of protocol reference specification and of the tester. The control of some of the requirements an ATS should fulfill is built in the model used for validation. For these error and warning messages are received during the runtime. Other conditions-like deadlocks and livelocks-are checked by the validation algorithm. The method proposed can be used for automatic validation of abstract test suites specified in concurrent TTCN