Presentation on theme: "Runtime Verification of C Programs with Inspiration from AOP Klaus Havelund Jet Propulsion Laboratory Pasadena, USA."— Presentation transcript:
Runtime Verification of C Programs with Inspiration from AOP Klaus Havelund Jet Propulsion Laboratory Pasadena, USA
Aspect Oriented Programming and Runtime Verification Aspect Oriented Programming (AOP): Pointcut : predicate on program statements. Advice : pointcut + code (execute code each time statement satisfying pointcut is reached). Runtime Verification (RV = State-full AOP ): Tracecut : predicate on execution traces. Advice : tracecut + code (execute code each time trace predicate is violated - or satisfied, depending on the default). one possible view
Your consent to our cookies if you continue to use this website.