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!
Description
Summary: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.
ISSN:1530-1362
2640-0715
DOI:10.1109/APSEC.2009.46