检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国科学技术大学电子工程与信息科学系,合肥230027
出 处:《北京邮电大学学报》2003年第z2期80-84,共5页Journal of Beijing University of Posts and Telecommunications
基 金:自然科学基金重大研究计划资助项目(90104010);自然科学基金科学部主任基金资助项目(60241004);教育部博士点基金资助项目(2000035802);安徽省自然科学基金资助项目(01042208);国家"863计划"资助项目(2001AA112062和2001AA121016);中国科学院院长基金特别支持资助项目(基计字905号)
摘 要:最新的消息轨迹图(MSC)标准MSC 2000增加了包括定时约束等很多新要素,但用于表达定时器事件的符号较多,而且有时还要借助图注的方式,直观性欠佳.文中提供了一种优化的定时器事件表达方式,并应用于H 323、H 245等协议一致性测试的TTCN测试套开发中.The latest MSC standard, MSC?2000, 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 H323, H245 etc. protocol conformance testing.
关 键 词:协议工程 消息轨迹图 TTCN测试套 一致性测试
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.224