基于Petri网的测试路径选择标准

首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也给出了考虑数据流进行测试的标准．然后通过例子,给出了基于各个标准产生的测试路径,最后给出了结论以及下一步应考虑的问题．     

既考虑数据流又考虑控制流的测试方法分析及比较

研究数据流与控制流相结合的测试方法，为进行比较，采用了三个不同的数据流标准，对于控制流选定操作符覆盖标准，提出了求可执行变迁序更列的算法，并且给出了关于测试方法，测试序列数目及错误覆盖能力的比较。     

一种改进的转换可执行分析测试序列生成算法

为确保测试序列对控制流和数据流的覆盖,提出了一种对以扩展有限状态机(extended finitestate machine,EFSM)为模型描述的协议进行测试的方法.该方法在控制流部分采用惟一输入输出(unique input/output,UIO)序列,在数据流部分采用全定义-使用路径(all Def-use paths)标准,通过改进的转换可执行分析(transition executability analysis,TEA)方法,使用深度优先策略生成TEA树,同时得到可执行的EFSM控制流和数据流测试序列以及所有变量的定义-使用对(Def-use pairs).     

面向数据流的服务组合演化影响性分析方法

BPEL已经成为事实上的Web服务组合标准语言,利用BPEL控制流图(BPEL flow graph,BFG)对BPEL进行建模,通过模型对服务组合的数据流进行分析,提出一个面向成员服务的数据依赖度量集;通过此度量集可以量化成员服务的数据依赖复杂度,从而分析成员服务对BPEL中数据流的影响程度与范围,为服务组合演化策略的制定及实施提供依据.     

基于依赖关系的数据流Petri网一致性分析

现有的大部分关于业务流程一致性的研究主要考虑控制流.而数据信息也是流程中需要重点关注的部分,在考虑数据视角后,模型与事件日志间的一致性可能出现很大的不同.提出一种基于依赖关系的数据流Petri网一致性检查方法.方法引入决策表的概念,通过寻找模型中存在的决策点并对其添加决策表来构建合理且尽可能贴合实际系统的数据流Petri网模型;根据模型与事件日志中存在的依赖关系,使用给定的代价函数计算最优对齐与参考对齐所需代价值,在此基础上计算得到日志与模型的一致性度,根据结果衡量流程执行的一致性;通过实例分析对所提方法进行验证,结果表明,融合数据流与决策表的方法在一致性检查中更具合理性.     

基于一种扩展分层有限状态机模型的测试生成

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.     

分布式实时系统的一种系统模型

提出了一种能捕获进程级数据流和控制流的系统模型。这种模型可以处理系统数据相关性和控制相关性，更好地进行进程的调度，满足分布式实时系统的实时性。     

一种基于执行环境特征的组合服务混合执行机制

研究了一种组合服务混合执行机制,建立了服务间的交互协议,给出了执行环境特征模型,并在该模型基础上给出了执行模式选择规则.该机制结合了控制流、数据流全集中,控制流集中、数据流分散两种执行模式的特点,能够根据组合服务业务特性和网络环境特点动态选择执行模式,可以使得数据量较大的消息直接在服务间传递而无需通过中心节点转发.实验结果表明:组合服务混合执行机制通过在组合服务执行过程中动态选择执行模式,能够有效保证组合服务的执行效率.     

基于扩展的层次有色petri网的组合服务测试用例生成

为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义一使用路径覆盖标准.     

基于Petri网模型的OSPF路由处的测试序列生成

OSPF协议是一种动态路由协议,它利用内部的链路状态数据库来维护和计算路由,它的路由算法是本协议的关键部分,本给出了路由算法的Petri网模型,并使用控制流和数据流测试相结合的一种方法,在此基础上产生测试序列。     

一个程序静态分析方法

阐述了程序静态分析方法，指出如何建立程序调用关系结构树、程序控制流和数据流，以及如何找出程序的结构错误、异常控制流和数据流．     

投影图邻接矩阵生成算法

在投影图邻接矩阵生成算法的基础上提出了一种改进算法，该算法的复杂性Ｏ（ｎ２）．讨论了程序静态测试中不可出型控制流，不可进型控制流，主控制流中断等错误点的定位问题，类似的结论对数据流也适用，为构造程序静态测试工具提供了新的方法．另外，投影图邻接矩阵生成算法可用于通讯、交通、运输等领域，用于检测一个子集经另一个子集的可达性问题．     

投影图邻接矩阵生成算法

在投影图邻接矩阵生成算法的基础上提出了一种改进算法，该算法的复杂性Ｏ（ｎ＾２）。讨论了程序静态测试中不可出型控制流，不可进型控制流，主控制流中断等错误点的定位问题，类似的结论对数据流也适用，为构造程序静态测试工具提供了新的方法。另外，投影图邻拉矩阵生成算法可用于通讯、交通、运输等领域，用于检测一个子集经另一个子集的可达性问题。     

一种针对可执行代码的内存泄漏静态分析方案

针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性.     

OSPFv3协议一致性测试序列的自动生成

由于手工法生成的测试例具有随机性、不确定性和不完整性,因此提出了一个自动生成测试例的方法,使用该方法生成的测试例比运用手工法生成的测试例准确、完整.该方法首先为OSPFv3协议的邻居状态转换过程建立了部分的EFSM模型,然后遵循故障模型的故障类型标准,使用数据流与控制流相结合的方法自动生成测试序列,对生成的测试例经过测试发现了协议实现的一些错误.     

微机系统自测试方法的探索

本文提出最小路径差集定位法,对微机系统的自测试问题进行了探索。在对微机系统硬件结构充分分析的基础上,根据所建立的故障模型,分别用数据流或控制流的最小路径差集产生测试方法,尽量使故障定位到片(IC＇chip)。     

一种分布式过程模型及实例的优化方法

ADEPT模型具有分布式对称控制结构, 可以对控制流、数据流建模. 但由于ADEPT模型未被形式化描述, 所以无法判断过程模型及其实例的正确性.对ADEPT模型进行了形式化定义, 并结合实例状态机给出了过程实例的形式化描述; 在此基础上提出了用于验证过程模型正确性及过程实例一致性的优化方法.     

基于AGWL的网格工作流规范研究及其应用

网格工作流的规范是网格工作流研究领域的一项基础且重要的内容,抽象规范为用户提供了更为灵活的规范方式,用户只需关注网格工作流而无需关心其底层的实现细节.详细阐述了抽象网格工作流语言AGWL的特性、数据流结构、控制流结构及属性和约束,并通过一个AGWL表示的"旅行代理"示例以显示其强大的网格工作流语言描述能力.     

自适应窗口滑动的物联网数据流典型相关分析

针对传统的数据流典型相关分析算法没有考虑数据流速率的动态变化特性,不适用于物联网实际情况的问题,提出一种基于自适应窗口滑动的数据流典型相关分析算法,依据数据流速率变化,设计自适应的窗口滑动策略,并动态调整滑动窗口。实验结果表明,可以保证物联网数据流典型相关分析的实时性、准确性和高效性。     

基于AGWL的网格工作流规范研究及其应用

网格工作流的规范是网格工作流研究领域的一项基础且重要的内容,抽象规范为用户提供了更为灵活的规范方式,用户只需关注网格工作流而无需关心其底层的实现细节。详细阐述了抽象网格工作流语言AGWL的特性、数据流结构、控制流结构及属性和约束,并通过一个AGWL表示的“旅行代理”示例以显示其强大的网格工作流语言描述能力。