Runtime Verification of JavaScript Implementations Using Aspect Oriented Programming and Regular Expressions

Runtime Verification is a software testing technique based on extracting and analyzing information from a system while it is running. The objective is to use this information to find faults or problems in the system under test. To achieve this, it is necessary that the insertion of testing logic does not modify the code being tested and that it does not affect the performance of the system. In this article, we present a runtime testing framework for JavaScript, which utilizes Aspect-Oriented Programming and regular expressions. This framework encapsulates the idea of Message Sequence Specification applied to Runtime Verification. Our work is freely available and open source.