论文部分内容阅读
本文主要研究协议开发流程中协议测试阶段的工作。首先较全面的介绍了协议工程和协议一致性测试；接着，对协议工程的理论基础——形式化描述技术进行研究。重点研究消息序列图(MSC)机制。针对MSC2000中新增的时间概念，提出了时间事件与时限归并，用于分析包含时间概念的MSC系统进程轨迹。并且，在MSC2000消息机制的基础上对状态操作符进行扩展，增加了全局顺序对事件发生轨迹的约束。扩展后的MSC能更加完整地描述消息的轨迹与系统的动态特征。
接着，在介绍树表结合语言(TTCN)的基础上，研究了新一代测试描述语言TTCN-3的核心语言部分。一致性测试的核心技术是抽象测试集的生成，本文在分析了现有测试序列生成方法的优缺点之后，分析了抽象测试集生成技术的发展趋势。