一种改进的软件测试流程实例的描述方法

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (15): 65-67.

一种改进的软件测试流程实例的描述方法

刘雪梅^1,3,柳永坡^2,3,张懋²

1.哈尔滨工程大学计算机科学与工程学院，哈尔滨 150001
2.北京航空航天大学计算机学院，北京 100083
3.大庆石油学院计算机与信息技术学院，黑龙江大庆 163318

收稿日期:2007-10-09 修回日期:2007-12-24 出版日期:2008-05-21 发布日期:2008-05-21
通讯作者: 刘雪梅

Improved method to describe instantiation of software testing process

LIU Xue-mei^1,3,LIU Yong-po^2,3,ZHANG Mao²

1．College of Computer Science and Technology，Harbin Engineering University，Harbin 150001，China
2.School of Computer Science and Technology，Beihang University，Beijing 100083，China
3.School of Computer & Information Technology，Daqing Petroleum Institute，Daqing，Heilongjiang 163318，China

Received:2007-10-09 Revised:2007-12-24 Online:2008-05-21 Published:2008-05-21
Contact: LIU Xue-mei

摘要/Abstract

摘要： 提出了测试流程实例的操作语义描述方法，这种方法的使用弥补了工作流元模型对测试流程实例描述的不足，并在实际项目中得到了应用，包括过程实例的形式化描述和活动实例的形式化描述，以及状态转移规则的描述，取得了很好的效果。

关键词: 工作流, 测试流程, 操作语义

Abstract: This paper presents a method of using operational semantics to describe the instantiation of software testing process.It can be used to guide the workflow engine to parse and execute the instantiation of software testing process，so improves the method for process definition meta-mode of workflow describe testing process.It is used in actual application，include describing instance of activity and process，and describing regulation of process transitions and activity transition，it is very effectively.

Key words: workflow, software testing process, operational semantics

刘雪梅^1,3,柳永坡^2,3,张懋². 一种改进的软件测试流程实例的描述方法[J]. 计算机工程与应用, 2008, 44(15): 65-67.

LIU Xue-mei^1,3,LIU Yong-po^2,3,ZHANG Mao². Improved method to describe instantiation of software testing process[J]. Computer Engineering and Applications, 2008, 44(15): 65-67.

[1]	张驰，王宇新，冯振，郭禾. 双层虚拟化云架构下任务调度能耗优化算法[J]. 计算机工程与应用, 2021, 57(3): 103-111.
[2]	田倬璟，黄震春，张益农. 云计算环境任务调度方法研究综述[J]. 计算机工程与应用, 2021, 57(2): 1-11.
[3]	高玮军，张春霞，杨杰，师阳. 考虑负载平衡的科学工作流容错聚类算法研究[J]. 计算机工程与应用, 2020, 56(23): 53-60.
[4]	翟治年，王中鹏，叶绿，向坚，王富忠，庞海云. 可满足（≠，=）工作流的静态k弹性否决条件[J]. 计算机工程与应用, 2019, 55(23): 35-39.
[5]	董浩1，张海平2，李忠金1，刘辉1. 移动边缘计算环境下服务工作流的计算卸载[J]. 计算机工程与应用, 2019, 55(2): 36-43.
[6]	吴林健，苟秉宸，汶晨光. 基于工作流和知识点驱动的知识推送研究[J]. 计算机工程与应用, 2018, 54(4): 231-236.
[7]	贺朝阳，杜玉越，王路. 特殊循环结构的过程挖掘算法[J]. 计算机工程与应用, 2018, 54(22): 42-50.
[8]	王国豪1，2，李庆华1，刘安丰2. 一种云工作流任务调度能效优化算法[J]. 计算机工程与应用, 2018, 54(10): 90-98.
[9]	高健1，2，3，薛巍1，2，3，杨广文1，2，3. 气候系统模式不确定分析工作流执行平台[J]. 计算机工程与应用, 2017, 53(6): 46-50.
[10]	王庆林1，2，薛惠锋1，3. 支持复杂产品系统设计的虚拟知识流生成算法[J]. 计算机工程与应用, 2017, 53(22): 29-34.
[11]	王晓晓1，杜勇前1，叶剑虹1，2，孙世新3. 基于工作流网的银行业务库高安全门禁系统[J]. 计算机工程与应用, 2016, 52(8): 221-228.
[12]	朱银娟，李海波. 云制造环境下基于关联度的资源组合方法[J]. 计算机工程与应用, 2016, 52(5): 255-261.
[13]	黄冬梅，许琼琼，贺琪，杜艳玲. 基于TC-Net的工作流模型研究[J]. 计算机工程与应用, 2016, 52(15): 260-265.
[14]	冯复剑. 时间约束工作流的可调度性分析[J]. 计算机工程与应用, 2016, 52(12): 26-30.
[15]	贺莉苹，石婷，贺渝镔，薛岗. 基于WF-net的流程距离测度模型研究[J]. 计算机工程与应用, 2015, 51(9): 252-256.