Contract-Based Testing for Web Services

This paper examines the use of Design by Contract for web service descriptions, and explores the issues and solutions of automatic test case generation and test oracle generation in the context of WS testing based on contracts. In our approach, the traditional concept of contracts (pre-condition, po...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Guilan Dai, Xiaoying Bai, Yongbo Wang, Fengjun Dai
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Automatic testing Contracts Humans Microstrip Performance evaluation Runtime Service oriented architecture Software testing System testing Web services
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	526
container_issue
container_start_page	517
container_title
container_volume	1
creator	Guilan Dai Xiaoying Bai Yongbo Wang Fengjun Dai
description	This paper examines the use of Design by Contract for web service descriptions, and explores the issues and solutions of automatic test case generation and test oracle generation in the context of WS testing based on contracts. In our approach, the traditional concept of contracts (pre-condition, post-condition, and invariant) is extended to contain richer information, such as process control, to support automatic test generation. Contracts are used to specify the relation between a component and its clients as a formal agreement, expressing each party's rights and obligations. Contracts can be expressed in the OWL-S process model. By checking whether the web service respects its contracts, we can ascertain its validity. Therefore, contracts provide the basis for the automation of the testing process.
doi_str_mv	10.1109/COMPSAC.2007.100
format	Conference Proceeding
fullrecord	<record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_4291045</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4291045</ieee_id><sourcerecordid>4291045</sourcerecordid><originalsourceid>FETCH-LOGICAL-c222t-130b1472508e732e0b819618e8a1f864a96108d6a330f66e81d7269c621d49bb3</originalsourceid><addsrcrecordid>eNotzE1Lw0AQgOEFFay1d8FLbp42nZn9PtbFqtBSoRWPZZNMJKKt7AbBf6-gp5fn8gpxhVAjQpjHzfppu4g1AbgaAU7ELDgPzgZD3gGcigk4BVKhcefiopQ3AAzB-Im4icfDmFM7yttUuKt2XMbh8Fr1x1y9cFNtOX8NLZdLcdan98Kz_07F8_JuFx_kanP_GBcr2RLRKFFBg9qRAc9OEUPjMVj07BP23ur0C_CdTUpBby177BzZ0FrCToemUVNx_fcdmHn_mYePlL_3mgKCNuoHJOQ-WQ</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Contract-Based Testing for Web Services</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Guilan Dai ; Xiaoying Bai ; Yongbo Wang ; Fengjun Dai</creator><creatorcontrib>Guilan Dai ; Xiaoying Bai ; Yongbo Wang ; Fengjun Dai</creatorcontrib><description>This paper examines the use of Design by Contract for web service descriptions, and explores the issues and solutions of automatic test case generation and test oracle generation in the context of WS testing based on contracts. In our approach, the traditional concept of contracts (pre-condition, post-condition, and invariant) is extended to contain richer information, such as process control, to support automatic test generation. Contracts are used to specify the relation between a component and its clients as a formal agreement, expressing each party's rights and obligations. Contracts can be expressed in the OWL-S process model. By checking whether the web service respects its contracts, we can ascertain its validity. Therefore, contracts provide the basis for the automation of the testing process.</description><identifier>ISSN: 0730-3157</identifier><identifier>ISBN: 9780769528700</identifier><identifier>ISBN: 0769528708</identifier><identifier>DOI: 10.1109/COMPSAC.2007.100</identifier><language>eng</language><publisher>IEEE</publisher><subject>Automatic testing ; Contracts ; Humans ; Microstrip ; Performance evaluation ; Runtime ; Service oriented architecture ; Software testing ; System testing ; Web services</subject><ispartof>31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 2007, Vol.1, p.517-526</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c222t-130b1472508e732e0b819618e8a1f864a96108d6a330f66e81d7269c621d49bb3</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4291045$$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/4291045$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Guilan Dai</creatorcontrib><creatorcontrib>Xiaoying Bai</creatorcontrib><creatorcontrib>Yongbo Wang</creatorcontrib><creatorcontrib>Fengjun Dai</creatorcontrib><title>Contract-Based Testing for Web Services</title><title>31st Annual International Computer Software and Applications Conference (COMPSAC 2007)</title><addtitle>COMPSAC</addtitle><description>This paper examines the use of Design by Contract for web service descriptions, and explores the issues and solutions of automatic test case generation and test oracle generation in the context of WS testing based on contracts. In our approach, the traditional concept of contracts (pre-condition, post-condition, and invariant) is extended to contain richer information, such as process control, to support automatic test generation. Contracts are used to specify the relation between a component and its clients as a formal agreement, expressing each party's rights and obligations. Contracts can be expressed in the OWL-S process model. By checking whether the web service respects its contracts, we can ascertain its validity. Therefore, contracts provide the basis for the automation of the testing process.</description><subject>Automatic testing</subject><subject>Contracts</subject><subject>Humans</subject><subject>Microstrip</subject><subject>Performance evaluation</subject><subject>Runtime</subject><subject>Service oriented architecture</subject><subject>Software testing</subject><subject>System testing</subject><subject>Web services</subject><issn>0730-3157</issn><isbn>9780769528700</isbn><isbn>0769528708</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2007</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotzE1Lw0AQgOEFFay1d8FLbp42nZn9PtbFqtBSoRWPZZNMJKKt7AbBf6-gp5fn8gpxhVAjQpjHzfppu4g1AbgaAU7ELDgPzgZD3gGcigk4BVKhcefiopQ3AAzB-Im4icfDmFM7yttUuKt2XMbh8Fr1x1y9cFNtOX8NLZdLcdan98Kz_07F8_JuFx_kanP_GBcr2RLRKFFBg9qRAc9OEUPjMVj07BP23ur0C_CdTUpBby177BzZ0FrCToemUVNx_fcdmHn_mYePlL_3mgKCNuoHJOQ-WQ</recordid><startdate>200707</startdate><enddate>200707</enddate><creator>Guilan Dai</creator><creator>Xiaoying Bai</creator><creator>Yongbo Wang</creator><creator>Fengjun Dai</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>200707</creationdate><title>Contract-Based Testing for Web Services</title><author>Guilan Dai ; Xiaoying Bai ; Yongbo Wang ; Fengjun Dai</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c222t-130b1472508e732e0b819618e8a1f864a96108d6a330f66e81d7269c621d49bb3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Automatic testing</topic><topic>Contracts</topic><topic>Humans</topic><topic>Microstrip</topic><topic>Performance evaluation</topic><topic>Runtime</topic><topic>Service oriented architecture</topic><topic>Software testing</topic><topic>System testing</topic><topic>Web services</topic><toplevel>online_resources</toplevel><creatorcontrib>Guilan Dai</creatorcontrib><creatorcontrib>Xiaoying Bai</creatorcontrib><creatorcontrib>Yongbo Wang</creatorcontrib><creatorcontrib>Fengjun Dai</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>Guilan Dai</au><au>Xiaoying Bai</au><au>Yongbo Wang</au><au>Fengjun Dai</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Contract-Based Testing for Web Services</atitle><btitle>31st Annual International Computer Software and Applications Conference (COMPSAC 2007)</btitle><stitle>COMPSAC</stitle><date>2007-07</date><risdate>2007</risdate><volume>1</volume><spage>517</spage><epage>526</epage><pages>517-526</pages><issn>0730-3157</issn><isbn>9780769528700</isbn><isbn>0769528708</isbn><abstract>This paper examines the use of Design by Contract for web service descriptions, and explores the issues and solutions of automatic test case generation and test oracle generation in the context of WS testing based on contracts. In our approach, the traditional concept of contracts (pre-condition, post-condition, and invariant) is extended to contain richer information, such as process control, to support automatic test generation. Contracts are used to specify the relation between a component and its clients as a formal agreement, expressing each party's rights and obligations. Contracts can be expressed in the OWL-S process model. By checking whether the web service respects its contracts, we can ascertain its validity. Therefore, contracts provide the basis for the automation of the testing process.</abstract><pub>IEEE</pub><doi>10.1109/COMPSAC.2007.100</doi><tpages>10</tpages></addata></record>
fulltext	fulltext_linktorsrc
identifier	ISSN: 0730-3157
ispartof	31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 2007, Vol.1, p.517-526
issn	0730-3157
language	eng
recordid	cdi_ieee_primary_4291045
source	IEEE Electronic Library (IEL) Conference Proceedings
subjects	Automatic testing Contracts Humans Microstrip Performance evaluation Runtime Service oriented architecture Software testing System testing Web services
title	Contract-Based Testing for Web Services
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T03%3A58%3A08IST&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=Contract-Based%20Testing%20for%20Web%20Services&rft.btitle=31st%20Annual%20International%20Computer%20Software%20and%20Applications%20Conference%20(COMPSAC%202007)&rft.au=Guilan%20Dai&rft.date=2007-07&rft.volume=1&rft.spage=517&rft.epage=526&rft.pages=517-526&rft.issn=0730-3157&rft.isbn=9780769528700&rft.isbn_list=0769528708&rft_id=info:doi/10.1109/COMPSAC.2007.100&rft_dat=%3Cieee_6IE%3E4291045%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=4291045&rfr_iscdi=true