the derivation of test cases from sdl specifications
This paper describes the derivation of test cases for communications protocols based on a formal specification technique. It presents a methodology for generating test cases from the CCITT (International Consultative Committee for Telephones and Telegraphs) Specification and Description Language (SDL). An algorithm is given for constructing a finite global tree called the global developed tree. The algorithm is based on some reasonable restrictions for terminating the growth of global nodes, which could be infinite. The paper discusses how to convert the test processes into finite test suites. Three components are given : testing methodology for SDL, SDL to the global tree translation and the termination of the global tree.
sdl tree test suites finite state machine products formal description techniques (fdt) software testing test coverage