您的位置： 专家智库 > >

马魏

作品数：8 被引量：0H指数：0
供职机构：河海大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 8篇中文专利

领域

  • 1篇自动化与计算...

主题

  • 5篇数据流
  • 5篇控制流
  • 4篇数据流分析
  • 4篇流图
  • 4篇控制流图
  • 3篇数据流测试
  • 3篇BPEL
  • 3篇测试用例
  • 3篇测试用例生成
  • 2篇神经网
  • 2篇神经网络
  • 2篇神经网络结构
  • 2篇自动化
  • 2篇自动化分析
  • 2篇网络
  • 2篇网络结构
  • 2篇面向数据
  • 2篇面向数据流
  • 2篇测试用例生成...
  • 2篇插桩

机构

  • 8篇河海大学

作者

  • 8篇张鹏程
  • 8篇马魏
  • 8篇吉顺慧

年份

  • 1篇2021
  • 4篇2019
  • 3篇2017
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
一种基于数据流分析的异常检测方法
本发明公开了一种基于数据流分析的异常检测方法，包括如下步骤：(1)采用扩展控制流图XCFG抽象地描述BPEL流程；(2)基于XCFG分析BPEL流程的数据流；(3)基于数据流分析结果检测BPEL流程中是否存在‑u异常(变...
吉顺慧马魏张鹏程
文献传递
一种基于BPEL组合服务的修改影响分析方法
本发明公开了一种基于BPEL组合服务的修改影响分析方法，包括如下步骤：(1)构造BPEL组合服务基线版本和演化版本的XCFG模型；(2)分析组合服务两个版本的数据流；(3)识别演化版本中受修改影响的定义‑使用对。本发明的...
吉顺慧马魏张鹏程
文献传递
一种基于演化的BPEL组合服务并发访问冲突检测方法
本发明公开了一种基于演化的BPEL组合服务并发访问冲突检测方法，包括如下步骤：(1)构造BPEL组合服务基线版本和演化版本的控制流模型XCFG；(2)计算两个版本中的并发集；(3)识别并分析演化版本中的流程修改，计算需要...
吉顺慧马魏张鹏程
文献传递
一种基于BPEL组合服务的数据流分析方法
本发明公开了一种基于BPEL组合服务的数据流分析方法，包括如下步骤：(1)构建BPEL组合服务的扩展控制流图XCFG；(2)计算XCFG结点的可到达定义；(3)计算变量的定义‑使用对。本发明的有益效果为：基于扩展控制流图...
吉顺慧马魏张鹏程
文献传递
一种基于扩展控制流图的程序转换方法
本发明公开了一种基于扩展控制流图的程序转换方法，包括如下步骤：(1)构建BPEL组合流程的XCFG模型；(2)构建成员服务的XCFG模型；(3)基于组合流程和成员服务的XCFG模型创建Promela程序。本发明的有益效果...
吉顺慧马魏张鹏程
一种面向数据流的测试用例生成方法
本发明公开了一种面向数据流的测试用例生成方法，包括如下步骤：(1)对待测程序进行数据流分析，获取程序中所有的定义‑使用对；(2)设计并训练BP神经网络，以模拟适应度函数；(3)利用遗传算法生成覆盖所有定义‑使用对的测试用...
吉顺慧陈琴张鹏程马魏
文献传递
一种基于扩展控制流图的程序转换方法
本发明公开了一种基于扩展控制流图的程序转换方法，包括如下步骤：(1)构建BPEL组合流程的XCFG模型；(2)构建成员服务的XCFG模型；(3)基于组合流程和成员服务的XCFG模型创建Promela程序。本发明的有益效果...
吉顺慧马魏张鹏程
文献传递
一种面向数据流的测试用例生成方法
本发明公开了一种面向数据流的测试用例生成方法，包括如下步骤：(1)对待测程序进行数据流分析，获取程序中所有的定义‑使用对；(2)设计并训练BP神经网络，以模拟适应度函数；(3)利用遗传算法生成覆盖所有定义‑使用对的测试用...
吉顺慧陈琴张鹏程马魏
文献传递
全选 清除 导出
共1页<1>
聚类工具0