کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
433760 1441671 2014 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Monitoring method call sequences using annotations
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Monitoring method call sequences using annotations
چکیده انگلیسی

In this paper we introduce JMSeq, a Java-based tool for monitoring sequences of method calls. JMSeq provides a simple but expressive language to specify the observables of a Java program in terms of sequences of possibly nested method calls. Similar to many monitoring-oriented environments, verification in JMSeq is done at runtime; unlike all other approaches based on aspect-oriented programming, JMSeq uses code annotation rather than instrumentation, and therefore is suitable for component-based software verification.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 94, Part 3, 15 November 2014, Pages 362–378
نویسندگان
, , , , ,