优化消息轨迹图以提高 TTCN 测试套的开发效率

北京邮电大学学报

优化消息轨迹图以提高 TTCN 测试套的开发效率

中国科学技术大学电子工程与信息科学系, 合肥 230027

基金资助:
自然科学基金重大研究计划资助项目( 90104010);自然科学基金科学部主任基金资助项目( 60241004);教育部博士点基金资助项目( 2000035802); 安徽省自然科学基金资助项目( 01042208); 国家“863 计划”资助项目( 2001AA112062 和 2001AA121016); 中国科学院院长基金特别支持资助项目(基计字 905 号)

MSC Graph Optimization to Enhance the Development Efficiency of TTCN Test Suit

Department of Electronic Engineering and Information Science, University of Science and Technology of China, Hefei 230027, China

Supported by:

摘要/Abstract

摘要： 最新的消息轨迹图(MSC)标准 MSC2000 增加了包括定时约束等很多新要素, 但用于表达定时器事件的符号较多,而且有时还要借助图注的方式,直观性欠佳. 文中提供了一种优化的定时器事件表达方式,并应用于 H. 323、H. 245 等协议一致性测试的 TTCN 测试套开发中.

关键词: 协议工程, 消息轨迹图, TTCN 测试套, 一致性测试

Abstract:

The latest MSC standard , MSC2000 , includes new features such as time constraints. But in order to describe timer events, more symbols are needed. Moreover, notations in figure are even introduced. It is not intuitionistic enough.A method to optimize the description of timer events is proposed and followed by some applications in developing TTCN test suits of H. 323, H. 245 etc. protocol conformance testing.

Key words: protocol engineering;message sequence charts;TTCN test suit, conformance testing

中图分类号:

TP311

吴慧萍, 　屈玉贵, 　赵保华 .

优化消息轨迹图以提高 TTCN 测试套的开发效率

[J]. 北京邮电大学学报.

WU Hui-ping, 　QU Yu-gui, 　ZHAO Bao-hua. MSC Graph Optimization to Enhance the Development Efficiency of TTCN Test Suit [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM.

[1]	郭雄辉,赵保华,周颢,屈玉贵. 基于构造类别代数的数据流和控制流相结合的协议测试 [J]. 北京邮电大学学报, 2003, 26(S2): 7-11.
[2]	朱晓民1,廖建新1,陆钢2,马旭涛1,徐童1,王晖1. 软交换中协议关系研究 [J]. 北京邮电大学学报, 2003, 26(S2): 85-90.