Ptidej Team WIki

an_architectural_revere_engineering_environment

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Fiutem, R.; Antoniol, G.; Tonella, P. & Merlo, E. ART: An Architectural Revere Engineering Environment. Journal of Software Maintenance: Research and Practice, Wiley, 1999, 11, 339-364 Abstract When programmers perform maintenance tasks, program understanding is often required. One of the first activities in understanding a software system is identifying its subsystems and their relations, i.e., its software architecture. Since a large part of the effort is spent in creating a mental model of …

an_empirical_security_study_of_the_native_code_in_the_jdk

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Tan, G. & Croft, J. An empirical security study of the native code in the JDK. Proceedings of the 17th Security Symposium, USENIX Association, 2008, 365-377 Abstract It is well known that the use of native methods in Java defeats Java's guarantees of safety and security, which is why the default policy of Java applets, for example, does not allow loading non-local native code. However, there is already a large amount of trusted native C/C++ code that comprises a significant portion of the Java…

articles

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

A list of available articles can be found at Yann's bibliography.

asking_and_answering_questions_during_a_programming_change_task

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Sillito, J.; Murphy, G. C. & De Volder, K. Asking and Answering Questions during a Programming Change Task. Transactions on Software Engineering, IEEE CS Press, 2008, 34, 434-451 Abstract Little is known about the specific kinds of questions programmers ask when evolving a code base and how well existing tools support those questions. To better support the activity of programming, answers are needed to three broad research questions: (1) what does a programmer need to know about a code base wh…

automated_verification_of_pattern-based_interaction_invariants_in_ajax_applications

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Maezawa, Y.; Washizaki, H.; Tanabe, Y. & Honiden, S. Automated Verification of Pattern-based Interaction Invariants in Ajax Applications. Proceedings of the 28th International Conference on Automated Software Engineering, IEEE CS Press, 2013 Abstract

a_syntactic_theory_of_software_architecture

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Dean, T. R. & Cordy, J. R. A Syntactic Theory of Software Architecture. Transactions on Software Engineering, IEEE CS Press, 1995, 21, 302-313 Abstract In this paper we introduces a general, extensible diagrammatic syntax for expressing software architectures based on typed nodes and connections and formalized using set theory. The syntax provides a notion of abstraction corresponding to the concept of a subsystem, and exploits this notion in a general mechanism for pattern matching over archi…

books

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

References to the books, conference proceedings, and other technical reports available in the library. * @Book{books/sp/Diehl2007, title = “Software Visualization - Visualizing the Structure, Behaviour, and Evolution of Software”, author =

comments_guide

Anonymous (anonymous@undisclosed.example.com) — 2025-01-21T17:00:51+00:00

Guide comments While contributing to the project, you may encounter issues that you could ask help from colleagues, with that in mind, a tool to create issues automatically in the github PTIDEJ repository was made. It will read and generate title, tags, descriptions and semantics automatically in the following order:

data_mining_static_code_attributes_to_learn_defect_predictors

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Menzies, T.; Greenwald, J. & Frank, A. Data Mining Static Code Attributes to Learn Defect Predictors. Transactions on Software Engineering, IEEE CS Press, 2007, 33, 2-13 Abstract The value of using static code attributes to learn defect predictors has been widely debated. Prior work has explored issues like the merits of

design_pattern_model

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Grille Définition d'un patron: see Yann's TSE Définition d'un motif: see Yann's TSE Définition d'une solution: see Yann's TSE Définition d'une instance: ??? Définition d'une occurrence: see Yann's TSE Modèle systématique/ad hoc: ??? Modèle: structure/comportement

development

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Development Tooling * JCT * MODEC * PADL * PADL Analyses * POM * Ptidej Solver * Ptidej UI * Ptidej UI Viewer Other Interesting Concepts * Dirty Hack * Fragile Code * Historical Reason Other Pages of Interest * FAQ General * FAQ POM

dirty_hack

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

A dirty hack is a piece of code that exists for no good reason but to simplify the life of someone at some point in time. A dirty hack has usually some (or all!) the following characteristics: * Is useful to only a small number of clients; * Is useful to only one person;

empirical_evidence_of_large-scale_diversity_in_api_usage_of_object-oriented_software

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Mendez, D.; Baudry, B. & Monperrus, M. Empirical Evidence of Large-scale Diversity in API Usage of Object-oriented Software. Proceedings of the International Conference on Source Code Analysis, IEEE CS Press, 2013 Abstract In this paper, we study how object-oriented classes are used across thousands of software packages. We concentrate on

evolution

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Let a constituent of a program by any of class, interface, method, field... First step: 1. Define a program p, composed of a set of constituent C. 2. Define a set of refactorings R applying on any constituent. 3. Define a set of metrics M to compute on constituents. 4. Choose a subset of C, . 5. Choose a subset of R, . 6. Apply on to obtain 7. Compute the metrics in M on both the ci and the c'j. 8. Apply the similarity measure …

evolving_java-based_apis

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Des Rivières, J. Evolving Java-based APIs. 2007 Abstract This document is about how to evolve Java-based APIs while maintaining compatibility with existing client code. Comments Yann-Gaël Guéhéneuc, 2014/02/06 This document is very interesting because it tells all about Java-based

faq

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

* Q: The PADL meta-model is qualified of semi-language independent. Why “semi”? * A: Because it is only for typed object-oriented programming languages. In any case, don't fall for people who would like to sell you “truly” language-independent meta-models, this is a dream!

follows-up

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

* Foutse * Simon * Stéphane

foutse

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

* English version * PQMOD vs. Baniya on several versions of several programs. * MSE Parser * C# Parser * Bug and defects * Pre-doc * John and Giulio * Pattern composition, see Pattern Composition * Motif identification, see Linguistic Identification

fragile_code

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Fragile code is any piece of code that has been implemented quickly and that has not been thoroughly thought and tested. It is also any piece of code that clients could wrongly called. A typical example of fragile code is any piece of code returning a reference on a collection of instances instead of a reference on an iterator on the collection. Indeed, returning a reference on the collection implies that client code could modify the content of the collection without notifying the providing cod…

guide_to_comments_in_project_the_code

Anonymous (anonymous@undisclosed.example.com) — 2025-01-21T16:53:24+00:00

headless_eclipse

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Headless Eclipse What Is It? A “Headless Eclipse” is an instance of Eclipse launched without any Graphical User Interface, on the command-line. What For? You can use a Headless Eclipse to call a plug-in in Eclipse from some external programs. One of the purposes of such a call, as seen with SQUANER, is to automatically delegate processing to Eclipse from a Web application. Indeed, to create the

historical_reason

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

An historical reason provides a rationale for a design or implementation choice made long ago and which cannot be easily undone today without breaking lots of code. It often leads to a choice that is not wrong per se but which may seem inconsistent with later development. For example, the name of entities are their fully-qualified name for an historical reason: PADL has been originally designed with Java in mind.

howto

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

How to Use Ptidej to Identify Occurrences of Design Motifs: A Quick Start By Chushu Gao gaochushu@googlemail.com 1. Environment This guide based on the experience on Ecilpes 3.5 in WindowsXP and Fedora Eclipse released with FC11. 2. Check out Ptidej projects

inner_classfiles_naming

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

From the beginning of the introduction of inner classes in Java, developers knew that it would be a mess... and it has been proven again and again. Here is a recent example. Take the following (academic) piece of code: public class Anonymous { public void foo() { class B {} new B(); } }

install

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

How to Use Ptidej to Identify Occurrences of Design Motifs By Chushu Gao and Yann-Gaël Guéhéneuc. 1. Environment This guide based on the experience on Ecilpes 3.5 in WindowsXP and Fedora Eclipse released with FC11. It should work with any Eclipse version but you must install the

java_class_process

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Between 1.4.2 and the versions v1.6+ of the JDK, changes have been made to the creation of processes. These changes bring benefits, in particular in the light of a nasty bug found by Soumaya and Venera when running MoDeC on MacOS. Java Class Process The Java class Process is used together with class Runtime. As explained by Oracle:

jct

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

JCT The set of JCT projects provide a parser for Java files based on Sun's JDK. It can be used to build PADL models from Java source files, although the preferred method is using the creator provided in the PADL Creator JavaFile (Eclipse) project, which uses Eclipse Java parser. Instructions to generate the JCT documentation are available at

leading-edge_java_a_conversation_with_erich_gamma

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Venners, B. Leading-edge Java — A Conversation with Erich Gamma. 2005 Abstract Erich Gamma lept onto the software world stage in 1995 as co-author of the best-selling book Design Patterns: Elements of Reusable Object-Oriented Software (Addison-Wesley, 1995). This landmark work, often referred to as the Gang of Four (GoF) book, cataloged 23 specific solutions to common design problems. In 1998, he teamed up with Kent Beck to produce JUnit, the de facto unit testing tool in the Java community. G…

library

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Information on the books and articles available in the lab. * Articles * Books

linguistic_identification

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

* WordNet * Lucene * Design Motif Roles

management

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

* Follows-up * To Do

maven_and_tests

Anonymous (anonymous@undisclosed.example.com) — 2025-12-16T13:22:41+00:00

How to Run the Same Tests in Eclipse and Maven Tests are subclasses of TestCase and can be combined into TestSuite.

mereology

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

* * * * *

modec

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

MODEC MoDeC is an instrumentor, invoker, and meta-model to collect and model execution traces of Java programs. Required Projects To instrument Java programs, extract their execution traces, model these traces as sequence diagrams, and identify occurrences of behavioural and creational design motifs in these traces, you must download and install the following projects:

naming_conventions

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

Naming Conventions Following common, consistent naming conventions is essential to ease program comprehension and usage. Test Projects Each project, which is Eclipse plug-in in nature, should come with a test project, which is a Java project in nature. For example, the

nasty_bug

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

A nasty bug is a bug that is difficult to reproduce, typically for the following reasons: * It occurs with a particular OS, version of the OS (see this bug!); * It occurs with a particular version of the JVM or JVM implementation; * It involves multiple threads and data race / deadlocks;

padl

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

PADL PADL stands for Pattern and Abstract-level Description Language. It is a meta-model to describe programs at different levels of abstractions. Levels of Models There are four different levels of abstractions to model programs, collectively called abstract-level models:

padl_analyses

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

PADL Analyses PADL models can be modified or abstracted by applying analyses on the different abstract-level models. All analyses implement the padl.analysis.IAnalysis interface. Among the most popular such analyses is: * padl.analysis.repository.AACRelationshipsAnalysis

padl_creator_aol

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

PADL Creator AOL The AOL format was created by Giuliano Antoniol and is used by several researchers to describe object-oriented programs. A typical sample of code to create PADL models from AOL files is as follows: ICodeLevelModel codeLevelModel = Factory.getInstance().createCodeLevelModel(name); codeLevelModel.create(new AOLCreator( new String[] { fileName })); IIdiomLevelModel idiomLevelModel = null; try { final MethodInvocationAnalyser methodInvocationAdder = new MethodInvocationAnal…

padl_creator_aspectj

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

PADL Creator AspectJ AspectJ is a aspect-oriented programming language based on Java. It allows implementing and weaving cross-cutting concerns into Java programs. AspectJ used to use lst files (now ''ajproperties''?) so this creator is outdated but still interesting in that it works very simply

padl_creator_classfile

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

PADL Creator ClassFile A PADL model is typically created from some Java bytecodes using the following code: final ICodeLevelModel codeLevelModel = Factory.getInstance().createCodeLevelModel("A"); codeLevelModel.create( new CompleteClassFileCreator( DefaultFileRepository.getInstance(), new String[] { "dir1/dir2/A.class" }), true);

padl_creator_c_eclipse

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

PADL Creator C++ (Eclipse) Using the CDT provided on top of Eclipse, this project provides a means to create a PADL model from C/C++ source code. Fetch the project PADL Creator C++ (Eclipse) from the SVN and use the usual idiom: try { final ICodeLevelModelCreator creator = new padl.creator.cppfile.eclipse.CPPCreator(aSourceDirectory); codeLevelModel = CPPFactoryEclipse.getInstance().createCodeLevelModel(aName); codeLevelModel.create(creator); } catch (final CreationException e) { e.pr…

padl_creator_javafile_eclipse

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

PADL Creator JavaFile (Eclipse) Two third-party projects provide means to create a PADL model from Java source code (instead of Java class files). Fetch the projects PADL Creator JavaFile (JavaC) or PADL Creator JavaFile (Eclipse) from the SVN and use the usual idiom:

padl_generator

Anonymous (anonymous@undisclosed.example.com) — 2025-01-15T21:40:23+00:00

PADL Generator In general, a code-level model can be obtain for a system through reverse-engineering/parsing using: final ICodeLevelModel codeLevelModel = Factory.getInstance().createCodeLevelModel(); codeLevelModel.create( new Creator( .getInstance(), new String[] { }), );