An optimization technique for protocol conformance testing using multiple UIO sequences
A new technique of test sequence generation is proposed for the protocol implementation to be conformable to the protocol specification. This technique involves the conversion from the transition graph of the protocol into a U-graph so as to generate a test sequence utilizing multiple unique input/o...
Gespeichert in:
| Veröffentlicht in: | Information processing letters 1990-10, Vol.36 (1), p.7-11 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 11 |
|---|---|
| container_issue | 1 |
| container_start_page | 7 |
| container_title | Information processing letters |
| container_volume | 36 |
| creator | Chen, Wen-Huei Lu, Ching-Sung Brozovsky, Elben R. Wang, Jin-Tuu |
| description | A new technique of test sequence generation is proposed for the protocol implementation to be conformable to the protocol specification. This technique involves the conversion from the transition graph of the protocol into a
U-graph so as to generate a test sequence utilizing multiple unique input/output (UIO) sequences. By introducing the Rural Chinese Postman Algorithm, this technique can be employed to generate an optimal test sequence for a protocol with either the reset capability or at least one self-loop per state. |
| doi_str_mv | 10.1016/0020-0190(90)90178-Z |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_25782191</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>002001909090178Z</els_id><sourcerecordid>1137265</sourcerecordid><originalsourceid>FETCH-LOGICAL-c362t-42a9da588e7a25c3e32eaee1e984f9433780de11d5a93c2526169bd537e18f983</originalsourceid><addsrcrecordid>eNp9kMtKxDAUhoMoOI6-gYviQnRRzaWXZCMMg5eBgdk4CLMJMT3VDG1Tk1TQpzd1xIULIZwQ-P6Tcz6ETgm-IpgU1xhTnGIi8IXAlwKTkqebPTQhvKRpQYjYR5Nf5BAdeb_FGBcZKyfoadYltg-mNZ8qGNslAfRrZ94GSGrrkt7ZYLVtEm27-G5VpyEiPpjuJRn8WNuhCaZvIFkvVomHmIyMP0YHtWo8nPzcU7S-u32cP6TL1f1iPlummhU0pBlVolI551AqmmsGjIICICB4VouMsZLjCgipciWYpjktSCGeq5yVQHgtOJui813fOGn82gfZGq-haVQHdvCS5iWnRJAInv0Bt3ZwXZxNUlZSjrMCRyjbQdpZ7x3UsnemVe5DEixH1XL0KEeP8vtE1XITYze7GMRN3w046bUZNVTGgQ6ysub_Bl-ah4XP</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>237280460</pqid></control><display><type>article</type><title>An optimization technique for protocol conformance testing using multiple UIO sequences</title><source>ScienceDirect Journals (5 years ago - present)</source><creator>Chen, Wen-Huei ; Lu, Ching-Sung ; Brozovsky, Elben R. ; Wang, Jin-Tuu</creator><creatorcontrib>Chen, Wen-Huei ; Lu, Ching-Sung ; Brozovsky, Elben R. ; Wang, Jin-Tuu</creatorcontrib><description>A new technique of test sequence generation is proposed for the protocol implementation to be conformable to the protocol specification. This technique involves the conversion from the transition graph of the protocol into a
U-graph so as to generate a test sequence utilizing multiple unique input/output (UIO) sequences. By introducing the Rural Chinese Postman Algorithm, this technique can be employed to generate an optimal test sequence for a protocol with either the reset capability or at least one self-loop per state.</description><identifier>ISSN: 0020-0190</identifier><identifier>EISSN: 1872-6119</identifier><identifier>DOI: 10.1016/0020-0190(90)90178-Z</identifier><identifier>CODEN: IFPLAT</identifier><language>eng</language><publisher>Amsterdam: Elsevier B.V</publisher><subject>Algorithms ; Information processing ; Mathematical models ; Optimization ; Optimization techniques ; Protocol ; Rural Chinese Postman Problem ; Techniques ; test sequence ; Theory ; U-graph ; UIO</subject><ispartof>Information processing letters, 1990-10, Vol.36 (1), p.7-11</ispartof><rights>1990</rights><rights>Copyright Elsevier Sequoia S.A. Oct 1, 1990</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c362t-42a9da588e7a25c3e32eaee1e984f9433780de11d5a93c2526169bd537e18f983</citedby><cites>FETCH-LOGICAL-c362t-42a9da588e7a25c3e32eaee1e984f9433780de11d5a93c2526169bd537e18f983</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://dx.doi.org/10.1016/0020-0190(90)90178-Z$$EHTML$$P50$$Gelsevier$$H</linktohtml><link.rule.ids>314,780,784,3550,27924,27925,45995</link.rule.ids></links><search><creatorcontrib>Chen, Wen-Huei</creatorcontrib><creatorcontrib>Lu, Ching-Sung</creatorcontrib><creatorcontrib>Brozovsky, Elben R.</creatorcontrib><creatorcontrib>Wang, Jin-Tuu</creatorcontrib><title>An optimization technique for protocol conformance testing using multiple UIO sequences</title><title>Information processing letters</title><description>A new technique of test sequence generation is proposed for the protocol implementation to be conformable to the protocol specification. This technique involves the conversion from the transition graph of the protocol into a
U-graph so as to generate a test sequence utilizing multiple unique input/output (UIO) sequences. By introducing the Rural Chinese Postman Algorithm, this technique can be employed to generate an optimal test sequence for a protocol with either the reset capability or at least one self-loop per state.</description><subject>Algorithms</subject><subject>Information processing</subject><subject>Mathematical models</subject><subject>Optimization</subject><subject>Optimization techniques</subject><subject>Protocol</subject><subject>Rural Chinese Postman Problem</subject><subject>Techniques</subject><subject>test sequence</subject><subject>Theory</subject><subject>U-graph</subject><subject>UIO</subject><issn>0020-0190</issn><issn>1872-6119</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1990</creationdate><recordtype>article</recordtype><recordid>eNp9kMtKxDAUhoMoOI6-gYviQnRRzaWXZCMMg5eBgdk4CLMJMT3VDG1Tk1TQpzd1xIULIZwQ-P6Tcz6ETgm-IpgU1xhTnGIi8IXAlwKTkqebPTQhvKRpQYjYR5Nf5BAdeb_FGBcZKyfoadYltg-mNZ8qGNslAfRrZ94GSGrrkt7ZYLVtEm27-G5VpyEiPpjuJRn8WNuhCaZvIFkvVomHmIyMP0YHtWo8nPzcU7S-u32cP6TL1f1iPlummhU0pBlVolI551AqmmsGjIICICB4VouMsZLjCgipciWYpjktSCGeq5yVQHgtOJui813fOGn82gfZGq-haVQHdvCS5iWnRJAInv0Bt3ZwXZxNUlZSjrMCRyjbQdpZ7x3UsnemVe5DEixH1XL0KEeP8vtE1XITYze7GMRN3w046bUZNVTGgQ6ysub_Bl-ah4XP</recordid><startdate>19901001</startdate><enddate>19901001</enddate><creator>Chen, Wen-Huei</creator><creator>Lu, Ching-Sung</creator><creator>Brozovsky, Elben R.</creator><creator>Wang, Jin-Tuu</creator><general>Elsevier B.V</general><general>Elsevier Sequoia S.A</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19901001</creationdate><title>An optimization technique for protocol conformance testing using multiple UIO sequences</title><author>Chen, Wen-Huei ; Lu, Ching-Sung ; Brozovsky, Elben R. ; Wang, Jin-Tuu</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c362t-42a9da588e7a25c3e32eaee1e984f9433780de11d5a93c2526169bd537e18f983</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1990</creationdate><topic>Algorithms</topic><topic>Information processing</topic><topic>Mathematical models</topic><topic>Optimization</topic><topic>Optimization techniques</topic><topic>Protocol</topic><topic>Rural Chinese Postman Problem</topic><topic>Techniques</topic><topic>test sequence</topic><topic>Theory</topic><topic>U-graph</topic><topic>UIO</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Chen, Wen-Huei</creatorcontrib><creatorcontrib>Lu, Ching-Sung</creatorcontrib><creatorcontrib>Brozovsky, Elben R.</creatorcontrib><creatorcontrib>Wang, Jin-Tuu</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Information processing letters</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Chen, Wen-Huei</au><au>Lu, Ching-Sung</au><au>Brozovsky, Elben R.</au><au>Wang, Jin-Tuu</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>An optimization technique for protocol conformance testing using multiple UIO sequences</atitle><jtitle>Information processing letters</jtitle><date>1990-10-01</date><risdate>1990</risdate><volume>36</volume><issue>1</issue><spage>7</spage><epage>11</epage><pages>7-11</pages><issn>0020-0190</issn><eissn>1872-6119</eissn><coden>IFPLAT</coden><abstract>A new technique of test sequence generation is proposed for the protocol implementation to be conformable to the protocol specification. This technique involves the conversion from the transition graph of the protocol into a
U-graph so as to generate a test sequence utilizing multiple unique input/output (UIO) sequences. By introducing the Rural Chinese Postman Algorithm, this technique can be employed to generate an optimal test sequence for a protocol with either the reset capability or at least one self-loop per state.</abstract><cop>Amsterdam</cop><pub>Elsevier B.V</pub><doi>10.1016/0020-0190(90)90178-Z</doi><tpages>5</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0020-0190 |
| ispartof | Information processing letters, 1990-10, Vol.36 (1), p.7-11 |
| issn | 0020-0190 1872-6119 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_25782191 |
| source | ScienceDirect Journals (5 years ago - present) |
| subjects | Algorithms Information processing Mathematical models Optimization Optimization techniques Protocol Rural Chinese Postman Problem Techniques test sequence Theory U-graph UIO |
| title | An optimization technique for protocol conformance testing using multiple UIO sequences |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-06T19%3A11%3A07IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=An%20optimization%20technique%20for%20protocol%20conformance%20testing%20using%20multiple%20UIO%20sequences&rft.jtitle=Information%20processing%20letters&rft.au=Chen,%20Wen-Huei&rft.date=1990-10-01&rft.volume=36&rft.issue=1&rft.spage=7&rft.epage=11&rft.pages=7-11&rft.issn=0020-0190&rft.eissn=1872-6119&rft.coden=IFPLAT&rft_id=info:doi/10.1016/0020-0190(90)90178-Z&rft_dat=%3Cproquest_cross%3E1137265%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=237280460&rft_id=info:pmid/&rft_els_id=002001909090178Z&rfr_iscdi=true |