CoMA: Conformance Monitoring of Java Programs by Abstract State Machines

Abstract

Abstract. We present CoMA (Conformance Monitoring by Abstract State Machines), a specification-based approach and its supporting tool for runtime monitoring of Java software. Based on the information obtained from code execution and model simulation, the conformance of the concrete implementation is checked with respect to its formal specification given in terms of Abstract State Machines. At runtime, undesirable behaviors of the implementation, as well as incorrect specifications of the system behavior are recognized. The technique we propose makes use of Java annotations, which link the concrete implementation to its formal model, without enriching the code with behavioral information contained only in the abstract specification. The approach fosters the separation between implementation and specification, and allows the reuse of specifications for other purposes (formal verification, simulation, model-based testing, etc.).

Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module

“…Coma: conformance monitoring between ASMs and Java In [3] we propose CoMA, runtime Conformance Monitoring of Java code by ASM specifications. The CoMA monitor allows online monitoring, namely it considers executions in an incremental fashion.…”

“…In the following, we provide an informal description; a complete description of the technique with all the formal definitions can be found in [3].…”

“…In addition to the standard ones, annotations can be defined by the user similarly as classes. For our purposes, we have defined a set of annotations [3]. The retention policy (i.e., the way to signal how and when the annotation can be accessed) of all our annotations is runtime: annotations can be read by the compiler and by any program through reflection.…”

“…We propose CoMA [3], a runtime monitoring approach for Java code using ASMs. The schema of the proposed runtime framework is shown in Fig.…”

Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism

“…CoMA is a technique for runtime monitoring of Java programs through ASMs [2]. The runtime monitor observes the behavior of a Java code and determines its correctness w.r.t.…”