吴慧萍
- 作品数：4 被引量：3H指数：1
- 供职机构：中国科学技术大学信息科学技术学院电子工程与信息科学系更多>>
- 发文基金：中国科学院院长基金国家教育部博士点基金安徽省自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 优化消息轨迹图以提高TTCN测试套的开发效率
- 最新的消息轨迹图（MSC）标准MSC-2000增加了包括定时约束等很多新要素,但用于表达定时器事件的符号较多,而且有时还要借助图注的方式,直观性欠佳.文中提供了一种优化的定时器事件表达方式,并应用于H.323、H.245...
- 吴慧萍屈玉贵赵保华
- 文献传递
- 利用半可控接口进行通信协议一致性测试被引量：2
- 2003年
- 介绍了一种基于半可控接口的图转换算法,并应用于某通信产品的H.245协议一致性测试中,不仅增加了可测试转换的数目,还使得变换后的EFSM可以直接应用传统的测试序列生成方法产生最优的测试序列,错误覆盖率和测试效率都得到了显著的提高。
- 吴慧萍屈玉贵赵保华
- 优化消息轨迹图以提高TTCN测试套的开发效率被引量：1
- 2003年
- 最新的消息轨迹图(MSC)标准MSC 2000增加了包括定时约束等很多新要素,但用于表达定时器事件的符号较多,而且有时还要借助图注的方式,直观性欠佳.文中提供了一种优化的定时器事件表达方式,并应用于H 323、H 245等协议一致性测试的TTCN测试套开发中.
- 吴慧萍屈玉贵赵保华
- 通信协议的一致性测试
- 该文的主要内容如下:1)根据ISO/IEC9646的定义,讨论了一致性测试概念、一致性测试级别、测试过程、测试模型、测试方法和测试套的结构.2)指出了对协议进行形式化描述的必要性,分析、比较了几种常用的协议形式化模型和形...
- 吴慧萍
- 关键词：H.245协议
- 文献传递
