Model checking and abstraction：（模型检测和抽象）.pdfVIP

A Prediction Model for the Combination of Class Characteristics in Large OO Applications Peter J. Clarke, Djuradj Babich, and Tariq M. King B. M. Golam Kibria School of Computing and Information Sciences Department of Statistics Florida International University Florida International University Miami, FL 33199, USA Miami, FL 33199, USA email: {clarkep, dbabi001, tking003}@cis.fi email: kibriag@fi Technical Report FIU-SCIS: 2006-05-01 Abstract Many software developers are using the Java language as the language of choice on many applications. This is due to the effective use of the object-oriented (OO) paradigm to develop large software projects and the ability of the Java language to support the increasing use of web technologies in business applications. The recent release of the Java version 5.0 has further increased its popularity due to the inclusion of new features that exist in other OO languages. The transition from Java 1.4.x to Java 1.5.x has provided the programmer with more flexibility when implementing programs in Java. In this paper we present the first study that investigates how the characteristics of a class are combined, thereby providing feedback on how the features provided by Java 1.4.x or earlier and Java 1.5.x or earlier are currently used. The study uses a taxonomy of OO classes that provides a mechanism to catalog any class written in Java into one of a finite set of groups. A detailed description on how we enumerated all the possible groups of