论文题名: | 车站站场图逻辑语义解析及基本联锁数据生成算法研究和实现 |
关键词: | 软件测试;计算机联锁;站场图逻辑语义解析;联锁数据生成算法;图搜索 |
摘要: | 软件测试是保证软件质量的关键步骤.测试有效性取决于测试数据的正确性.本文以铁路车站计算机联锁软件测试评估平台的优化为背景,研究了站场图逻辑语义解析及基本联锁数据生成算法,并应用到平台子系统站场CAD拼贴及数据校验中,以确保此子系统生成的测试数据正确、充分.论文介绍了拼贴站场图的单元图库、站场图结构,定义了站场图逻辑语义,阐述了站场图构成规则的知识表示及规则库的建立,提出了运用规则库进行逻辑语义解析的算法.论文对进路搜索算法也有详细的论述.逻辑语义解析过程中,输出站场图中的错误类别及其位置信息,提示修改.文中介绍了站场CAD拼贴及数据校验子系统的程序设计、功能实现,并详细阐述了其中站场图逻辑语义解析及基本联锁数据生成的程序实现. |
作者: | 胥幸燕 |
专业: | 控制科学与工程 |
导师: | 徐中伟 |
授予学位: | 硕士 |
授予学位单位: | 同济大学 |
学位年度: | 2005 |
正文语种: | 中文 |