Test Coverage Metric for Two-Staged Language with Abstract Interpretation

As a program written in multi-staged language can generate and execute code fragments in execution time, it is hard to predict how many code fragments will be generated in execution time. Therefore, current test coverages are not likely to give right answers when they are apply to a program written...

Full description

Saved in:
Bibliographic Details
Main Authors: Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik, Chisu Wu, Kwangkeun Yi
Format: Conference Proceeding
Language:English
Subjects:
abstract interpretation
Computer languages
Java
Laboratories
multi-staged language
Programming
Reactive power
Size measurement
Software engineering
Software testing
test coverage
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 308
container_issue
container_start_page 301
container_title
container_volume
creator Taeksu Kim
Chunwoo Lee
Kiljoo Lee
Soohyun Baik
Chisu Wu
Kwangkeun Yi
description As a program written in multi-staged language can generate and execute code fragments in execution time, it is hard to predict how many code fragments will be generated in execution time. Therefore, current test coverages are not likely to give right answers when they are apply to a program written in multi-staged language because the program size could not be estimated easily. In this paper, we present static analysis which detects code fragments generated in execution time using abstract interpretation and prove the correctness of analyzer. Moreover we propose new test coverage for multi-staged language using the result of analysis.
doi_str_mv 10.1109/APSEC.2009.46
format conference_proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5358693</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5358693</ieee_id><sourcerecordid>5358693</sourcerecordid><originalsourceid>FETCH-LOGICAL-i214t-c1c5aa76fc720544d1f81b10ad18113cb9721c39fb6d9abf8636693507fae3763</originalsourceid><addsrcrecordid>eNotjM1KxDAURoM_YB1n6cpNXiD13qRJmmUpoxYqClPXQ5omY0WnQxodfHtHdPXBOYePkGuEHBHMbfW8XtU5BzB5oU5IxlUBDDTKU7I0ugStjBQGjDojGUoBDIXiF-Rynt8AOBQgM9J0fk60nr58tFtPH32Ko6NhirQ7TGydjnCgrd1tP3_1YUyvtOrnFK1LtNklH_fRJ5vGaXdFzoN9n_3yfxfk5W7V1Q-sfbpv6qplI8ciMYdOWqtVcJqDLIoBQ4k9gh2wRBSuN5qjEyb0ajC2D6USShkhQQfrhVZiQW7-fkfv_WYfxw8bvzdSyPKYiR_ycE14</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Test Coverage Metric for Two-Staged Language with Abstract Interpretation</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Taeksu Kim ; Chunwoo Lee ; Kiljoo Lee ; Soohyun Baik ; Chisu Wu ; Kwangkeun Yi</creator><creatorcontrib>Taeksu Kim ; Chunwoo Lee ; Kiljoo Lee ; Soohyun Baik ; Chisu Wu ; Kwangkeun Yi</creatorcontrib><description>As a program written in multi-staged language can generate and execute code fragments in execution time, it is hard to predict how many code fragments will be generated in execution time. Therefore, current test coverages are not likely to give right answers when they are apply to a program written in multi-staged language because the program size could not be estimated easily. In this paper, we present static analysis which detects code fragments generated in execution time using abstract interpretation and prove the correctness of analyzer. Moreover we propose new test coverage for multi-staged language using the result of analysis.</description><identifier>ISSN: 1530-1362</identifier><identifier>ISBN: 9780769539096</identifier><identifier>ISBN: 0769539092</identifier><identifier>EISSN: 2640-0715</identifier><identifier>DOI: 10.1109/APSEC.2009.46</identifier><language>eng</language><publisher>IEEE</publisher><subject>abstract interpretation ; Computer languages ; Java ; Laboratories ; multi-staged language ; Programming ; Reactive power ; Size measurement ; Software engineering ; Software testing ; test coverage</subject><ispartof>2009 16th Asia-Pacific Software Engineering Conference, 2009, p.301-308</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5358693$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54555,54920,54932</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5358693$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Taeksu Kim</creatorcontrib><creatorcontrib>Chunwoo Lee</creatorcontrib><creatorcontrib>Kiljoo Lee</creatorcontrib><creatorcontrib>Soohyun Baik</creatorcontrib><creatorcontrib>Chisu Wu</creatorcontrib><creatorcontrib>Kwangkeun Yi</creatorcontrib><title>Test Coverage Metric for Two-Staged Language with Abstract Interpretation</title><title>2009 16th Asia-Pacific Software Engineering Conference</title><addtitle>APSEC</addtitle><description>As a program written in multi-staged language can generate and execute code fragments in execution time, it is hard to predict how many code fragments will be generated in execution time. Therefore, current test coverages are not likely to give right answers when they are apply to a program written in multi-staged language because the program size could not be estimated easily. In this paper, we present static analysis which detects code fragments generated in execution time using abstract interpretation and prove the correctness of analyzer. Moreover we propose new test coverage for multi-staged language using the result of analysis.</description><subject>abstract interpretation</subject><subject>Computer languages</subject><subject>Java</subject><subject>Laboratories</subject><subject>multi-staged language</subject><subject>Programming</subject><subject>Reactive power</subject><subject>Size measurement</subject><subject>Software engineering</subject><subject>Software testing</subject><subject>test coverage</subject><issn>1530-1362</issn><issn>2640-0715</issn><isbn>9780769539096</isbn><isbn>0769539092</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2009</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNotjM1KxDAURoM_YB1n6cpNXiD13qRJmmUpoxYqClPXQ5omY0WnQxodfHtHdPXBOYePkGuEHBHMbfW8XtU5BzB5oU5IxlUBDDTKU7I0ugStjBQGjDojGUoBDIXiF-Rynt8AOBQgM9J0fk60nr58tFtPH32Ko6NhirQ7TGydjnCgrd1tP3_1YUyvtOrnFK1LtNklH_fRJ5vGaXdFzoN9n_3yfxfk5W7V1Q-sfbpv6qplI8ciMYdOWqtVcJqDLIoBQ4k9gh2wRBSuN5qjEyb0ajC2D6USShkhQQfrhVZiQW7-fkfv_WYfxw8bvzdSyPKYiR_ycE14</recordid><startdate>20090101</startdate><enddate>20090101</enddate><creator>Taeksu Kim</creator><creator>Chunwoo Lee</creator><creator>Kiljoo Lee</creator><creator>Soohyun Baik</creator><creator>Chisu Wu</creator><creator>Kwangkeun Yi</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>20090101</creationdate><title>Test Coverage Metric for Two-Staged Language with Abstract Interpretation</title><author>Taeksu Kim ; Chunwoo Lee ; Kiljoo Lee ; Soohyun Baik ; Chisu Wu ; Kwangkeun Yi</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i214t-c1c5aa76fc720544d1f81b10ad18113cb9721c39fb6d9abf8636693507fae3763</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2009</creationdate><topic>abstract interpretation</topic><topic>Computer languages</topic><topic>Java</topic><topic>Laboratories</topic><topic>multi-staged language</topic><topic>Programming</topic><topic>Reactive power</topic><topic>Size measurement</topic><topic>Software engineering</topic><topic>Software testing</topic><topic>test coverage</topic><toplevel>online_resources</toplevel><creatorcontrib>Taeksu Kim</creatorcontrib><creatorcontrib>Chunwoo Lee</creatorcontrib><creatorcontrib>Kiljoo Lee</creatorcontrib><creatorcontrib>Soohyun Baik</creatorcontrib><creatorcontrib>Chisu Wu</creatorcontrib><creatorcontrib>Kwangkeun Yi</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/IET 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>Taeksu Kim</au><au>Chunwoo Lee</au><au>Kiljoo Lee</au><au>Soohyun Baik</au><au>Chisu Wu</au><au>Kwangkeun Yi</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Test Coverage Metric for Two-Staged Language with Abstract Interpretation</atitle><btitle>2009 16th Asia-Pacific Software Engineering Conference</btitle><stitle>APSEC</stitle><date>2009-01-01</date><risdate>2009</risdate><spage>301</spage><epage>308</epage><pages>301-308</pages><issn>1530-1362</issn><eissn>2640-0715</eissn><isbn>9780769539096</isbn><isbn>0769539092</isbn><abstract>As a program written in multi-staged language can generate and execute code fragments in execution time, it is hard to predict how many code fragments will be generated in execution time. Therefore, current test coverages are not likely to give right answers when they are apply to a program written in multi-staged language because the program size could not be estimated easily. In this paper, we present static analysis which detects code fragments generated in execution time using abstract interpretation and prove the correctness of analyzer. Moreover we propose new test coverage for multi-staged language using the result of analysis.</abstract><pub>IEEE</pub><doi>10.1109/APSEC.2009.46</doi><tpages>8</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 1530-1362
ispartof 2009 16th Asia-Pacific Software Engineering Conference, 2009, p.301-308
issn 1530-1362
2640-0715
language eng
recordid cdi_ieee_primary_5358693
source IEEE Electronic Library (IEL) Conference Proceedings
subjects abstract interpretation
Computer languages
Java
Laboratories
multi-staged language
Programming
Reactive power
Size measurement
Software engineering
Software testing
test coverage
title Test Coverage Metric for Two-Staged Language with Abstract Interpretation
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-04T08%3A08%3A49IST&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=Test%20Coverage%20Metric%20for%20Two-Staged%20Language%20with%20Abstract%20Interpretation&rft.btitle=2009%2016th%20Asia-Pacific%20Software%20Engineering%20Conference&rft.au=Taeksu%20Kim&rft.date=2009-01-01&rft.spage=301&rft.epage=308&rft.pages=301-308&rft.issn=1530-1362&rft.eissn=2640-0715&rft.isbn=9780769539096&rft.isbn_list=0769539092&rft_id=info:doi/10.1109/APSEC.2009.46&rft_dat=%3Cieee_6IE%3E5358693%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i214t-c1c5aa76fc720544d1f81b10ad18113cb9721c39fb6d9abf8636693507fae3763%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=5358693&rfr_iscdi=true