Runtime Assertion Checking with the XJML Tool

Since the conception of the Java Modeling Language (JML), many tools, applications and implementations have been done for its support. In this context, the users or developers who want to use JML seem surrounded by many of these tools, applications and so on. Looking for a common infrastructure and an independent language to provide a bridge between these tools and JML, it was developed an approach to embedded contracts in the eXtensible Markup Language (XML) for Java: XJML. XJML claims to offer you the ability to separate preconditions, posconditions and class invariants using JML and XML, and then execute Runtime Assertion Checking (RAC), Extended Static Checking (ESC) and/ or Full Static Program Verification (FSPV). In this work, we present some experiments and results with XJML and Runtime Assertion Checking, using one Java class.