Runtime verification validates the correctness of a program's execution trace. Much work has been done on improving the expressiveness and efficiency of runtime verification. However, current approaches require st...
详细信息
ISBN:
(纸本)1891706373
Runtime verification validates the correctness of a program's execution trace. Much work has been done on improving the expressiveness and efficiency of runtime verification. However, current approaches require static deployment of the verification logic and are often restricted to a limited set of events that can be captured and analyzed, hindering the adoption of runtime verification in production systems. A popular system for runtime verification in java, javaMOP (Monitor- Oriented programming in java), suffers from the aforementioned limitations due to its dependence on AspectJ, which supports neither dynamic weaving nor an extensible join-point model. In this paper, we extend the javaMOP framework with a dynamic deployment API and a new MOP specification translator, which targets the domain-specific aspect language DiSL instead of AspectJ;DiSL offers an open join-point model that allows for extensions. A case study on lambda expressions in java8 demonstrates the extensibility of our approach. Moreover, in comparison with javaMOP using load-time weaving, our implementation reduces runtime overhead by 21%, and heap memory usage by 16%, on average.
Many factor that affected schedule arrangement made the problem became more complicated. Searching of timetabling solution using optimization process is a real example for a complex computation. One of the ways to sol...
详细信息
Uncertainty in programming is one of the challenging issues to be tackled, because it is error-prone for many programmers to temporally avoid uncertain concerns only using simple language constructs such as comments a...
详细信息
There are many factors and concerns surrounding the choice of the first programminglanguage to be taught in ICT studies, both didactical and pedagogical, as well as business and technologydriven. After reviewing the ...
详细信息
A computer application was written to complete the task of contour reduction. The application was used to complete analyses of twentieth-century post-tonal works for solo flute. The methodology of Rob Schultz’s Conto...
详细信息
This paper presents a solution for the java Refactoring Case of the 2015 Transformation Tool Contest. The solution utilises Eclipse JDT for parsing the source code, and uses a visitor to build the program graph. EMF-I...
详细信息
Creation of an automatic utility to determine the values of coefficients of higher order terms of Williams power series by usage of over-deterministic method applied to results of finite element analysis is a main goa...
详细信息
Creation of an automatic utility to determine the values of coefficients of higher order terms of Williams power series by usage of over-deterministic method applied to results of finite element analysis is a main goal of this research. The developed procedure based on the support of java programming language considerably simplifies analyses on optimization of selection of FE nodal results for improvement of accuracy of the near-crack-tip fields' approximation using Williams series.
Some programs can produce string expressions with embedded code in other programminglanguages while running. This embedded code should be syntactically correct as it is typically executed by some subsystem. A program...
详细信息
The tutorial aims at practitioners { researchers or develop- ers { who need to execute small scale performance experi- ments in java. The goal is to provide the attendees with a compact overview of some of the issues ...
详细信息
While modern java virtual machines are efficient and portable, they are also very complex software artifacts. Adapting or extending such a complex system within the scope of a university course is hardly an option. Fe...
详细信息
暂无评论