agentsoli.blogg.se - Java reflection class

Java reflection class software#

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. Coverage-directed Differential Testing of JVM Implementations.

Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, and Jianjun Zhao.

Java reflection class software#

In Proceedings of the 38th International Conference on Software Engineering (ICSE’16). An Empirical Comparison of Compiler Testing Techniques.

Junjie Chen, Wenxiang Hu, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, and Bing Xie.

In Proceedings of the 2014 29th IEEE/ACM International Conference on Automated Software Engineering (ASE) (ASE’14). Automated Unit Test Generation for Classes with Environment Dependencies.

Andrea Arcuri, Gordon Fraser, and Juan Pablo Galeotti.

In Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES’12). Real-time Java API Specifications for High Coverage Test Generation.

Wolfgang Ahrendt, Wojciech Mostowski, and Gabriele Paganelli.

Eclipse OpenJ9 JVM developers accept and fix 21 candidates (87.5%), and Oracle JVM developers accept 5 and fix 4 non-conformance candidates. We also report 24 non-conformance candidates to Eclipse OpenJ9 JVM, and 7 to Oracle JVM. Java Reflection API specifiers accept 3 underdetermined specification candidates (25%). We report underdetermined specification candidates in 12 Java Reflection API methods. Our technique identifies underdetermined specification and non-conformance candidates in 32 Java Reflection API public methods of 7 classes.

We evaluate our technique in 439 input programs. Then, we manually execute some steps to identify underdetermined specifications and to confirm whether a non-conformance candidate is indeed a bug. It automatically creates test cases, and executes them using different JVMs. We also propose a technique to detect underdetermined specifications and non-conformances between the Javadoc and the implementations of the Java Reflection API. To better understand the problem, we analyze test suites of two widely used JVMs, and we conduct a survey with 130 developers who use the Java Reflection API to see whether the Javadoc impacts on their understanding. Moreover, current automatic test suite generators cannot be used to detect them. However, there is limited knowledge on whether Java Reflection API developers are able to systematically reveal i) underdetermined specifications and ii) non-conformances between their implementation and the Javadoc. Developers of widely used Java Virtual Machines (JVMs) implement and test the Java Reflection API based on a Javadoc, which is specified using a natural language.