论文部分内容阅读
以GSM-R网络和FAS系统的互联互通为中心,围绕着测试理论的基本知识和测试技术的应用展开研究,本论文共分两大部分:
一部分是关于互联互通测试理论中一致性测试的研究。主要从一致性测试的概念、分类、模型、测试方法和测试语言着手,总结了测试的过程和步骤,详细研究了形式化描述语言TTCN,介绍了TTCN描述抽象测试集的构成,TTCN的行为树、行为表和语法构成;还用事实证明了穷举测试是不现实的,给出了科学设计最小测试集的几种方法。但仅有测试的理论是不够的,我们重点关注的是在铁路环境下,如何应用测试理论来指导测试行为。为此,本文给出了铁路环境下开发一致性测试软件的设计模型,分别设计了软件自动测试和软件人工手动测试过程,包括测试用例的编写,并对这两种方法的优劣进行了分析,为以后的测试工作探出了一条比较清晰的路子。
另一部分是关于互联互通测试理论中互操作性测试的研究。阐述了互操作性测试的分类、模型、测试方法和测试过程,指出了互操作性测试与一致性测试的异同,以及互操作性测试理论在我们实际测试工作中的应用情况;这一部分的重点是结合本人实际测试工作,设计了最小测试集,总结了GSM-R网络和FAS系统互操作性测试中测试环境的搭建过程,这在整个测试中是非常重要的,测试环境搭建完成后,按照编辑好的测试用例即可完成全部测试。文中各部分系统的具体数据配置和一些宝贵的解决实际问题的测试经验,可以留给正在做这方面工作的人或对此内容感兴趣的人作为日后的参考资料。