A Test Case Generation Method for Workflow Systems Based on I/O_WF_Net
At present, the testing of the workflow system is mainly based on manual testing, and the functions of only some tools are relatively simple. The design of test cases mainly depends on the experience of testers, which makes the lack of test coverage. In this paper, a test case generation method base...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Faculty of Mechanical Engineering in Slavonski Brod, Faculty of Electrical Engineering in Osijek, Faculty of Civil Engineering in Osijek
2023-01-01
|
| Series: | Tehnički Vjesnik |
| Subjects: | |
| Online Access: | https://hrcak.srce.hr/file/417632 |
| _version_ | 1797206601027813376 |
|---|---|
| author | Shanling Li Changyou Zheng Yaqing Shi Sainan Zhang |
| author_facet | Shanling Li Changyou Zheng Yaqing Shi Sainan Zhang |
| author_sort | Shanling Li |
| collection | DOAJ |
| description | At present, the testing of the workflow system is mainly based on manual testing, and the functions of only some tools are relatively simple. The design of test cases mainly depends on the experience of testers, which makes the lack of test coverage. In this paper, a test case generation method based on the I/O_WF_Net model is proposed. A test case generation algorithm that satisfies the process branch coverage criterion is designed, which solves the problem of automatic test case generation for workflow systems. The algorithm divides the model according to "split-merge pairs" to generate a decomposition tree of the model, and then traverses the tree to generate test cases. A workflow system modelling and test case generation tool are designed and implemented, and an actual workflow system is used as the experimental object to verify the effectiveness of the method. |
| first_indexed | 2024-04-24T09:09:36Z |
| format | Article |
| id | doaj.art-8dfc13d2b8f643f7b3a5f26df3604332 |
| institution | Directory Open Access Journal |
| issn | 1330-3651 1848-6339 |
| language | English |
| last_indexed | 2024-04-24T09:09:36Z |
| publishDate | 2023-01-01 |
| publisher | Faculty of Mechanical Engineering in Slavonski Brod, Faculty of Electrical Engineering in Osijek, Faculty of Civil Engineering in Osijek |
| record_format | Article |
| series | Tehnički Vjesnik |
| spelling | doaj.art-8dfc13d2b8f643f7b3a5f26df36043322024-04-15T18:11:42ZengFaculty of Mechanical Engineering in Slavonski Brod, Faculty of Electrical Engineering in Osijek, Faculty of Civil Engineering in OsijekTehnički Vjesnik1330-36511848-63392023-01-0130123524010.17559/TV-20220822145848A Test Case Generation Method for Workflow Systems Based on I/O_WF_NetShanling Li0Changyou Zheng1Yaqing Shi2Sainan Zhang3Army Engineering University of PLA, No. 1 Haifu Road, Qinhuai District, Nanjing, ChinaArmy Engineering University of PLA, No. 1 Haifu Road, Qinhuai District, Nanjing, ChinaArmy Engineering University of PLA, No. 1 Haifu Road, Qinhuai District, Nanjing, ChinaArmy Engineering University of PLA, No. 1 Haifu Road, Qinhuai District, Nanjing, ChinaAt present, the testing of the workflow system is mainly based on manual testing, and the functions of only some tools are relatively simple. The design of test cases mainly depends on the experience of testers, which makes the lack of test coverage. In this paper, a test case generation method based on the I/O_WF_Net model is proposed. A test case generation algorithm that satisfies the process branch coverage criterion is designed, which solves the problem of automatic test case generation for workflow systems. The algorithm divides the model according to "split-merge pairs" to generate a decomposition tree of the model, and then traverses the tree to generate test cases. A workflow system modelling and test case generation tool are designed and implemented, and an actual workflow system is used as the experimental object to verify the effectiveness of the method.https://hrcak.srce.hr/file/417632test case generation, workflow systems, Petri net, I/O_WF_Net |
| spellingShingle | Shanling Li Changyou Zheng Yaqing Shi Sainan Zhang A Test Case Generation Method for Workflow Systems Based on I/O_WF_Net Tehnički Vjesnik test case generation, workflow systems, Petri net, I/O_WF_Net |
| title | A Test Case Generation Method for Workflow Systems Based on I/O_WF_Net |
| title_full | A Test Case Generation Method for Workflow Systems Based on I/O_WF_Net |
| title_fullStr | A Test Case Generation Method for Workflow Systems Based on I/O_WF_Net |
| title_full_unstemmed | A Test Case Generation Method for Workflow Systems Based on I/O_WF_Net |
| title_short | A Test Case Generation Method for Workflow Systems Based on I/O_WF_Net |
| title_sort | test case generation method for workflow systems based on i o wf net |
| topic | test case generation, workflow systems, Petri net, I/O_WF_Net |
| url | https://hrcak.srce.hr/file/417632 |
| work_keys_str_mv | AT shanlingli atestcasegenerationmethodforworkflowsystemsbasedoniowfnet AT changyouzheng atestcasegenerationmethodforworkflowsystemsbasedoniowfnet AT yaqingshi atestcasegenerationmethodforworkflowsystemsbasedoniowfnet AT sainanzhang atestcasegenerationmethodforworkflowsystemsbasedoniowfnet AT shanlingli testcasegenerationmethodforworkflowsystemsbasedoniowfnet AT changyouzheng testcasegenerationmethodforworkflowsystemsbasedoniowfnet AT yaqingshi testcasegenerationmethodforworkflowsystemsbasedoniowfnet AT sainanzhang testcasegenerationmethodforworkflowsystemsbasedoniowfnet |