协议一致性测试研究及测控系统形式化协议设计技术.pdf

东南大学
博士学位论文
协议一致性测试研究及测控系统形式化协议设计技术
姓名:高翔
申请学位级别:博士
专业:精密仪器及机械
指导教师:黄惟一
20070201
摘要得特定信息或者运行到特定状态,:协议工程;形式化技术;协议一致性测试;动态协议一致性测试随着网络技术的发展,组建网络化测控系统已是现代测控工作者的重要任务,通信协议是网络的灵魂,如何设计出具有测控网络特点、功能上正确可靠,逻辑上完整的通信协议,并且系统地进行协议验证、协议测试和协议实现,已经成为一个非常具有挑战性的课题。论文致力于将近年来新兴的交叉学科一一协议工程引入测控领域。协议工程是一体化、形式化的协议开发过程。形式化协议理论是协议工程中一个重要的研究领域,论文的一个研究重点是:结合一简单的测控系统实例。详细讨论了协议形式化设计工作。具体包括协议文本设计技术、、协议实现和协议一致性测试技术等。论文另一个研究重点是协议一致性测试。目前,常用于协议一致性测试的形式化模型主要是有限状态机畚幕贔模型讨论了一致性测试序列生成技术、,对常见的蛄猩杉际踅斜冉涎芯浚岢鲆恢諱伤惴ā2⒊功应用于动态协议一致性测试工作中:在测试序列生成算法方面:对常见算法进行了比较研究,在此基础上,提出了一种基于淖疃绦蛄猩伤惴ǖ母慕惴ǎ换贐拍钐出了一种新的一致性测试序列的算法,算法利用蛄小序列和叠加技术,只需计算闹泄实菰甭肪锻方诘愕腂湍┙诘愕腢,其他状态的蜕綢蛄则隐舍在测试序列之中,同时不需要像其他算法一样首先生成测试子序列,然后将其叠加串接,而是直接生成一个测试序列,通过序列和蛄械墓餐饔茫┐罅怂惴ǖ氖用场合;在测试序列生成方法方面:提出了一种高效率、高可靠性的基于P偷腢测试序列生成方法,通过数学模型的转换,利用工具,快速、高效地获得测试序列,理论证明:对不含汇聚边的,方法解最优:随后论文分析了传统静态测试方法的缺陷,,提高了测试效率:,提出环境配置测试方法。使被测试系统自动获行有针对性的测试。论文的研究工作不仅对学科交叉起到了重要推动作用,而且通过对协议一致性测试序列生成技术、动态协议一致性测试技术、、序列执行、测试方法等层面具有指导意义与实用价值。东南大学博宦畚
瑃·甿.,瑆彻瓼琲.。‘东南大学博宦畚。籺..,.甀—Ⅱ
东南大学博宦畚籶瓵.,琩簆篺篸
缩略词形式化描述技术时间顺序规格语言第三代合作伙伴计划服务原语辴抽象测试集国际电报电椒话咨询委员会通信系统演算中国邮递员问题通信顺序进程约束满足技术确定有限状态机区分序列法即椒外部行为描述形式化模型扩展有限状态机用于工业测量与控制系统的低辰峁褂通信标准扩展状态变迁语言可执行测试集欧洲电信标准协会有限状态机联邦电信标准委员会电子电气工程师协会萃ㄐ帕煊蛑凶钪匾5墓驶曜甲橹被测实现国际电信联盟标准部测试系统中下测试器消息序列图非确定有限状态机测试系统中控制观察点协议数据单元谓词逻辑东南大学博士学位论文猅
疧协议一致性申明条款被测协议实现的附加信息规格化描述语言状态验证椒方法测试用例测试协调过程时态逻辑测试用例树树型表格联合表示法椒唯一输入/输出序列法即椒蛄唯一输入/输出序列即蛄测试系统中上测试器椒特征序列法也称椒东南大学博宦畚
研究生签名:—圣耻导师签名:垒鸷期:。籪期:兰蔓■。东南大学学位论文独创性声明东南大学学位论文使用授权声明研究生签名:本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。东南大学、中国科学技术信息研究所、国家图书馆有权保留本人所送交学位论文的复印件和电子文档,可以采用影印、缩印或其他复制手段保存论文。本人电子文档的内容和纸质论文的内容相一致。除在保密期内的保密论文外,允许论文被查阅和借阅,可以公布ǹ论文的全部或部分内容。论文的公布括刊登谌ǘ洗笱а芯可喊炖怼的研究成果。尽我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得东南大学或其它教育机构
⒄狗较蛑随着网络技术的发展。组建网络化测控系统已是现代测控工作者的重要任务,通信协议是网络的灵魂,如何设计出满足测控系统特点的、功能上正确可靠,逻辑上完