Test coverage for collaborative workflow application based on Petri Net
Lots of collaborative works are developed by workflow at present. The modeling of workflow is mainly by Petri Net. This paper studies the test coverage of collaborative workflow system to improve the system quality. By analyzing many Petri-Net models, the paper puts forward generic advance Petri Net...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 218 |
|---|---|
| container_issue | |
| container_start_page | 213 |
| container_title | |
| container_volume | |
| creator | Liu, Zhnenyu Liu, Tiejiang Cai, Lizhi Yang, Genxing |
| description | Lots of collaborative works are developed by workflow at present. The modeling of workflow is mainly by Petri Net. This paper studies the test coverage of collaborative workflow system to improve the system quality. By analyzing many Petri-Net models, the paper puts forward generic advance Petri Net model. And other workflow Petri Net models can be compatible with the generic Petri Net. Then test coverage strategy is considered and test case is designed according to the strategy. This method not only can meet the requirement of test coverage, but also can assist test case design and further execution of test case. Finally, a typical example is introduced to illustrate effectiveness of this method in collaborative workflow application. |
| doi_str_mv | 10.1109/CSCWD.2010.5471973 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5471973</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5471973</ieee_id><sourcerecordid>5471973</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-8f837efc63fb8d0d7345cf2d1a69a1802971f6cc9aa48e1869c5987b556879b3</originalsourceid><addsrcrecordid>eNo1j9tKw0AYhFdEUGteQG_2BVr3fLiUqFUoKrTgZfmz-VdWoxs2ocW3b8A6NzPfXAwMIdecLThn_rZe1-_3C8Em1spyb-UJueRKKGWsUeyUVN66f5b8nFTD8MkmKS2EthdkucFhpCHvsMAH0pjLBF0HTS4wph3SfS5fsct7Cn3fpTCV-Yc2MGBLp_CGY0n0BccrchahG7A6-oysHx829dN89bp8ru9W8-TZOHfRSYsxGBkb17LWSqVDFC0H44E7Jrzl0YTgAZRD7owP2jvbaG2c9Y2ckZu_1YSI276kbyi_2-NzeQAd0UzT</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Test coverage for collaborative workflow application based on Petri Net</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Liu, Zhnenyu ; Liu, Tiejiang ; Cai, Lizhi ; Yang, Genxing</creator><creatorcontrib>Liu, Zhnenyu ; Liu, Tiejiang ; Cai, Lizhi ; Yang, Genxing</creatorcontrib><description>Lots of collaborative works are developed by workflow at present. The modeling of workflow is mainly by Petri Net. This paper studies the test coverage of collaborative workflow system to improve the system quality. By analyzing many Petri-Net models, the paper puts forward generic advance Petri Net model. And other workflow Petri Net models can be compatible with the generic Petri Net. Then test coverage strategy is considered and test case is designed according to the strategy. This method not only can meet the requirement of test coverage, but also can assist test case design and further execution of test case. Finally, a typical example is introduced to illustrate effectiveness of this method in collaborative workflow application.</description><identifier>ISBN: 9781424467631</identifier><identifier>ISBN: 1424467632</identifier><identifier>EISBN: 1424467640</identifier><identifier>EISBN: 9781424467648</identifier><identifier>DOI: 10.1109/CSCWD.2010.5471973</identifier><language>eng</language><publisher>IEEE</publisher><subject>Application software ; Collaboration ; Collaborative software ; Collaborative System ; Collaborative work ; Computer science ; Humans ; Petri Net ; Software engineering ; Software systems ; Software testing ; System testing ; Test Coverage ; Workflow Verification component</subject><ispartof>The 2010 14th International Conference on Computer Supported Cooperative Work in Design, 2010, p.213-218</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5471973$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5471973$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Liu, Zhnenyu</creatorcontrib><creatorcontrib>Liu, Tiejiang</creatorcontrib><creatorcontrib>Cai, Lizhi</creatorcontrib><creatorcontrib>Yang, Genxing</creatorcontrib><title>Test coverage for collaborative workflow application based on Petri Net</title><title>The 2010 14th International Conference on Computer Supported Cooperative Work in Design</title><addtitle>CSCWD</addtitle><description>Lots of collaborative works are developed by workflow at present. The modeling of workflow is mainly by Petri Net. This paper studies the test coverage of collaborative workflow system to improve the system quality. By analyzing many Petri-Net models, the paper puts forward generic advance Petri Net model. And other workflow Petri Net models can be compatible with the generic Petri Net. Then test coverage strategy is considered and test case is designed according to the strategy. This method not only can meet the requirement of test coverage, but also can assist test case design and further execution of test case. Finally, a typical example is introduced to illustrate effectiveness of this method in collaborative workflow application.</description><subject>Application software</subject><subject>Collaboration</subject><subject>Collaborative software</subject><subject>Collaborative System</subject><subject>Collaborative work</subject><subject>Computer science</subject><subject>Humans</subject><subject>Petri Net</subject><subject>Software engineering</subject><subject>Software systems</subject><subject>Software testing</subject><subject>System testing</subject><subject>Test Coverage</subject><subject>Workflow Verification component</subject><isbn>9781424467631</isbn><isbn>1424467632</isbn><isbn>1424467640</isbn><isbn>9781424467648</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2010</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNo1j9tKw0AYhFdEUGteQG_2BVr3fLiUqFUoKrTgZfmz-VdWoxs2ocW3b8A6NzPfXAwMIdecLThn_rZe1-_3C8Em1spyb-UJueRKKGWsUeyUVN66f5b8nFTD8MkmKS2EthdkucFhpCHvsMAH0pjLBF0HTS4wph3SfS5fsct7Cn3fpTCV-Yc2MGBLp_CGY0n0BccrchahG7A6-oysHx829dN89bp8ru9W8-TZOHfRSYsxGBkb17LWSqVDFC0H44E7Jrzl0YTgAZRD7owP2jvbaG2c9Y2ckZu_1YSI276kbyi_2-NzeQAd0UzT</recordid><startdate>201004</startdate><enddate>201004</enddate><creator>Liu, Zhnenyu</creator><creator>Liu, Tiejiang</creator><creator>Cai, Lizhi</creator><creator>Yang, Genxing</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201004</creationdate><title>Test coverage for collaborative workflow application based on Petri Net</title><author>Liu, Zhnenyu ; Liu, Tiejiang ; Cai, Lizhi ; Yang, Genxing</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-8f837efc63fb8d0d7345cf2d1a69a1802971f6cc9aa48e1869c5987b556879b3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2010</creationdate><topic>Application software</topic><topic>Collaboration</topic><topic>Collaborative software</topic><topic>Collaborative System</topic><topic>Collaborative work</topic><topic>Computer science</topic><topic>Humans</topic><topic>Petri Net</topic><topic>Software engineering</topic><topic>Software systems</topic><topic>Software testing</topic><topic>System testing</topic><topic>Test Coverage</topic><topic>Workflow Verification component</topic><toplevel>online_resources</toplevel><creatorcontrib>Liu, Zhnenyu</creatorcontrib><creatorcontrib>Liu, Tiejiang</creatorcontrib><creatorcontrib>Cai, Lizhi</creatorcontrib><creatorcontrib>Yang, Genxing</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Liu, Zhnenyu</au><au>Liu, Tiejiang</au><au>Cai, Lizhi</au><au>Yang, Genxing</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Test coverage for collaborative workflow application based on Petri Net</atitle><btitle>The 2010 14th International Conference on Computer Supported Cooperative Work in Design</btitle><stitle>CSCWD</stitle><date>2010-04</date><risdate>2010</risdate><spage>213</spage><epage>218</epage><pages>213-218</pages><isbn>9781424467631</isbn><isbn>1424467632</isbn><eisbn>1424467640</eisbn><eisbn>9781424467648</eisbn><abstract>Lots of collaborative works are developed by workflow at present. The modeling of workflow is mainly by Petri Net. This paper studies the test coverage of collaborative workflow system to improve the system quality. By analyzing many Petri-Net models, the paper puts forward generic advance Petri Net model. And other workflow Petri Net models can be compatible with the generic Petri Net. Then test coverage strategy is considered and test case is designed according to the strategy. This method not only can meet the requirement of test coverage, but also can assist test case design and further execution of test case. Finally, a typical example is introduced to illustrate effectiveness of this method in collaborative workflow application.</abstract><pub>IEEE</pub><doi>10.1109/CSCWD.2010.5471973</doi><tpages>6</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 9781424467631 |
| ispartof | The 2010 14th International Conference on Computer Supported Cooperative Work in Design, 2010, p.213-218 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_5471973 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Application software Collaboration Collaborative software Collaborative System Collaborative work Computer science Humans Petri Net Software engineering Software systems Software testing System testing Test Coverage Workflow Verification component |
| title | Test coverage for collaborative workflow application based on Petri Net |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-04T19%3A21%3A17IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Test%20coverage%20for%20collaborative%20workflow%20application%20based%20on%20Petri%20Net&rft.btitle=The%202010%2014th%20International%20Conference%20on%20Computer%20Supported%20Cooperative%20Work%20in%20Design&rft.au=Liu,%20Zhnenyu&rft.date=2010-04&rft.spage=213&rft.epage=218&rft.pages=213-218&rft.isbn=9781424467631&rft.isbn_list=1424467632&rft_id=info:doi/10.1109/CSCWD.2010.5471973&rft_dat=%3Cieee_6IE%3E5471973%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=1424467640&rft.eisbn_list=9781424467648&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5471973&rfr_iscdi=true |