论文部分内容阅读
对协议测试套的产生大部分都是手工寻找的,介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具,该工具是基于由形式描述技术语言E-LOTOS转换成的GE-LOTOS.并对Internet上的一个标准路由信息协议(RIP协议)进行了TTCN测试套的应用.
自动产生TTCN测试套以及对RIP协议的应用
【摘 要】
：
对协议测试套的产生大部分都是手工寻找的,介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具,该工具是基于由形式描述技术语言E-LOTOS转换成的GE-LOTOS.并对Internet上的
【机 构】
：
内蒙古大学计算机学院
【出 处】
：
内蒙古大学学报：自然科学版
【发表日期】
：
2004年6期
【基金项目】
：
国家自然科学基金，内蒙古自然科学基金
其他文献
当下,在与高校新闻网的竞争中,高校校报必须在新闻的深度和精细度上下功夫,而提高校校报栏目的可读性是实现上述目标的最佳手段。本文以校报栏目的经营为切入点,结合《河北科
支持向量机是最近几年国际上模式识别研究的热点,具有全局最优和良好的泛化能力.本文在理论分析江门市GDP预测指标体系的前提下,研究了基于SVM的预测方法,并运用实际数据进行
对Web三层服务结构,ASP的工作原理,XML与ASP的结合在网络程序开发中的优势进行了阐述,重点讨论了三层服务结构模型下基于ASP的关系数据库数据的XML存储,并给出了相应程序实现
该文以淮安生物工程高等职业学校园艺技术专业为例,简述了五年制高职园艺技术专业“工学结合,三位一体”人才培养模式及“三段式”实践课程体系的构建。
高校安全稳定是学校事业有序开展的前提。由于辅导员在高校安全稳定工作中的特殊地位，加强辅导员队伍建设意义重大。研究表明，辅导员人力资源不足是影响高校安全稳定的重要问题
针对电信运营分析系统的特殊要求,仔细分析了系统的数据源情况和数据转换要求,设计并实现了一个能够完成经营分析系统数据抽取转换工具.
云南小磨高速公路第七合同段巴洒老寨二号隧道地表大范围开裂，有形成滑坡趋势，采用钢管桩抑制坍体成型，总结钢管桩施工在抑制山体滑坡方面的显著效果。