期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于Petri网的面向测试的工作流系统建模方法 被引量:6
1
作者 郑长友 刘晓明 +1 位作者 姚奕 任正平 《电子科技大学学报》 EI CAS CSCD 北大核心 2014年第1期119-124,共6页
提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,... 提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。 展开更多
关键词 PETRI网 工作流 工作流建模 工作流测试
下载PDF
基于模型的测试在工作流应用程序中的研究 被引量:1
2
作者 汪祎然 张树东 《计算机测量与控制》 2016年第6期143-146,共4页
近年来,工作流技术越来越多的应用于软件程序中,与之相关的新工作流语言以及工作流引擎也得到了快速的发展;但是,目前辅助工作流应用软件的测试方法仍显不足,特别是工作流引擎测试方面还存在着严重的局限性;为此,提出了基于模型测试的... 近年来,工作流技术越来越多的应用于软件程序中,与之相关的新工作流语言以及工作流引擎也得到了快速的发展;但是,目前辅助工作流应用软件的测试方法仍显不足,特别是工作流引擎测试方面还存在着严重的局限性;为此,提出了基于模型测试的方法对工作流引擎进行测试,此外,还引入了抽象测试框架的概念,将其应用到工作流的测试上,它能够为工作流引擎构建测试环境和测试套件;最后,在Cumbia平台上搭建的一个工作流引擎上进行应用,说明了基于模型的测试方法和抽象测试框架可以有效应用于工作流引擎的测试。 展开更多
关键词 基于模型的测试 工作流测试 基于跟踪执行分析 模型驱动工程
下载PDF
基于工作流软件测试方法的研究
3
作者 石淼 《科技创新导报》 2014年第10期7-10,共4页
在测试工作流软件时,采用业务流程作为基本的测试用例单位,采用基于路径和节点结合的方法进行测试用例的编写,大大提高了业务流程中的审批节点、流程走向、流转条件的覆盖,减少了工作流业务流转方面的缺陷,提高了工作流软件测试的完备... 在测试工作流软件时,采用业务流程作为基本的测试用例单位,采用基于路径和节点结合的方法进行测试用例的编写,大大提高了业务流程中的审批节点、流程走向、流转条件的覆盖,减少了工作流业务流转方面的缺陷,提高了工作流软件测试的完备性和充分性。 展开更多
关键词 工作流测试 业务流程 路径和节点结合
下载PDF
Workflow logs analysis system for enterprise performance measurement 被引量:1
4
作者 Lai Jin(赖瑾) Fan Yushun 《High Technology Letters》 EI CAS 2005年第3期274-279,共6页
Workflow logs that record the execution of business processes offer very valuable data resource for real-time enterprise performance measurement. In this paper, a novel scheme that uses the technology of data warehous... Workflow logs that record the execution of business processes offer very valuable data resource for real-time enterprise performance measurement. In this paper, a novel scheme that uses the technology of data warehouse and OLAP to explore workflow logs and create complex analysis reports for enterprise performance measurement is proposed. Three key points of this scheme are studied: 1) the measure set; 2) the open and flexible architecture for workflow logs analysis system; 3) the data models in WFMS and data warehouse. A case study that shows the validity of the scheme is also provided. 展开更多
关键词 WORKFLOW business performance measure data warehouse OLAP workflow logs analysis
下载PDF
A framework for interoperability of BPEL-based workflows
5
作者 李喜彤 《High Technology Letters》 EI CAS 2008年第4期429-436,共8页
With the prevalence of service-oriented architecture (SOA), web services have become the dominating technology to construct workflow systems. As a workflow is the composition of a series of interrelated web services... With the prevalence of service-oriented architecture (SOA), web services have become the dominating technology to construct workflow systems. As a workflow is the composition of a series of interrelated web services which realize its activities, the interoperability of workflows can be treated as the composition of web services. To address it, a framework for interoperability of business process execution language (BPEL)-based workflows is presented, which can perform three phases, that is, transformation, eonformance test and execution. The core components of the framework are proposed, especially how these components promote interoperability. In particular, dynamic binding and re-composition of work-flows in terms of web service testing are presented. Besides, an example of business-to-business (B2B) collaboration is provided to illustrate how to perform composition and conformance test. 展开更多
关键词 interoperability of workflows colored petri nets conformance test web service testing
下载PDF
Experimental Study and Analysis on Heat Transfer Coefficient of Radial Heat Pipe 被引量:4
6
作者 Chengming Shi Wang Yang Canjun Xu 《Journal of Thermal Science》 SCIE EI CAS CSCD 2010年第5期425-429,共5页
The experimental study was performed on five eccentric radial heat pipes with two outer-tube diameters.The test range can be given as follows,working fluid filling ratio Ω=44%~83%,heat flux q=10000W/m2~32000W/m2,an... The experimental study was performed on five eccentric radial heat pipes with two outer-tube diameters.The test range can be given as follows,working fluid filling ratio Ω=44%~83%,heat flux q=10000W/m2~32000W/m2,and working temperature tv=50 ℃~120 ℃.The correlations between radial heat pipe heat transfer performance and filling ratio,heat flux,working temperature were studied in the experiment.Based on linear regression of experimental data,the relationship between heat pipe equivalent heat resistance R and working temperature tv,heat flux q and filling ratio Ω was obtained. 展开更多
关键词 radial heat pipe boiling heat transfer coefficient filling ratio heat flux working temperature
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部