【摘要】测试生成在软件测试过程中起到很重要的作用,现有的生成测试例的方法大多依靠测试人员手工进行,不仅生成效率低下,生成的测试例在可用性方面也不尽如人意。着色Petri网(ColoredPetriNets,CIN)模型驱动的一致性测试生成方法是一种成熟的测试生成理论,能够有效地提升测试例的可用性。然而这种测试方法受限于单机环境下的建模工具CPNTools,无法进行自动测试生成。针对此问题,论文使用 […]

【摘要】随着因特网及数据挖掘技术的快速发展,因特网软件的使用者对个人隐私数据的安全给予了越来越多的关注。通过WEB服务或服务组合建立起来的软件不但要重视功能需求,还应该重视隐私数据的安全等非功能需求。BPEL是WEB服务组合广泛使用的业务流程执行语言,BPEL中的WEB服务通过交换消息来实现服务间的协作。本文对BPEL流程中隐私数据的使用和传播是否符合隐私规约进行了分析和验证,主要工作如下：第一, […]

【摘要】近年来,随着软件系统的不断复杂化,软件测试成为软件开发中的重要一环,而通常情况下,在软件测试过程中主要分为三个步骤,即：测试例生成、测试例选择和测试例执行。被测系统自动生成测试例时,一般会生成一个庞大的测试例集合,此集合中包含各个功能下的测试例。在实际执行过程中,对这些测试例进行穷尽执行是不可能的,通常情况下,会针对被测系统的某一功能进行测试。所以,基于目的的测试例选择是非常必要的,此过程 […]

【摘要】随着互联网地快速发展,当前的互联网体系结构不能满足多层面的业务需求,出现了改革派和改良派两大派别。改革派的观点是重新设计互联网体系结构,OpenFlow是改革派提出的新型网络交换模型。OpenFlow协议可扩展性是OpenFlow网络可扩展性的基础,其正确性是OpenFlow网络得以发展的前提。因此本文以OpenFlow协议可扩展性为研究对象,以OpenFlowversion1.0为基础, […]

【摘要】随着云计算的不断发展,云计算中的任务调度问题作为云计算中的一个至关重要的方面,也得到了广泛的关注与发展。然而,现有的云任务调度研究中仍存在一些问题,比如调度算法的收敛速度较低,或者任务调度目标较为单一,即不能同时兼顾任务的总执行时间和总成本。针对此问题,论文使用一种用于解决组合优化问题的方法–交叉熵方法,来解决云计算中的任务调度问题,主要做了以下几方面的工作：(1)使用CPN工 […]