minimum cost test case generation method based on an EFSM model
The invention relates to a minimum cost test case generation method based on an EFSM model. Based on an expansibility finite state machine and a set division theory, a migration coverage algorithm isdesigned, and a migration sequence set is obtained; And abstract models are given to different positi...
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Patent |
| Sprache: | chi ; eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | CHEN BIN ZHANG HUAIXIANG CHEN KONGTING WEI DAN WANG XINGQI FANG JINGLONG |
| description | The invention relates to a minimum cost test case generation method based on an EFSM model. Based on an expansibility finite state machine and a set division theory, a migration coverage algorithm isdesigned, and a migration sequence set is obtained; And abstract models are given to different positions of the two migration sequences, analysis is carried out according to the abstract models, and then a reduction merging algorithm is designed to obtain a minimum test sequence set. Converting the minimum test sequence set to obtain an effective test path set, and finding out a shortest path froman initial state to a certain state by adopting reverse thinking in a conversion process; According to the method, the migration coverage criterion is met, invalid test paths and combination explosion problems can be avoided, the code coverage rate can be ensured, the number of the test paths in the set reaches the minimum, and the balance between the test cost and the test efficiency is ensured;The method is not only lim |
| format | Patent |
| fullrecord | <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_CN109582558A</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>CN109582558A</sourcerecordid><originalsourceid>FETCH-epo_espacenet_CN109582558A3</originalsourceid><addsrcrecordid>eNrjZLDPzczLzC3NVUjOLy5RKEkFEsmJxakK6al5qUWJJZn5eQq5qSUZ-SkKSUDhFAUgPzFPwdUt2FchNz8lNYeHgTUtMac4lRdKczMourmGOHvophbkx6cWFyQmAw0qiXf2MzSwNLUwMjW1cDQmRg0AREowIQ</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>minimum cost test case generation method based on an EFSM model</title><source>esp@cenet</source><creator>CHEN BIN ; ZHANG HUAIXIANG ; CHEN KONGTING ; WEI DAN ; WANG XINGQI ; FANG JINGLONG</creator><creatorcontrib>CHEN BIN ; ZHANG HUAIXIANG ; CHEN KONGTING ; WEI DAN ; WANG XINGQI ; FANG JINGLONG</creatorcontrib><description>The invention relates to a minimum cost test case generation method based on an EFSM model. Based on an expansibility finite state machine and a set division theory, a migration coverage algorithm isdesigned, and a migration sequence set is obtained; And abstract models are given to different positions of the two migration sequences, analysis is carried out according to the abstract models, and then a reduction merging algorithm is designed to obtain a minimum test sequence set. Converting the minimum test sequence set to obtain an effective test path set, and finding out a shortest path froman initial state to a certain state by adopting reverse thinking in a conversion process; According to the method, the migration coverage criterion is met, invalid test paths and combination explosion problems can be avoided, the code coverage rate can be ensured, the number of the test paths in the set reaches the minimum, and the balance between the test cost and the test efficiency is ensured;The method is not only lim</description><language>chi ; eng</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2019</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20190405&DB=EPODOC&CC=CN&NR=109582558A$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,778,883,25547,76298</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20190405&DB=EPODOC&CC=CN&NR=109582558A$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>CHEN BIN</creatorcontrib><creatorcontrib>ZHANG HUAIXIANG</creatorcontrib><creatorcontrib>CHEN KONGTING</creatorcontrib><creatorcontrib>WEI DAN</creatorcontrib><creatorcontrib>WANG XINGQI</creatorcontrib><creatorcontrib>FANG JINGLONG</creatorcontrib><title>minimum cost test case generation method based on an EFSM model</title><description>The invention relates to a minimum cost test case generation method based on an EFSM model. Based on an expansibility finite state machine and a set division theory, a migration coverage algorithm isdesigned, and a migration sequence set is obtained; And abstract models are given to different positions of the two migration sequences, analysis is carried out according to the abstract models, and then a reduction merging algorithm is designed to obtain a minimum test sequence set. Converting the minimum test sequence set to obtain an effective test path set, and finding out a shortest path froman initial state to a certain state by adopting reverse thinking in a conversion process; According to the method, the migration coverage criterion is met, invalid test paths and combination explosion problems can be avoided, the code coverage rate can be ensured, the number of the test paths in the set reaches the minimum, and the balance between the test cost and the test efficiency is ensured;The method is not only lim</description><subject>CALCULATING</subject><subject>COMPUTING</subject><subject>COUNTING</subject><subject>ELECTRIC DIGITAL DATA PROCESSING</subject><subject>PHYSICS</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2019</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNrjZLDPzczLzC3NVUjOLy5RKEkFEsmJxakK6al5qUWJJZn5eQq5qSUZ-SkKSUDhFAUgPzFPwdUt2FchNz8lNYeHgTUtMac4lRdKczMourmGOHvophbkx6cWFyQmAw0qiXf2MzSwNLUwMjW1cDQmRg0AREowIQ</recordid><startdate>20190405</startdate><enddate>20190405</enddate><creator>CHEN BIN</creator><creator>ZHANG HUAIXIANG</creator><creator>CHEN KONGTING</creator><creator>WEI DAN</creator><creator>WANG XINGQI</creator><creator>FANG JINGLONG</creator><scope>EVB</scope></search><sort><creationdate>20190405</creationdate><title>minimum cost test case generation method based on an EFSM model</title><author>CHEN BIN ; ZHANG HUAIXIANG ; CHEN KONGTING ; WEI DAN ; WANG XINGQI ; FANG JINGLONG</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_CN109582558A3</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>chi ; eng</language><creationdate>2019</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>CHEN BIN</creatorcontrib><creatorcontrib>ZHANG HUAIXIANG</creatorcontrib><creatorcontrib>CHEN KONGTING</creatorcontrib><creatorcontrib>WEI DAN</creatorcontrib><creatorcontrib>WANG XINGQI</creatorcontrib><creatorcontrib>FANG JINGLONG</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>CHEN BIN</au><au>ZHANG HUAIXIANG</au><au>CHEN KONGTING</au><au>WEI DAN</au><au>WANG XINGQI</au><au>FANG JINGLONG</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>minimum cost test case generation method based on an EFSM model</title><date>2019-04-05</date><risdate>2019</risdate><abstract>The invention relates to a minimum cost test case generation method based on an EFSM model. Based on an expansibility finite state machine and a set division theory, a migration coverage algorithm isdesigned, and a migration sequence set is obtained; And abstract models are given to different positions of the two migration sequences, analysis is carried out according to the abstract models, and then a reduction merging algorithm is designed to obtain a minimum test sequence set. Converting the minimum test sequence set to obtain an effective test path set, and finding out a shortest path froman initial state to a certain state by adopting reverse thinking in a conversion process; According to the method, the migration coverage criterion is met, invalid test paths and combination explosion problems can be avoided, the code coverage rate can be ensured, the number of the test paths in the set reaches the minimum, and the balance between the test cost and the test efficiency is ensured;The method is not only lim</abstract><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | |
| ispartof | |
| issn | |
| language | chi ; eng |
| recordid | cdi_epo_espacenet_CN109582558A |
| source | esp@cenet |
| subjects | CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS |
| title | minimum cost test case generation method based on an EFSM model |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-17T03%3A37%3A20IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=CHEN%20BIN&rft.date=2019-04-05&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3ECN109582558A%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |