*** has become one of the most popular frameworks for general-purpose and server-side application development in JavaScript. However, due to its dynamic, asynchronous, event-driven programming model, *** applications ...
详细信息
ISBN:
(纸本)9781450359337
*** has become one of the most popular frameworks for general-purpose and server-side application development in JavaScript. However, due to its dynamic, asynchronous, event-driven programming model, *** applications are considered error-prone, and their correctness is hard to verify. Monitoring-Oriented Programming (MOP) is a Runtime Verification (RV) paradigm that aims at improving the safety and reliability of a software system. To the best of our knowledge, no practical RV framework targets JavaScript and *** applications. In this paper, we introduce nodeMOP, a novel RV framework for JavaScript that allows one to apply RV to *** applications. Using nodeMOP, we have formalized two properties related to popular asynchronous APIs based on the *** documentation, one from the file-system module and the other from the HTTP module. nodeMOP also supports error recovery by allowing developers to define custom handlers in case of property violations. We showcase nodeMOP with our specified properties on examples of *** API misuse. We also evaluate the overhead of nodeMOP with benchmarks based on the introduced examples.
暂无评论