Title: Predictive Runtime Verification of Java Programs
Abstract: For some key fields like energy, traffic, etc., the system software has high reliability demands, so that monitors not only need to pay attention on the current action of the system, but also the prediction of future software behavior to avoid disaster. However once been deployed, the only determinate characteristic can be used to predict is just the static software information. In this paper, we construct the method for getting the monitor which can predict the future event at runtime, and experiment to study the effect on the origin program. The results demonstrate that the predictive monitor is generally helpful.
Publication Year: 2014
Publication Date: 2014-12-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot