Lazy runtime verification for constraints on interacting objects | |
Shao, Jin ; Deng, Fang ; Liu, Haiwen ; Wang, Qianxiang ; Mei, Hong | |
2010 | |
英文摘要 | Application Programming Interface (API) constraints on objects are rules that API client code must follow in order to get expected results from these objects. Runtime verification, an important approach for detecting API constraint violations, usually suffers from high runtime overhead. This paper focuses on temporal API constraints on multiple interacting objects. Violation detection of such constraints is more challenging than violation detection of single-object constraints, and may induce higher runtime overhead. To reduce the runtime overhead, without compromising the effectiveness of verification, we propose a LAzy Verification Approach (LAVA), which enables verification lazily. Verification probes in LAVA are loaded automatically during the program execution as late as possible. And only probes on objects that have been bound by a binding point (a special method invocation that binds involved objects together) are enabled. Based on these optimization strategies, we implemented an efficient and flexible runtime verification framework. We show the effectiveness of our approach by applying it to verify five constraints in the DaCapo [1] benchmark. The empirical results show that our approach can reduce the number of method invocation events sent by probes, which is the main cause of runtime overhead, by 74% to 100% on average, and bring about an optimization ratio of 44.1% to 89.9% on runtime overhead. ? 2010 IEEE.; EI; 0 |
语种 | 英语 |
DOI标识 | 10.1109/APSEC.2010.36 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/295438] ![]() |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Shao, Jin,Deng, Fang,Liu, Haiwen,et al. Lazy runtime verification for constraints on interacting objects. 2010-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论