Model-Based Specification Animation Using Testgraphs
This paper presents a framework for systematically animating specifications using testgraphs: directed graphs that partially model the specification being animated. Sequences for the animation are derived by traversing the test-graph. The framework provides a testgraph editor that allows users to ed...
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 | 203 |
|---|---|
| container_issue | |
| container_start_page | 192 |
| container_title | |
| container_volume | 2495 |
| creator | Miller, Tim Strooper, Paul |
| description | This paper presents a framework for systematically animating specifications using testgraphs: directed graphs that partially model the specification being animated. Sequences for the animation are derived by traversing the test-graph. The framework provides a testgraph editor that allows users to edit testgraphs and supports automated testgraph traversal. Experience with the framework so far indicates that it can be used to effectively animate small to medium-sized specifications and that it can reveal a significant number of problems in these specifications. |
| doi_str_mv | 10.1007/3-540-36103-0_21 |
| format | Book Chapter |
| fullrecord | <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_14539348</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3071678_26_203</sourcerecordid><originalsourceid>FETCH-LOGICAL-p268t-dc7d25fb8b50313d0784ef737c94c7b8ac18583cea7cd204d01e0af7a22568fd3</originalsourceid><addsrcrecordid>eNotULtSwzAQFMNjCCE9ZRpKhZPOtqQyMLxmwlCQ1BpZkhODsY1kCv4eOck199rduVtCbhgsGIC4Q5pnQLFggBQ0ZydkpoTENNzP1Cm5GpsUXLEzMgEETpXI8IJMFOZcgeTsksxi_BxByJGzYkKyt875ht6b6N38o_e2rmprhrpr58u2_j5Um1i32_nax2EbTL-L1-S8Mk30s2Oeks3T4_rhha7en18fliva80IO1FnheF6VsswBGToQMvOVQGFVZkUpjWUyl2i9EdZxyBwwD6YShvO8kJXDKbk96PYmWtNUwbS2jroP6bDwp1mWo8JMJtzigItp1W590GXXfUXNQI_eadTJGb33SY_eJQIehUP385v-0n5kWN8OwTR2Z_rBh6gRBCuE1LzQHBD_Aa7mbR4</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3071678_26_203</pqid></control><display><type>book_chapter</type><title>Model-Based Specification Animation Using Testgraphs</title><source>Springer Books</source><creator>Miller, Tim ; Strooper, Paul</creator><contributor>Miao, Huaikou ; George, Chris ; Miao, Huaikou ; George, Chris</contributor><creatorcontrib>Miller, Tim ; Strooper, Paul ; Miao, Huaikou ; George, Chris ; Miao, Huaikou ; George, Chris</creatorcontrib><description>This paper presents a framework for systematically animating specifications using testgraphs: directed graphs that partially model the specification being animated. Sequences for the animation are derived by traversing the test-graph. The framework provides a testgraph editor that allows users to edit testgraphs and supports automated testgraph traversal. Experience with the framework so far indicates that it can be used to effectively animate small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540000291</identifier><identifier>ISBN: 9783540000297</identifier><identifier>EISBN: 9783540361039</identifier><identifier>EISBN: 3540361030</identifier><identifier>DOI: 10.1007/3-540-36103-0_21</identifier><identifier>OCLC: 935290821</identifier><identifier>LCCallNum: QA76.758</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Current Node ; Destination Node ; Exact sciences and technology ; IEEE Computer Society ; Information retrieval. Graph ; Model Check ; State Machine ; Theoretical computing</subject><ispartof>Formal Methods and Software Engineering, 2002, Vol.2495, p.192-203</ispartof><rights>Springer-Verlag Berlin Heidelberg 2002</rights><rights>2003 INIST-CNRS</rights><lds50>peer_reviewed</lds50><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/3071678-l.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-36103-0_21$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-36103-0_21$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,779,780,784,789,790,793,4040,4041,27916,38246,41433,42502</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=14539348$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Miao, Huaikou</contributor><contributor>George, Chris</contributor><contributor>Miao, Huaikou</contributor><contributor>George, Chris</contributor><creatorcontrib>Miller, Tim</creatorcontrib><creatorcontrib>Strooper, Paul</creatorcontrib><title>Model-Based Specification Animation Using Testgraphs</title><title>Formal Methods and Software Engineering</title><description>This paper presents a framework for systematically animating specifications using testgraphs: directed graphs that partially model the specification being animated. Sequences for the animation are derived by traversing the test-graph. The framework provides a testgraph editor that allows users to edit testgraphs and supports automated testgraph traversal. Experience with the framework so far indicates that it can be used to effectively animate small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Current Node</subject><subject>Destination Node</subject><subject>Exact sciences and technology</subject><subject>IEEE Computer Society</subject><subject>Information retrieval. Graph</subject><subject>Model Check</subject><subject>State Machine</subject><subject>Theoretical computing</subject><issn>0302-9743</issn><isbn>3540000291</isbn><isbn>9783540000297</isbn><isbn>9783540361039</isbn><isbn>3540361030</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2002</creationdate><recordtype>book_chapter</recordtype><recordid>eNotULtSwzAQFMNjCCE9ZRpKhZPOtqQyMLxmwlCQ1BpZkhODsY1kCv4eOck199rduVtCbhgsGIC4Q5pnQLFggBQ0ZydkpoTENNzP1Cm5GpsUXLEzMgEETpXI8IJMFOZcgeTsksxi_BxByJGzYkKyt875ht6b6N38o_e2rmprhrpr58u2_j5Um1i32_nax2EbTL-L1-S8Mk30s2Oeks3T4_rhha7en18fliva80IO1FnheF6VsswBGToQMvOVQGFVZkUpjWUyl2i9EdZxyBwwD6YShvO8kJXDKbk96PYmWtNUwbS2jroP6bDwp1mWo8JMJtzigItp1W590GXXfUXNQI_eadTJGb33SY_eJQIehUP385v-0n5kWN8OwTR2Z_rBh6gRBCuE1LzQHBD_Aa7mbR4</recordid><startdate>2002</startdate><enddate>2002</enddate><creator>Miller, Tim</creator><creator>Strooper, Paul</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>FFUUA</scope><scope>IQODW</scope></search><sort><creationdate>2002</creationdate><title>Model-Based Specification Animation Using Testgraphs</title><author>Miller, Tim ; Strooper, Paul</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p268t-dc7d25fb8b50313d0784ef737c94c7b8ac18583cea7cd204d01e0af7a22568fd3</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2002</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Current Node</topic><topic>Destination Node</topic><topic>Exact sciences and technology</topic><topic>IEEE Computer Society</topic><topic>Information retrieval. Graph</topic><topic>Model Check</topic><topic>State Machine</topic><topic>Theoretical computing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Miller, Tim</creatorcontrib><creatorcontrib>Strooper, Paul</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>Miller, Tim</au><au>Strooper, Paul</au><au>Miao, Huaikou</au><au>George, Chris</au><au>Miao, Huaikou</au><au>George, Chris</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Model-Based Specification Animation Using Testgraphs</atitle><btitle>Formal Methods and Software Engineering</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2002</date><risdate>2002</risdate><volume>2495</volume><spage>192</spage><epage>203</epage><pages>192-203</pages><issn>0302-9743</issn><isbn>3540000291</isbn><isbn>9783540000297</isbn><eisbn>9783540361039</eisbn><eisbn>3540361030</eisbn><abstract>This paper presents a framework for systematically animating specifications using testgraphs: directed graphs that partially model the specification being animated. Sequences for the animation are derived by traversing the test-graph. The framework provides a testgraph editor that allows users to edit testgraphs and supports automated testgraph traversal. Experience with the framework so far indicates that it can be used to effectively animate small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/3-540-36103-0_21</doi><oclcid>935290821</oclcid><tpages>12</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Formal Methods and Software Engineering, 2002, Vol.2495, p.192-203 |
| issn | 0302-9743 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_14539348 |
| source | Springer Books |
| subjects | Applied sciences Computer science control theory systems Current Node Destination Node Exact sciences and technology IEEE Computer Society Information retrieval. Graph Model Check State Machine Theoretical computing |
| title | Model-Based Specification Animation Using Testgraphs |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-15T01%3A28%3A28IST&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=Model-Based%20Specification%20Animation%20Using%20Testgraphs&rft.btitle=Formal%20Methods%20and%20Software%20Engineering&rft.au=Miller,%20Tim&rft.date=2002&rft.volume=2495&rft.spage=192&rft.epage=203&rft.pages=192-203&rft.issn=0302-9743&rft.isbn=3540000291&rft.isbn_list=9783540000297&rft_id=info:doi/10.1007/3-540-36103-0_21&rft_dat=%3Cproquest_pasca%3EEBC3071678_26_203%3C/proquest_pasca%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540361039&rft.eisbn_list=3540361030&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3071678_26_203&rft_id=info:pmid/&rfr_iscdi=true |