Advertisement

Portable Runtime Verification with Smartphones and Optical Codes

  • Kim Lavoie
  • Corentin Leplongeon
  • Simon Varvaressos
  • Sébastien Gaboury
  • Sylvain Hallé
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8734)

Abstract

We describe a prototype architecture for the runtime monitoring of Java programs using a smartphone. An online tool can produce an AspectJ file which, when woven with the program to be monitored and executed, instantiates a GUI window where XML events from the program’s execution are output in the form of QR codes. We illustrate the feasibility of this approach by monitoring runtime properties on the execution of a video game by pointing a handheld Android phone at the game’s screen and obtaining realtime feedback.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bauer, A., Küster, J.-C., Vegliach, G.: Runtime verification meets Android security. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol. 7226, pp. 174–180. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  2. 2.
    Falcone, Y., Currea, S., Jaber, M.: Runtime verification and enforcement for Android applications with RV-Droid. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 88–95. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  3. 3.
    Fritz, C., Arzt, S., Rasthofer, S., Bodden, E., Bartel, A., Klein, J., le Traon, Y., Octeau, D., McDaniel, P.: Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (to appear, June 2014)Google Scholar
  4. 4.
    Hallé, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE T. Services Computing 5(2), 192–206 (2012)CrossRefGoogle Scholar
  5. 5.
    Varvaressos, S., Lavoie, K., Blondin Massé, A., Gaboury, S., Hallé, S.: Automated bug finding in video games: A case study for runtime monitoring. In: Robinson, B., Williams, L., Wohlin, C. (eds.) ICST. IEEE (accepted for publication 2014)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Kim Lavoie
    • 1
  • Corentin Leplongeon
    • 1
  • Simon Varvaressos
    • 1
  • Sébastien Gaboury
    • 1
  • Sylvain Hallé
    • 1
  1. 1.Laboratoire d’informatique formelle, Département d’informatique et de mathématiqueUniversité du Québec à ChicoutimiCanada

Personalised recommendations