Generating test cases for real-time software by time Petri nets model

Generating test cases for real-time software by time Petri nets model

During the execution of real-time software, a sequence of events due to time takes place between the concurrent process. Because of the unpredictability of concurrent processes, multiple executions of real-time software with the same test cases may produce different results. This nondeterministic ex...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Ho, I., Jin-Chern Lin
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Computer aided software engineering
Petri nets
Software testing
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 300
container_issue
container_start_page 295
container_title
container_volume
creator Ho, I.
Jin-Chern Lin
description During the execution of real-time software, a sequence of events due to time takes place between the concurrent process. Because of the unpredictability of concurrent processes, multiple executions of real-time software with the same test cases may produce different results. This nondeterministic execution behavior always creates problems in real-time software testing. This paper explores real-time software testing, which combines decomposition of Petri net model with expansion of its time criterion. It includes (1) guideline of how to handle the nondeterministic properties of real-time systems using time Petri nets model, (2) the rules of how to decompose the Petri net model into independent segment groups, and (3) the way test cases are generated using independent segment group and time variation methods.
doi_str_mv 10.1109/ATS.1999.810766
format Conference Proceeding
fullrecord <record><control><sourceid>proquest_6IE</sourceid><recordid>TN_cdi_ieee_primary_810766</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>810766</ieee_id><sourcerecordid>26963152</sourcerecordid><originalsourceid>FETCH-LOGICAL-i118t-e734609149c580f937b56b9b5a7fe8ec2ceb3c1fc1379a90f46865cc3712ed073</originalsourceid><addsrcrecordid>eNotkMtLAzEYxIMPcFs9C55y8rY136Z5HUupVSgoWM9LNv0ikX3UJEX637taTwM_hmFmCLkFNgNg5mGxfZuBMWamgSkpz0hRcaVKwbU8J5MRGcE4iOqCFMA0lEpxcUUmKX0yxjgzvCCrNfYYbQ79B82YMnU2YaJ-iDSibcscOqRp8PnbRqTNkf6BV8wx0B5zot2ww_aaXHrbJrz51yl5f1xtl0_l5mX9vFxsygCgc4mKzyUzMDdOaOYNV42QjWmEVR41usphwx14B1wZa5ifSy2Fc1xBhTum-JTcn3L3cfg6jHXrLiSHbWt7HA6prqSRv4NH493JGBCx3sfQ2XisTzfxH2JnWOk</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype><pqid>26963152</pqid></control><display><type>conference_proceeding</type><title>Generating test cases for real-time software by time Petri nets model</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Ho, I. ; Jin-Chern Lin</creator><creatorcontrib>Ho, I. ; Jin-Chern Lin</creatorcontrib><description>During the execution of real-time software, a sequence of events due to time takes place between the concurrent process. Because of the unpredictability of concurrent processes, multiple executions of real-time software with the same test cases may produce different results. This nondeterministic execution behavior always creates problems in real-time software testing. This paper explores real-time software testing, which combines decomposition of Petri net model with expansion of its time criterion. It includes (1) guideline of how to handle the nondeterministic properties of real-time systems using time Petri nets model, (2) the rules of how to decompose the Petri net model into independent segment groups, and (3) the way test cases are generated using independent segment group and time variation methods.</description><identifier>ISSN: 1081-7735</identifier><identifier>ISBN: 0769503152</identifier><identifier>ISBN: 9780769503158</identifier><identifier>EISSN: 2377-5386</identifier><identifier>DOI: 10.1109/ATS.1999.810766</identifier><language>eng</language><publisher>IEEE</publisher><subject>Computer aided software engineering ; Petri nets ; Software testing</subject><ispartof>Proceedings - Asian Test Symposium, 1999, p.295-300</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/810766$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2051,4035,4036,27904,54899</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/810766$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Ho, I.</creatorcontrib><creatorcontrib>Jin-Chern Lin</creatorcontrib><title>Generating test cases for real-time software by time Petri nets model</title><title>Proceedings - Asian Test Symposium</title><addtitle>ATS</addtitle><description>During the execution of real-time software, a sequence of events due to time takes place between the concurrent process. Because of the unpredictability of concurrent processes, multiple executions of real-time software with the same test cases may produce different results. This nondeterministic execution behavior always creates problems in real-time software testing. This paper explores real-time software testing, which combines decomposition of Petri net model with expansion of its time criterion. It includes (1) guideline of how to handle the nondeterministic properties of real-time systems using time Petri nets model, (2) the rules of how to decompose the Petri net model into independent segment groups, and (3) the way test cases are generated using independent segment group and time variation methods.</description><subject>Computer aided software engineering</subject><subject>Petri nets</subject><subject>Software testing</subject><issn>1081-7735</issn><issn>2377-5386</issn><isbn>0769503152</isbn><isbn>9780769503158</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1999</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotkMtLAzEYxIMPcFs9C55y8rY136Z5HUupVSgoWM9LNv0ikX3UJEX637taTwM_hmFmCLkFNgNg5mGxfZuBMWamgSkpz0hRcaVKwbU8J5MRGcE4iOqCFMA0lEpxcUUmKX0yxjgzvCCrNfYYbQ79B82YMnU2YaJ-iDSibcscOqRp8PnbRqTNkf6BV8wx0B5zot2ww_aaXHrbJrz51yl5f1xtl0_l5mX9vFxsygCgc4mKzyUzMDdOaOYNV42QjWmEVR41usphwx14B1wZa5ifSy2Fc1xBhTum-JTcn3L3cfg6jHXrLiSHbWt7HA6prqSRv4NH493JGBCx3sfQ2XisTzfxH2JnWOk</recordid><startdate>1999</startdate><enddate>1999</enddate><creator>Ho, I.</creator><creator>Jin-Chern Lin</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>1999</creationdate><title>Generating test cases for real-time software by time Petri nets model</title><author>Ho, I. ; Jin-Chern Lin</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i118t-e734609149c580f937b56b9b5a7fe8ec2ceb3c1fc1379a90f46865cc3712ed073</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1999</creationdate><topic>Computer aided software engineering</topic><topic>Petri nets</topic><topic>Software testing</topic><toplevel>online_resources</toplevel><creatorcontrib>Ho, I.</creatorcontrib><creatorcontrib>Jin-Chern Lin</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><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></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Ho, I.</au><au>Jin-Chern Lin</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Generating test cases for real-time software by time Petri nets model</atitle><btitle>Proceedings - Asian Test Symposium</btitle><stitle>ATS</stitle><date>1999</date><risdate>1999</risdate><spage>295</spage><epage>300</epage><pages>295-300</pages><issn>1081-7735</issn><eissn>2377-5386</eissn><isbn>0769503152</isbn><isbn>9780769503158</isbn><abstract>During the execution of real-time software, a sequence of events due to time takes place between the concurrent process. Because of the unpredictability of concurrent processes, multiple executions of real-time software with the same test cases may produce different results. This nondeterministic execution behavior always creates problems in real-time software testing. This paper explores real-time software testing, which combines decomposition of Petri net model with expansion of its time criterion. It includes (1) guideline of how to handle the nondeterministic properties of real-time systems using time Petri nets model, (2) the rules of how to decompose the Petri net model into independent segment groups, and (3) the way test cases are generated using independent segment group and time variation methods.</abstract><pub>IEEE</pub><doi>10.1109/ATS.1999.810766</doi><tpages>6</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 1081-7735
ispartof Proceedings - Asian Test Symposium, 1999, p.295-300
issn 1081-7735
2377-5386
language eng
recordid cdi_ieee_primary_810766
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Computer aided software engineering
Petri nets
Software testing
title Generating test cases for real-time software by time Petri nets 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-22T03%3A17%3A55IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Generating%20test%20cases%20for%20real-time%20software%20by%20time%20Petri%20nets%20model&rft.btitle=Proceedings%20-%20Asian%20Test%20Symposium&rft.au=Ho,%20I.&rft.date=1999&rft.spage=295&rft.epage=300&rft.pages=295-300&rft.issn=1081-7735&rft.eissn=2377-5386&rft.isbn=0769503152&rft.isbn_list=9780769503158&rft_id=info:doi/10.1109/ATS.1999.810766&rft_dat=%3Cproquest_6IE%3E26963152%3C/proquest_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=26963152&rft_id=info:pmid/&rft_ieee_id=810766&rfr_iscdi=true