Kong Eng Cheng

Learn More
Some of the major difficulties in developing practical tools using formal methods to analyze and manage feature interactions include: • the significant upfront investment that is required to develop and verify a formal model for the AIN architecture before any interaction analysis can be carried out • the time consuming process of formally specifying a(More)
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(More)
  • 1