Improved method to describe instantiation of software testing process

Computer Engineering and Applications ›› 2008, Vol. 44 ›› Issue (15): 65-67.

• 研发、设计、测试 • Previous Articles Next Articles

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

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

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

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

通讯作者: 刘雪梅

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

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

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

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

[1]	ZHANG Chi, WANG Yuxin, FENG Zhen, GUO He. Energy-Efficient Task Scheduling Algorithm in Two-Layer Virtualized Cloud Architecture [J]. Computer Engineering and Applications, 2021, 57(3): 103-111.
[2]	TIAN Zhuojing, HUANG Zhenchun, ZHANG Yinong. Review of Task Scheduling Methods in Cloud Computing Environment [J]. Computer Engineering and Applications, 2021, 57(2): 1-11.
[3]	GAO Weijun, ZHANG Chunxia, YANG Jie, SHI Yang. Research on Fault Tolerant Clustering Algorithm of Scientific Workflow Considering Load Balancing [J]. Computer Engineering and Applications, 2020, 56(23): 53-60.
[4]	ZHAI Zhinian, WANG Zhongpeng, YE Lv, XIANG Jian, WANG Fuzhong, PANG Haiyun. Negative Condition of Static k Resiliency for Satisfiable（≠，=） Workflow [J]. Computer Engineering and Applications, 2019, 55(23): 35-39.
[5]	DONG Hao1, ZHANG Haiping2, LI Zhongjin1, LIU Hui1. Computation Offloading for Service Workflow in Mobile Edge Computing [J]. Computer Engineering and Applications, 2019, 55(2): 36-43.
[6]	WU Linjian, GOU Bingchen, WEN Chenguang. Research on knowledge-push driven by workflow and knowledge points [J]. Computer Engineering and Applications, 2018, 54(4): 231-236.
[7]	HE Zhaoyang, DU Yuyue, WANG Lu. Process mining algorithm for discovering special loop structures [J]. Computer Engineering and Applications, 2018, 54(22): 42-50.
[8]	WANG Guohao1，2, LI Qinghua1, LIU Anfeng2. Energy-efficient optimization algorithm of cloud workflow tasks scheduling [J]. Computer Engineering and Applications, 2018, 54(10): 90-98.
[9]	GAO Jian1，2，3, XUE Wei1，2，3, YANG Guangwen1，2，3. Workflow execution platform for uncertainty analysis of climate system model [J]. Computer Engineering and Applications, 2017, 53(6): 46-50.
[10]	WANG Qinglin1，2, XUE Huifeng1，3. Virtual knowledge flow generation algorithm supporting complex product systems design [J]. Computer Engineering and Applications, 2017, 53(22): 29-34.
[11]	WANG Xiaoxiao1, DU Yongqian1, YE Jianhong1，2, SUN Shixin3. High security entrance guard system for bank vaults based on workflow net [J]. Computer Engineering and Applications, 2016, 52(8): 221-228.
[12]	ZHU Yinjuan, LI Haibo. Resource composition based on correlation degree in cloud manufacturing [J]. Computer Engineering and Applications, 2016, 52(5): 255-261.
[13]	XIE Tao1, DONG Tao2. Optimization of workflow scheduling queue based on hybrid Genetic Algorithm [J]. Computer Engineering and Applications, 2016, 52(24): 85-90.
[14]	HUANG Dongmei, XU Qiongqiong, HE Qi, DU Yanling. Workflow model based on TC-Net [J]. Computer Engineering and Applications, 2016, 52(15): 260-265.
[15]	FENG Fujian. Schedulability analysis of timing constraint workflows [J]. Computer Engineering and Applications, 2016, 52(12): 26-30.

Improved method to describe instantiation of software testing process

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics