Generation of Optimized Testsuites for UML Statecharts with Time
abstract We present an approach to automatically generate time-optimized coverage-based testsuites from a subclass of deterministic statecharts with real-time constraints. The algorithms are implemented as a plugin for a standard UML tool (Poseidon for UML). The statecharts are extended to accomplis...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buchkapitel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 143 |
|---|---|
| container_issue | |
| container_start_page | 128 |
| container_title | |
| container_volume | 2978 |
| creator | Mücke, Tilo Huhn, Michaela |
| description | abstract We present an approach to automatically generate time-optimized coverage-based testsuites from a subclass of deterministic statecharts with real-time constraints. The algorithms are implemented as a plugin for a standard UML tool (Poseidon for UML). The statecharts are extended to accomplish common and new coverage criteria inspired by the experience of test experts and translated into timed automata. The model checker UPPAAL then searches a trace with the fastest diagnostic trace option which provides the basis for the testsuite. |
| doi_str_mv | 10.1007/978-3-540-24704-3_9 |
| format | Book Chapter |
| fullrecord | <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_15735219</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3088766_15_138</sourcerecordid><originalsourceid>FETCH-LOGICAL-p316t-b23deb88c92e59a0b5416888a943743d1441ea5d43c1db5dd19d9e37446676223</originalsourceid><addsrcrecordid>eNotUMtOwzAQNE9RSr-ASy4cDV6v49g3UAUFqagH2rPlJC4NtEmwXSH4etyWvexqZl8zhFwDuwXGijtdKIo0F4xyUTBB0egjMkooJmwP4TEZgASgiEKfkMs9ARw0nJIBQ8apLgSek4FOvAKQ8oKMQvhgKXheCM4H5H7iWudtbLo265bZrI_Npvl1dTZ3IYZtE13Ilp3PFq_T7C3a6KqV9TFk301cZfNm467I2dKugxv95yFZPD3Ox890Opu8jB-mtEeQkZYca1cqVWnucm1ZmQuQSimrBaYnaxACnM1rgRXUZV7XoGvtEiWkLCTnOCQ3h729DZVdL71tqyaY3jcb638M5AXmSXrqg0NfSFT77rwpu-4zGGBmZ6tJBho0ySmz9zDVuxn83-27r20SbtxuqHJt9HadFPfR-WCQKVVImW4ZQIV_pv1z6w</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3088766_15_138</pqid></control><display><type>book_chapter</type><title>Generation of Optimized Testsuites for UML Statecharts with Time</title><source>Springer Books</source><creator>Mücke, Tilo ; Huhn, Michaela</creator><contributor>Hierons, Robert M ; Groz, Roland</contributor><creatorcontrib>Mücke, Tilo ; Huhn, Michaela ; Hierons, Robert M ; Groz, Roland</creatorcontrib><description>abstract We present an approach to automatically generate time-optimized coverage-based testsuites from a subclass of deterministic statecharts with real-time constraints. The algorithms are implemented as a plugin for a standard UML tool (Poseidon for UML). The statecharts are extended to accomplish common and new coverage criteria inspired by the experience of test experts and translated into timed automata. The model checker UPPAAL then searches a trace with the fastest diagnostic trace option which provides the basis for the testsuite.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540212191</identifier><identifier>ISBN: 9783540212195</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540247043</identifier><identifier>EISBN: 3540247041</identifier><identifier>DOI: 10.1007/978-3-540-24704-3_9</identifier><identifier>OCLC: 934981166</identifier><identifier>LCCallNum: QA76.758</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Applied sciences ; Composite State ; Computer science; control theory; systems ; Coverage Criterion ; Coverage Variable ; Exact sciences and technology ; Model Checker ; Software ; Software engineering ; Test Case Generation</subject><ispartof>Lecture notes in computer science, 2004, Vol.2978, p.128-143</ispartof><rights>IFIP International Federation for Information Processing 2004</rights><rights>2004 INIST-CNRS</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://ebookcentral.proquest.com/covers/3088766-l.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/978-3-540-24704-3_9$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/978-3-540-24704-3_9$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,4036,4037,27902,38232,41418,42487</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=15735219$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Hierons, Robert M</contributor><contributor>Groz, Roland</contributor><creatorcontrib>Mücke, Tilo</creatorcontrib><creatorcontrib>Huhn, Michaela</creatorcontrib><title>Generation of Optimized Testsuites for UML Statecharts with Time</title><title>Lecture notes in computer science</title><description>abstract We present an approach to automatically generate time-optimized coverage-based testsuites from a subclass of deterministic statecharts with real-time constraints. The algorithms are implemented as a plugin for a standard UML tool (Poseidon for UML). The statecharts are extended to accomplish common and new coverage criteria inspired by the experience of test experts and translated into timed automata. The model checker UPPAAL then searches a trace with the fastest diagnostic trace option which provides the basis for the testsuite.</description><subject>Applied sciences</subject><subject>Composite State</subject><subject>Computer science; control theory; systems</subject><subject>Coverage Criterion</subject><subject>Coverage Variable</subject><subject>Exact sciences and technology</subject><subject>Model Checker</subject><subject>Software</subject><subject>Software engineering</subject><subject>Test Case Generation</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540212191</isbn><isbn>9783540212195</isbn><isbn>9783540247043</isbn><isbn>3540247041</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2004</creationdate><recordtype>book_chapter</recordtype><recordid>eNotUMtOwzAQNE9RSr-ASy4cDV6v49g3UAUFqagH2rPlJC4NtEmwXSH4etyWvexqZl8zhFwDuwXGijtdKIo0F4xyUTBB0egjMkooJmwP4TEZgASgiEKfkMs9ARw0nJIBQ8apLgSek4FOvAKQ8oKMQvhgKXheCM4H5H7iWudtbLo265bZrI_Npvl1dTZ3IYZtE13Ilp3PFq_T7C3a6KqV9TFk301cZfNm467I2dKugxv95yFZPD3Ox890Opu8jB-mtEeQkZYca1cqVWnucm1ZmQuQSimrBaYnaxACnM1rgRXUZV7XoGvtEiWkLCTnOCQ3h729DZVdL71tqyaY3jcb638M5AXmSXrqg0NfSFT77rwpu-4zGGBmZ6tJBho0ySmz9zDVuxn83-27r20SbtxuqHJt9HadFPfR-WCQKVVImW4ZQIV_pv1z6w</recordid><startdate>2004</startdate><enddate>2004</enddate><creator>Mücke, Tilo</creator><creator>Huhn, Michaela</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>FFUUA</scope><scope>IQODW</scope></search><sort><creationdate>2004</creationdate><title>Generation of Optimized Testsuites for UML Statecharts with Time</title><author>Mücke, Tilo ; Huhn, Michaela</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p316t-b23deb88c92e59a0b5416888a943743d1441ea5d43c1db5dd19d9e37446676223</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2004</creationdate><topic>Applied sciences</topic><topic>Composite State</topic><topic>Computer science; control theory; systems</topic><topic>Coverage Criterion</topic><topic>Coverage Variable</topic><topic>Exact sciences and technology</topic><topic>Model Checker</topic><topic>Software</topic><topic>Software engineering</topic><topic>Test Case Generation</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Mücke, Tilo</creatorcontrib><creatorcontrib>Huhn, Michaela</creatorcontrib><collection>ProQuest Ebook Central - Book Chapters - Demo use only</collection><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Mücke, Tilo</au><au>Huhn, Michaela</au><au>Hierons, Robert M</au><au>Groz, Roland</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Generation of Optimized Testsuites for UML Statecharts with Time</atitle><btitle>Lecture notes in computer science</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2004</date><risdate>2004</risdate><volume>2978</volume><spage>128</spage><epage>143</epage><pages>128-143</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540212191</isbn><isbn>9783540212195</isbn><eisbn>9783540247043</eisbn><eisbn>3540247041</eisbn><abstract>abstract We present an approach to automatically generate time-optimized coverage-based testsuites from a subclass of deterministic statecharts with real-time constraints. The algorithms are implemented as a plugin for a standard UML tool (Poseidon for UML). The statecharts are extended to accomplish common and new coverage criteria inspired by the experience of test experts and translated into timed automata. The model checker UPPAAL then searches a trace with the fastest diagnostic trace option which provides the basis for the testsuite.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/978-3-540-24704-3_9</doi><oclcid>934981166</oclcid><tpages>16</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Lecture notes in computer science, 2004, Vol.2978, p.128-143 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_15735219 |
| source | Springer Books |
| subjects | Applied sciences Composite State Computer science control theory systems Coverage Criterion Coverage Variable Exact sciences and technology Model Checker Software Software engineering Test Case Generation |
| title | Generation of Optimized Testsuites for UML Statecharts with Time |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-11T03%3A53%3A21IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_pasca&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=Generation%20of%20Optimized%20Testsuites%20for%20UML%20Statecharts%20with%20Time&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=M%C3%BCcke,%20Tilo&rft.date=2004&rft.volume=2978&rft.spage=128&rft.epage=143&rft.pages=128-143&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540212191&rft.isbn_list=9783540212195&rft_id=info:doi/10.1007/978-3-540-24704-3_9&rft_dat=%3Cproquest_pasca%3EEBC3088766_15_138%3C/proquest_pasca%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540247043&rft.eisbn_list=3540247041&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3088766_15_138&rft_id=info:pmid/&rfr_iscdi=true |