Research Progress in Test Case Generation Based on Petri Nets

doi:10.3969/j.issn.1674-0696.2012.01.40

Journal of Chongqing Jiaotong University(Natural Science) ›› 2012, Vol. 31 ›› Issue (1): 163-167.DOI: 10.3969/j.issn.1674-0696.2012.01.40

Previous Articles Next Articles

Research Progress in Test Case Generation Based on Petri Nets

Mu Xiaoling^1,2, Ding Xiaoming^1,2, Zhang Wang³

1. School of Computer & Information Science, Southwest University, Chongqing 400715, China;2. Key Lab of Intelligent Software & Software Engineering Research Institution, Chongqing 400715, China;3. Chongqing City Management College, Chongqing 401131, China

Received:2011-08-08 Revised:2011-09-16 Online:2012-02-15 Published:2015-04-15

基于Petri网的测试用例生成研究进展

牟小玲^1,2，丁晓明^1,2，张望³

1.西南大学计算机与信息科学学院，重庆 400715;2.重庆市智能软件与软件工程重点实验室，重庆 400715;3.重庆城市管理职业学院，重庆 401131

作者简介:牟小玲（1986-），女，重庆人，硕士研究生，主要从事软件测试方面的研究。E-mail: mouxiaoling0227@126.com。

Abstract

Abstract: Test case generation is the key step in software test and it has an important impact on the automation of software test. The tested object was modeled, and then test sequences were generated according to the model. The research status and the problem of test case generation based on Petri nets were described.

Key words: test case, model-based testing, Petri nets, modeling

摘要： 在软件测试中，测试用例生成是其关键环节，也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试对象进行建模，由模型产生测试序列，进而生成测试用例。分析了目前基于Petri网生成测试用例的研究现状并指出了在存在的问题。

关键词: 测试用例, 基于模型的测试, Petri网, 建模

CLC Number:

TP311.52

Mu Xiaoling, Ding Xiaoming, Zhang Wang. Research Progress in Test Case Generation Based on Petri Nets[J]. Journal of Chongqing Jiaotong University(Natural Science), 2012, 31(1): 163-167.

牟小玲，丁晓明，张望. 基于Petri网的测试用例生成研究进展[J]. 重庆交通大学学报（自然科学版）, 2012, 31(1): 163-167.

[1]	ZHAO Qiang1, SUN Zheng2. Dynamic Modeling and Fuzzy Sliding Mode Controller Design of Double Wishbone Suspension [J]. Journal of Chongqing Jiaotong University(Natural Science), 2021, 40(01): 127-133.
[2]	WANG Chao1, ZHOU Leisheng2，XU Run1, SONG Jie1. Application of BIM Construction Integrated Management Platform in Tunnel Engineering [J]. Journal of Chongqing Jiaotong University(Natural Science), 2020, 39(09): 74-79.
[3]	ZANG Liguo1,2, HE Xu1, TENG Fei1, FENG Ruoyu1. Modeling and Simulation of Lateral Safety Distance of Automobile in the Bend [J]. Journal of Chongqing Jiaotong University(Natural Science), 2020, 39(04): 11-16.
[4]	LI Peinan1,2, SHI Lai2, LIU Jun3, LI Xiaojun2. Complex Geological Modeling and Numerical and Digital Integration Based on iS3 [J]. Journal of Chongqing Jiaotong University(Natural Science), 2020, 39(03): 142-148.
[5]	WANG Jiening1,2, ZHANG Congjun1,2, FANG Xiaodan1,2 , SUN Xiaomeng1,2. LEADSTO Dynamic Simulation Analysis on ATC Pressure Generation Process [J]. Journal of Chongqing Jiaotong University(Natural Science), 2019, 38(10): 116-120.
[6]	SONG Chengju1, ZHANG Yaping2. Evolution Modeling and Solution of the Integrated Passenger Transportation System [J]. Journal of Chongqing Jiaotong University(Natural Science), 2019, 38(07): 102-106.
[7]	WEN Huiying1, ZENG Yuchen1, LI Shuo2. Distribution Characteristics of Time Headway of Left-Turn Flow at Urban Signalized Intersection [J]. Journal of Chongqing Jiaotong University(Natural Science), 2019, 38(03): 116-123.
[8]	Xu Fugang, Yang Xingguo, Zhou Jiawen. Experimental Study on Dyke Evolution Mechanism in Dam-Break Process of Landslide Dam [J]. Journal of Chongqing Jiaotong University(Natural Science), 2015, 34(6): 79-83.
[9]	Yu Cheng, Lei Wenwu. Numerical Modeling of Preferential Flow and Transport Channel between RoughWalled Fractures between Rough-Walled Fractures [J]. Journal of Chongqing Jiaotong University(Natural Science), 2015, 34(4): 91-95.
[10]	Jiang Haobin, Zhang Zehua, Li Longchen, Tang Chuanzheng, Mao Weiwei. Study on Modeling of Equal Arm Balance Suspension and Simulation of Vehicle Ride Comfort Based on ADAMS [J]. Journal of Chongqing Jiaotong University(Natural Science), 2015, 34(3): 171-174.
[11]	Xu An, Qiao Xiangming, Zhao Changli, Liu Shengtian, Zhang Henghai. Optimal Mixed Decision of Vehicle Maintenance and Repair [J]. Journal of Chongqing Jiaotong University(Natural Science), 2015, 34(2): 161-164.
[12]	Zeng Yong, Tan Hongmei. Dynamic Characteristics of CFST Arch Bridge in Construction Stage by Tower-Cable-Arch Integration Modeling [J]. Journal of Chongqing Jiaotong University(Natural Science), 2014, 33(5): 17-22.
[13]	Tang Ziqi，Tang Lan. Modeling and Simulation of Automotive Electronic Power Steering Based on PID Control [J]. Journal of Chongqing Jiaotong University(Natural Science), 2013, 32(2): 325-0328.
[14]	Tang Ziqi，Tang Lan. Modeling and Simulation of Automotive Electronic Power Steering Based on PID Control [J]. Journal of Chongqing Jiaotong University(Natural Science), 2013, 32(2): 325-328.
[15]	Li Shuqing，Wang Zhiyuan. Lane Capacity Modeling and Simulating of Branch Road at Unsignalized Intersection [J]. Journal of Chongqing Jiaotong University(Natural Science), 2012, 31(6): 1189-1193.

Research Progress in Test Case Generation Based on Petri Nets

基于Petri网的测试用例生成研究进展

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics