Java-MaC: a Run-time Assurance Tool for Java ProgramsJava-MaC: Java 프로그램을 위한 신뢰성 검사도구

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 457
  • Download : 51
We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance about the correct execution of target programs at run-time. Monitoring and checking is performed based on a formal specication of system requirements. MaC bridges the gap between formal verication, which ensures the correctness of a design rather than an implementation, and testing, which only partially validates an implementation. Java-MaC provides a lightweight formal method solution as a viable complement to the current heavyweight formal methods. An important aspect of the architecture is the clear separation between monitoring implementation-dependent low-level behaviors and checking high-level behaviors against a formal requirements specication. Another salient feature is automatic instrumentation of executable codes. The paper presents an overview of the MaC architecture and a prototype implementation Java-MaC.
Runtime Verification
Issue Date

Runtime Verification, pp.218 - 235

Appears in Collection
CS-Conference Papers(학술회의논문)


  • mendeley


rss_1.0 rss_2.0 atom_1.0