【摘 要】
：
文中将IOCO一致性测试理论与着色Petri网(Colored Petri Nets,CPN)进行优势融合,提出一种基于CPN模型的IOCO一致性测试生成新方法。首先,定义了面向一致性测试的CPN模型(
【机 构】
：
College of Computer Science, Inner Mongolia University, Hohhot, 010021
论文部分内容阅读
文中将IOCO一致性测试理论与着色Petri网(Colored Petri Nets,CPN)进行优势融合,提出一种基于CPN模型的IOCO一致性测试生成新方法。首先,定义了面向一致性测试的CPN模型(Conformance Testing oriented,CT-CPN),描述系统规范说明；定义了基于CT-CPN描述的PN-IOCO一致性关系；之后,构建CT-CPN描述的测试目的模型,基于该模型与描述系统规范说明的CT-CPN模型的同步模拟执行,提出了一种测试目的驱动的IOCO一致性测试生成方法,并证明了所生成测试例的可靠性及其对测试目的的覆盖完备性。基于CT-CPN模型的IOCO一致性测试方法以实际数据驱动测试例的生成,有效保证了所生成测试例的可执行性。文中使用简单资源共享协议例示了上述测试例生成方法的应用过程,说明其可用性与有效性。
其他文献
本文介绍了中医的学术思想，并详细阐述了慢性肝炎(病)临证要诀：1、辨证分主次、抓关键；2、立足现代医学，病证结合；3、以“痪血”为主辨证，灵活用药；4,辨病与辨证相结合；5、以人为
为了解贵州主栽杧果品种的果实品质特性,分析了'金煌杧'贵妃杧'玉文杧'桂七杧'红玉杧'5个主栽杧果品种果实的12个品质指标和香气成分.结果表明:5个杧果品种的平均单果重在380
青云山省级自然保护区位于韶关翁源县的东南部,本研究在查阅文献、历史标本的基础上,对本区进行全面踏查、标本采集并鉴定,从而进行植物物种多样性编目和区系分析.结果表明:
在当前的云计算数据中心网络中,服务器、交换机等设备的地址通常包含了网络拓扑、设备位置等信息,以达到容灾备份,资源调度,高效路由等目的。所有设备需要在正确配置地址
近年来,Internet拓扑结构的扁平化趋势得到了学术界和工业界的关注。目前对该现象的研究多集中在定性描述上,没有大规模的测量数据支撑。从域间路由的角度,分析了Interne
从生长介质的种类、介质的选择、有机介质的配置和隔离层的设置4个方面,介绍了国内外有机介质和地垫隔离层在无土草皮生产中的研究与应用进展,并阐述了有机介质配置对无土草
专用短程通信协议(DSRC)为实现对车辆的实时、动态和智能化管理提供了技术规范,是智能交通系统(ITS)的核心技术之一。基于Angilent基带信号产生和信道仿真仪器N5106A,本
电动汽车具有节能、减排等优势,近年来发展迅速。然而电动汽车的发展仍处于“建设”阶段,主要原因是质量还不成熟、基础设施的建设也未能跟进。针对上述原因,现有一些电
未来互联网实验者通常需要在虚拟化试验床上验证创新网络架构或者新型网络协议,而当前对试验床虚拟网络的初始化配置必须通过手工方式进行,复杂度高、效率低并且容易出错
随着互联网和漏洞利用技术的发展，堆缓冲区溢出漏洞越来越受到人们的重视。本文对DLmalloc的数据结构和核心算法进行了仔细分析，然后通过堆缓冲区漏洞利用实验，归纳总结了两