Kong Eng Cheng

Learn More
Communications systems offer services and features to their subscribers. Features are often among the main selling points of such systems and they can be implemented and provided independently by specialized operators under request of users, or by users directly. Features can build on each other, but can also mutually interact in subtle and unexpected ways.(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)