Model based TTCN-3 testing of industrial automation systems - First results

Model based TTCN-3 testing of industrial automation systems - First results

Model-driven system/protocol engineering has been successfully applied in the industrial automation domain over the recent years. However, its cousin model-based testing (MBT) is relatively a new kid in the block - who is being curiously observed by domain experts. MBT leverages behavior models (e.g...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Kumar, B., Czybik, B., Jasperneite, J.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Automation
Object oriented modeling
Predictive models
Protocols
Software
Testing
Unified modeling language
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 4
container_issue
container_start_page 1
container_title
container_volume
creator Kumar, B.
Czybik, B.
Jasperneite, J.
description Model-driven system/protocol engineering has been successfully applied in the industrial automation domain over the recent years. However, its cousin model-based testing (MBT) is relatively a new kid in the block - who is being curiously observed by domain experts. MBT leverages behavior models (e.g. software models) to automatically generate a large set of test cases. Testing industrial communication and automation systems manually for all significant behavioral scenarios is a non-trivial task. Hence, automatic generation of test vectors from formal/semi-formal models is desirable. Here, we report our first step towards the usage of MBT in the industrial automation context.
doi_str_mv 10.1109/ETFA.2011.6059146
format Conference Proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_6059146</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6059146</ieee_id><sourcerecordid>6059146</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-3f8e01a464d6f7f985ea97c7421812f7ea4762dddb635a8bc7195e2d20ca96623</originalsourceid><addsrcrecordid>eNpFkMtOwzAUBc1LopR-AGLjH0jw9TNeVlEDiAKbsK6c-AYZpQmKnUX_HqRWsBrpjHQWQ8gdsByA2YdNXa1zzgByzZQFqc_IDUhlDGOg9TlZgJU6Y0bZi39h5OWfkOyarGL8Yr87s9oKuyAvr6PHnjYuoqd1Xb5lgiaMKQyfdOxoGPwc0xRcT92cxr1LYRxoPMSE-0gzWoUpJjphnPsUb8lV5_qIqxOX5KPa1OVTtn1_fC7X2yyAUSkTXYEMnNTS6850tlDorGmN5FAA7ww6aTT33jdaKFc0rQGrkHvOWme15mJJ7o-_ARF331PYu-mwO0URP61pULo</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Model based TTCN-3 testing of industrial automation systems - First results</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Kumar, B. ; Czybik, B. ; Jasperneite, J.</creator><creatorcontrib>Kumar, B. ; Czybik, B. ; Jasperneite, J.</creatorcontrib><description>Model-driven system/protocol engineering has been successfully applied in the industrial automation domain over the recent years. However, its cousin model-based testing (MBT) is relatively a new kid in the block - who is being curiously observed by domain experts. MBT leverages behavior models (e.g. software models) to automatically generate a large set of test cases. Testing industrial communication and automation systems manually for all significant behavioral scenarios is a non-trivial task. Hence, automatic generation of test vectors from formal/semi-formal models is desirable. Here, we report our first step towards the usage of MBT in the industrial automation context.</description><identifier>ISSN: 1946-0740</identifier><identifier>ISBN: 1457700174</identifier><identifier>ISBN: 9781457700170</identifier><identifier>EISSN: 1946-0759</identifier><identifier>EISBN: 1457700166</identifier><identifier>EISBN: 9781457700163</identifier><identifier>EISBN: 9781457700187</identifier><identifier>EISBN: 1457700182</identifier><identifier>DOI: 10.1109/ETFA.2011.6059146</identifier><language>eng</language><publisher>IEEE</publisher><subject>Automation ; Object oriented modeling ; Predictive models ; Protocols ; Software ; Testing ; Unified modeling language</subject><ispartof>ETFA2011, 2011, p.1-4</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/6059146$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6059146$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Kumar, B.</creatorcontrib><creatorcontrib>Czybik, B.</creatorcontrib><creatorcontrib>Jasperneite, J.</creatorcontrib><title>Model based TTCN-3 testing of industrial automation systems - First results</title><title>ETFA2011</title><addtitle>ETFA</addtitle><description>Model-driven system/protocol engineering has been successfully applied in the industrial automation domain over the recent years. However, its cousin model-based testing (MBT) is relatively a new kid in the block - who is being curiously observed by domain experts. MBT leverages behavior models (e.g. software models) to automatically generate a large set of test cases. Testing industrial communication and automation systems manually for all significant behavioral scenarios is a non-trivial task. Hence, automatic generation of test vectors from formal/semi-formal models is desirable. Here, we report our first step towards the usage of MBT in the industrial automation context.</description><subject>Automation</subject><subject>Object oriented modeling</subject><subject>Predictive models</subject><subject>Protocols</subject><subject>Software</subject><subject>Testing</subject><subject>Unified modeling language</subject><issn>1946-0740</issn><issn>1946-0759</issn><isbn>1457700174</isbn><isbn>9781457700170</isbn><isbn>1457700166</isbn><isbn>9781457700163</isbn><isbn>9781457700187</isbn><isbn>1457700182</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2011</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNpFkMtOwzAUBc1LopR-AGLjH0jw9TNeVlEDiAKbsK6c-AYZpQmKnUX_HqRWsBrpjHQWQ8gdsByA2YdNXa1zzgByzZQFqc_IDUhlDGOg9TlZgJU6Y0bZi39h5OWfkOyarGL8Yr87s9oKuyAvr6PHnjYuoqd1Xb5lgiaMKQyfdOxoGPwc0xRcT92cxr1LYRxoPMSE-0gzWoUpJjphnPsUb8lV5_qIqxOX5KPa1OVTtn1_fC7X2yyAUSkTXYEMnNTS6850tlDorGmN5FAA7ww6aTT33jdaKFc0rQGrkHvOWme15mJJ7o-_ARF331PYu-mwO0URP61pULo</recordid><startdate>201109</startdate><enddate>201109</enddate><creator>Kumar, B.</creator><creator>Czybik, B.</creator><creator>Jasperneite, J.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201109</creationdate><title>Model based TTCN-3 testing of industrial automation systems - First results</title><author>Kumar, B. ; Czybik, B. ; Jasperneite, J.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-3f8e01a464d6f7f985ea97c7421812f7ea4762dddb635a8bc7195e2d20ca96623</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2011</creationdate><topic>Automation</topic><topic>Object oriented modeling</topic><topic>Predictive models</topic><topic>Protocols</topic><topic>Software</topic><topic>Testing</topic><topic>Unified modeling language</topic><toplevel>online_resources</toplevel><creatorcontrib>Kumar, B.</creatorcontrib><creatorcontrib>Czybik, B.</creatorcontrib><creatorcontrib>Jasperneite, J.</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></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Kumar, B.</au><au>Czybik, B.</au><au>Jasperneite, J.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Model based TTCN-3 testing of industrial automation systems - First results</atitle><btitle>ETFA2011</btitle><stitle>ETFA</stitle><date>2011-09</date><risdate>2011</risdate><spage>1</spage><epage>4</epage><pages>1-4</pages><issn>1946-0740</issn><eissn>1946-0759</eissn><isbn>1457700174</isbn><isbn>9781457700170</isbn><eisbn>1457700166</eisbn><eisbn>9781457700163</eisbn><eisbn>9781457700187</eisbn><eisbn>1457700182</eisbn><abstract>Model-driven system/protocol engineering has been successfully applied in the industrial automation domain over the recent years. However, its cousin model-based testing (MBT) is relatively a new kid in the block - who is being curiously observed by domain experts. MBT leverages behavior models (e.g. software models) to automatically generate a large set of test cases. Testing industrial communication and automation systems manually for all significant behavioral scenarios is a non-trivial task. Hence, automatic generation of test vectors from formal/semi-formal models is desirable. Here, we report our first step towards the usage of MBT in the industrial automation context.</abstract><pub>IEEE</pub><doi>10.1109/ETFA.2011.6059146</doi><tpages>4</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 1946-0740
ispartof ETFA2011, 2011, p.1-4
issn 1946-0740
1946-0759
language eng
recordid cdi_ieee_primary_6059146
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Automation
Object oriented modeling
Predictive models
Protocols
Software
Testing
Unified modeling language
title Model based TTCN-3 testing of industrial automation systems - First results
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-04T00%3A52%3A44IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Model%20based%20TTCN-3%20testing%20of%20industrial%20automation%20systems%20-%20First%20results&rft.btitle=ETFA2011&rft.au=Kumar,%20B.&rft.date=2011-09&rft.spage=1&rft.epage=4&rft.pages=1-4&rft.issn=1946-0740&rft.eissn=1946-0759&rft.isbn=1457700174&rft.isbn_list=9781457700170&rft_id=info:doi/10.1109/ETFA.2011.6059146&rft_dat=%3Cieee_6IE%3E6059146%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=1457700166&rft.eisbn_list=9781457700163&rft.eisbn_list=9781457700187&rft.eisbn_list=1457700182&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6059146&rfr_iscdi=true