首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  免费   0篇
  国内免费   2篇
自动化技术   5篇
  2022年   1篇
  2018年   1篇
  2017年   1篇
  2009年   2篇
排序方式: 共有5条查询结果,搜索用时 0 毫秒
1
1.
从网管实际需求出发,针对校园网一些传统网络建设缺失网络布线拓扑导致维护困难的现象,采用基于XML的支持telnet设备互操作模型和计费集成设计了一种简单、快捷、低廉的方法,基于统计意义自动发现网络布线拓扑。  相似文献   
2.
为满足用户服务功能链需求,加快服务功能链编程效率,设计一种面向服务功能链领域的专用语言SFCDSL.从规范化和可扩展性考虑,首先提出SFC抽象化层次框架和SFCDSL编程框架.对于SFCDSL中的服务关系采用基于面向对象设计方法,给出了基于软件定义SF和面向对象的SFC形式化定义,在此基础上重点分析了SFCDSL的对象关系设计和风格设计,之后以实现的北向扩展ETSI NFV环境的Intent和南向基于Floodlight SDN的SFC框架原型,结合典型需求实例说明了SFCDSL语言可用性、可演化性和可扩展性优势,最后与其它SFC技术进行了分析对比.  相似文献   
3.
本文针对计算机教学的难点和普遍存在的重理轻文倾向,以盲人摸象的新解另辟蹊径,提出教学过程中应注重结合文、哲等学科以提升教学效果,实践教学证明,这样的思维方式有益于启发学生的跳跃思维,对传统的计算机教育有一定的启示意义。  相似文献   
4.
鉴于SDN网络中数据转发与控制相互分离的特性,OpenFlow协议在其南向接口中扮演着重要的角色。随着下一代互联网的发展,IPv4可供分配的地址资源已然耗尽,瓶颈地位益发凸显。如何尽快部署IPv6,使其服务于社会生产与生活,使得当前网络与IPv6网络长期共存或平滑过渡到IPv6网络是工业界与学术界要解决的问题。SDN则提供了这样一个选项,其中OpenFlow协议是否支持IPv6协议便成为我们关注的重点。通过形式化方法对OpenFlow协议进行形式化建模,得到其非确定性有限状态机模型,在此基础上得到其测试生成树,以指导测试。同时,对于其是否支持IPv6进行重点关注,利用组合测试的方法,产生了167条测试例。 完成了测试引擎的开发,支持高效的测试生成算法,以及测试执行与判定。利用此测试引擎,以上述测试例为测试输入,执行测试过程,同时进一步对测试结果进行分析,得到了定量的分析结果,符合预期要求。  相似文献   
5.
张玉荣  李华  邢熠  王显荣  阮宏玮  张素梅 《软件学报》2017,28(10):2564-2582
在对复杂的软件系统进行测试时,生成的系统状态空间可能会非常庞大.为了避免对整个状态空间进行遍历,提出将on-the-fly方法与CPN形式化建模方法结合起来,用于生成测试例.在这种方法中,无需对整个状态空间进行遍历,只是仅对测试人员感兴趣的部分状态空间进行针对性的测试.首先,给出CPN和扩展可达图的定义,介绍了on-the-fly测试方法中涉及的相关概念,包括系统规约、测试目的、同步乘积和测试例等.然后,实现了同步乘积算法,并设计相关测试例对其进行了测试.最后,选定一个被测系统示例CPN建模与on-the-fly结合的方法,并通过适配器实现与被测系统的交互,生成和执行测试例,由此验证了方法的可行性和有效性.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号