Evolution-aware monitoring-oriented programming

摘要: Monitoring-Oriented Programming (MOP) helps develop more reliable software by means of monitoring against formal specifications. While MOP showed promising results, all prior research has focused on checking a single version software. We propose to extend support multiple versions and thus be relevant in the context rapid evolution. Our approach, called eMOP, is inspired regression test selection -- well studied, evolution-centered technique. The key idea eMOP monitor only parts code that changed between versions. illustrate running example, show results preliminary experiments. opens up new line it can significantly improve usability performance when applied across complementary algorithmic advances version.