Titlebook: Runtime Verification; First International Howard Barringer,Ylies Falcone,Nikolai Tillmann Conference proceedings 2010 Springer Berlin Heid

乳汁

柳树；枯黄

规范要多

Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Timeent C., a novel framework to statically optimize such monitoring aspects with respect to a given program under test. C. uses a sequence of increasingly precise static analyses to automatically convert a monitoring aspect into a residual runtime monitor. The residual monitor only watches events trigg

恶名声

Checking the Correspondence between UML Models and Implementationution conforms to the diagrams. Situations where sequence diagrams are intended to characterize all possible executions are described. The approach generates an execution tree of all possible sequences, using a detailed collection of graph transformations that represent a precise operational semanti

prosthesis

出汗

Recovery Tasks: An Automated Approach to Failure Recoveryow the rest of the application to continue executing. When a failure occurs, the recovery algorithm uses information from a static analysis to characterize the intended behavior of the application had it not failed. It then uses this characterization to recover as much of the application’s execution

自制

Formally Efficient Program Instrumentation can severely compromise program execution speed. Frameworks like DTrace (Sun Microsystems) and VProbes (VMware) offer practical ways of addressing performance concerns, but there has been no formal understanding of what it means for instrumentation to be efficient. To fill this gap, we propose a cr

GIDDY

Automatic Requirement Extraction from Test Casesntal results from a pilot study involving an automotive-electronics application show that using tests that fully cover the structure of the software yield more complete invariants than structurally-agnostic black-box tests.

defibrillator

Coronary