Requirements-driven model-based testing of the IP multimedia subsystem

IP Multimedia Subsystem (IMS) is an architectural framework for delivering Internet protocol multimedia to mobile users. The functionality of the system is specified and standardised to allow interoperability between equipment from different vendors. We study how to build the system models for model...

Full description

Saved in:
Bibliographic Details
Main Authors: Ernits, J., Kaaramees, M., Raiend, K., Kull, A.
Format: Conference Proceeding
Language:English
Subjects:
Analytical models
Automata
Data models
Multimedia communication
Object oriented modeling
Protocols
Testing
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 206
container_issue
container_start_page 203
container_title
container_volume
creator Ernits, J.
Kaaramees, M.
Raiend, K.
Kull, A.
Ernits, J.
description IP Multimedia Subsystem (IMS) is an architectural framework for delivering Internet protocol multimedia to mobile users. The functionality of the system is specified and standardised to allow interoperability between equipment from different vendors. We study how to build the system models for model-based testing of an IMS configuration in a way which provides easy means of linking a requirement, i.e. some paragraph in the specification to a specific part of the model. In addition, it allows to find out which requirements listed in the specification are violated in case of an error. Requirements-based approach in testing is extensively used in the industry in manual and script-based testing. The same should be possible for model-based testing. The current case study describes how to model a fragment of the IMS protocols from the point of view of the requirements and provides solutions using either a network of Uppaal automata or NModel model programs.
doi_str_mv 10.1109/BEC.2008.4657514
format conference_proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_4657514</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4657514</ieee_id><sourcerecordid>4657514</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-e061839db3734e4c3f1fb8b84336d0ba39d98cac61bd430b2fe1b343daf3a8763</originalsourceid><addsrcrecordid>eNotkE9LAzEUxCNasK29C17yBba-7Mvfo5ZWCwVF9FyS5q1Guq1uskK_vRU7l2H4MXMYxq4FTIUAd3s_n01rADuVWhkl5BmbOGOFrKWsQYM6Z6NTUM5esKEwqCs0oAZs9NdzAMLWl2yS8yccJRVK4YZs8ULffeqopV3JVezSD-14u4-0rYLPFHmhXNLune8bXj6IL595229Laikmz3Mf8iEXaq_YoPHbTJOTj9nbYv46e6xWTw_L2d2qSsKoUhFoYdHFgAYlyQ02ogk2WImoIwR_RM5u_EaLECVCqBsSASVG36C3RuOY3fzvJiJaf3Wp9d1hffoEfwE8kVDA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Requirements-driven model-based testing of the IP multimedia subsystem</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Ernits, J. ; Kaaramees, M. ; Raiend, K. ; Kull, A. ; Ernits, J.</creator><creatorcontrib>Ernits, J. ; Kaaramees, M. ; Raiend, K. ; Kull, A. ; Ernits, J.</creatorcontrib><description>IP Multimedia Subsystem (IMS) is an architectural framework for delivering Internet protocol multimedia to mobile users. The functionality of the system is specified and standardised to allow interoperability between equipment from different vendors. We study how to build the system models for model-based testing of an IMS configuration in a way which provides easy means of linking a requirement, i.e. some paragraph in the specification to a specific part of the model. In addition, it allows to find out which requirements listed in the specification are violated in case of an error. Requirements-based approach in testing is extensively used in the industry in manual and script-based testing. The same should be possible for model-based testing. The current case study describes how to model a fragment of the IMS protocols from the point of view of the requirements and provides solutions using either a network of Uppaal automata or NModel model programs.</description><identifier>ISSN: 1736-3705</identifier><identifier>ISBN: 1424420598</identifier><identifier>ISBN: 9781424420599</identifier><identifier>EISBN: 9781424420605</identifier><identifier>EISBN: 1424420601</identifier><identifier>DOI: 10.1109/BEC.2008.4657514</identifier><identifier>LCCN: 2008900182</identifier><language>eng</language><publisher>IEEE</publisher><subject>Analytical models ; Automata ; Data models ; Multimedia communication ; Object oriented modeling ; Protocols ; Testing</subject><ispartof>2008 11th International Biennial Baltic Electronics Conference, 2008, p.203-206</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/4657514$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2051,27904,54898</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4657514$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Ernits, J.</creatorcontrib><creatorcontrib>Kaaramees, M.</creatorcontrib><creatorcontrib>Raiend, K.</creatorcontrib><creatorcontrib>Kull, A.</creatorcontrib><creatorcontrib>Ernits, J.</creatorcontrib><title>Requirements-driven model-based testing of the IP multimedia subsystem</title><title>2008 11th International Biennial Baltic Electronics Conference</title><addtitle>BEC</addtitle><description>IP Multimedia Subsystem (IMS) is an architectural framework for delivering Internet protocol multimedia to mobile users. The functionality of the system is specified and standardised to allow interoperability between equipment from different vendors. We study how to build the system models for model-based testing of an IMS configuration in a way which provides easy means of linking a requirement, i.e. some paragraph in the specification to a specific part of the model. In addition, it allows to find out which requirements listed in the specification are violated in case of an error. Requirements-based approach in testing is extensively used in the industry in manual and script-based testing. The same should be possible for model-based testing. The current case study describes how to model a fragment of the IMS protocols from the point of view of the requirements and provides solutions using either a network of Uppaal automata or NModel model programs.</description><subject>Analytical models</subject><subject>Automata</subject><subject>Data models</subject><subject>Multimedia communication</subject><subject>Object oriented modeling</subject><subject>Protocols</subject><subject>Testing</subject><issn>1736-3705</issn><isbn>1424420598</isbn><isbn>9781424420599</isbn><isbn>9781424420605</isbn><isbn>1424420601</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2008</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNotkE9LAzEUxCNasK29C17yBba-7Mvfo5ZWCwVF9FyS5q1Guq1uskK_vRU7l2H4MXMYxq4FTIUAd3s_n01rADuVWhkl5BmbOGOFrKWsQYM6Z6NTUM5esKEwqCs0oAZs9NdzAMLWl2yS8yccJRVK4YZs8ULffeqopV3JVezSD-14u4-0rYLPFHmhXNLune8bXj6IL595229Laikmz3Mf8iEXaq_YoPHbTJOTj9nbYv46e6xWTw_L2d2qSsKoUhFoYdHFgAYlyQ02ogk2WImoIwR_RM5u_EaLECVCqBsSASVG36C3RuOY3fzvJiJaf3Wp9d1hffoEfwE8kVDA</recordid><startdate>200810</startdate><enddate>200810</enddate><creator>Ernits, J.</creator><creator>Kaaramees, M.</creator><creator>Raiend, K.</creator><creator>Kull, A.</creator><creator>Ernits, J.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>200810</creationdate><title>Requirements-driven model-based testing of the IP multimedia subsystem</title><author>Ernits, J. ; Kaaramees, M. ; Raiend, K. ; Kull, A. ; Ernits, J.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-e061839db3734e4c3f1fb8b84336d0ba39d98cac61bd430b2fe1b343daf3a8763</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2008</creationdate><topic>Analytical models</topic><topic>Automata</topic><topic>Data models</topic><topic>Multimedia communication</topic><topic>Object oriented modeling</topic><topic>Protocols</topic><topic>Testing</topic><toplevel>online_resources</toplevel><creatorcontrib>Ernits, J.</creatorcontrib><creatorcontrib>Kaaramees, M.</creatorcontrib><creatorcontrib>Raiend, K.</creatorcontrib><creatorcontrib>Kull, A.</creatorcontrib><creatorcontrib>Ernits, 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 Xplore</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>Ernits, J.</au><au>Kaaramees, M.</au><au>Raiend, K.</au><au>Kull, A.</au><au>Ernits, J.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Requirements-driven model-based testing of the IP multimedia subsystem</atitle><btitle>2008 11th International Biennial Baltic Electronics Conference</btitle><stitle>BEC</stitle><date>2008-10</date><risdate>2008</risdate><spage>203</spage><epage>206</epage><pages>203-206</pages><issn>1736-3705</issn><isbn>1424420598</isbn><isbn>9781424420599</isbn><eisbn>9781424420605</eisbn><eisbn>1424420601</eisbn><abstract>IP Multimedia Subsystem (IMS) is an architectural framework for delivering Internet protocol multimedia to mobile users. The functionality of the system is specified and standardised to allow interoperability between equipment from different vendors. We study how to build the system models for model-based testing of an IMS configuration in a way which provides easy means of linking a requirement, i.e. some paragraph in the specification to a specific part of the model. In addition, it allows to find out which requirements listed in the specification are violated in case of an error. Requirements-based approach in testing is extensively used in the industry in manual and script-based testing. The same should be possible for model-based testing. The current case study describes how to model a fragment of the IMS protocols from the point of view of the requirements and provides solutions using either a network of Uppaal automata or NModel model programs.</abstract><pub>IEEE</pub><doi>10.1109/BEC.2008.4657514</doi><tpages>4</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 1736-3705
ispartof 2008 11th International Biennial Baltic Electronics Conference, 2008, p.203-206
issn 1736-3705
language eng
recordid cdi_ieee_primary_4657514
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Analytical models
Automata
Data models
Multimedia communication
Object oriented modeling
Protocols
Testing
title Requirements-driven model-based testing of the IP multimedia subsystem
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-27T01%3A45%3A35IST&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=Requirements-driven%20model-based%20testing%20of%20the%20IP%20multimedia%20subsystem&rft.btitle=2008%2011th%20International%20Biennial%20Baltic%20Electronics%20Conference&rft.au=Ernits,%20J.&rft.date=2008-10&rft.spage=203&rft.epage=206&rft.pages=203-206&rft.issn=1736-3705&rft.isbn=1424420598&rft.isbn_list=9781424420599&rft_id=info:doi/10.1109/BEC.2008.4657514&rft.eisbn=9781424420605&rft.eisbn_list=1424420601&rft_dat=%3Cieee_6IE%3E4657514%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i175t-e061839db3734e4c3f1fb8b84336d0ba39d98cac61bd430b2fe1b343daf3a8763%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=4657514&rfr_iscdi=true