.png){kind=icon}
返回
Delta execution for efficient state-space exploration of object-oriented programs
.png){kind=icon}
OA
AI
DOI：10.1109/TSE.2008.37.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. State-space exploration is the essence of model checking and an increasingly popular approach for automating test generation. A key issue in exploration of object-oriented programs is handling the program state, in particular, the heap. We exploit the fact that many execution paths in state-space exploration partially overlap. Delta Execution simultaneously operates on several states/heaps and shares the common parts across the executions, separately executing only the deltas where the executions differ. We implemented Delta Execution in two model checkers: JPF, a popular general-purpose model checker for Java programs, and BOX, a specialized model checker that we developed for efficient exploration of sequential Java programs. The results of bounded-exhaustive exploration of 10 basic subject programs and one larger case study show that Delta Execution reduces exploration time from 1.06x to 126.80x (with median 5.60x) in JPF and from 0.58x to 4.16x (with median 2.23x) in BOX. The results of nonexhaustive exploration in JPF show that Delta Execution reduces exploration time from 0.92x to 6.28x (with median 4.52x).
Keyword:
software/program verification
model checking
testing and debugging
performance
Delta Execution
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
引用论文
An investigation into the diastereoselective palladation of oxazoline appended cobalt metallocenes
PREAI
分享收藏A novel hybrid pelican-particle swarm optimization algorithm (HPPSO) for global optimization problem
PREAI
分享收藏U18666A, an activator of sterol regulatory element binding protein pathway, modulates presynaptic dopaminergic phenotype of SH-SY5Y neuroblastoma cells固醇调节元件结合蛋白途径激活剂U18666A调节SH-SY5Y神经母细胞瘤细胞突触前多巴胺能表型.png)
Synapse
SynapseIF0
PREAI
分享收藏分享收藏分享收藏
查看更多内容