摘要
提出了一种通过执行TTCN-3抽象测试套来验证应用程序正确性的新方法.介绍了SIP协议(Session Initiation Protocol,会话初始协议)及SIP协议的要素和消息,介绍了用于开发相关测试套的TTCN-3语言,给出了一个具体应用实例.实例验证该方法具有可行性.
The paper proposes a new method through the execution of TTCN-3 abstract test suite to verify the correctness of the application program. Firstly, the paper introduces the mission of SIP, its main elements and relevant information. Secondly, it introduces the core language of TTCN-3, used to develop the abstract test suite. Finally, it provides an example which proves the feasibility of the new method.
出处
《北方工业大学学报》
2009年第1期26-31,共6页
Journal of North China University of Technology
基金
北京市自然科学基金资助项目(4062012)
