Éditeur Netbeans pour B - Master Informatique – 1ere annee 2011-2012

afternoonhandsomelySoftware and s/w Development

Nov 17, 2012 (4 years and 9 months ago)

307 views

Master

Informatique



1ère

année

2011
-
2012



Sujet

de

projet

:
Éditeur Netbeans pour
B


Responsables

:

Fabrice

Bouquet, Pierre
-
Christophe Bué


Contexte

:


Le

laboratoire

d

informatique

de

l

université

de

Franche
-
Comté

développe

un

environnement

de

générati
on

de

tests

appelé

Hydra,

basée

sur

le

client

RCP

Netbeans

Platform

(
http://netbeans.org/
).

Cet

environnement

est

basé

sur

un

mécanisme

de

plugins

permettant

de

réaliser

différentes

fonctionnalités.
L'environnement Hydr
a est
utilisé dans le cadre du laboratoire dans le but de
générer

des

tests

à

partir

d

une

spécification

formelle.

Un

des

langages

d

entrée

de

cet

environnement

est

le

langage

B.


Description

du

sujet

:

Ce

projet

se

décompose

en

deux

parties

:

Premièrement
,

le

but

de

ce

projet

est

de

développer,

à

partir

d'une

grammaire

pour

B

fournie

dans

le

langage

JJTree/JavaCC,

un

ensemble

de

plugins

pour

Netbeans

permettant

l'édition

de

modèles

B.

L'éditeur

devra

offrir

un

ensemble

de

fonctionnalités

fréquemment

présen
tes

dans

de

tels

outils,

telles

que

la

coloration

syntaxique,

le

refactoring,

l'auto
-
complétion,


La

seconde

partie

de

ce

projet

à

pour

but

de

transformer

la

grammaire

B

écrit

pour

JavaCC

(https://javacc.dev.java.net/)

en

une

version

en

ANTLR

(
http://www.antlr.org/
),

pour

pouvoir

utiliser

une

autre

technologie

de

transformation

d

arbre

appelé

Tom

(https://gforge.inria.fr/projects/tom/)

développé

par

l

INRIA.

Pour

se

familiariser

avec

cette

technologie,

il

faudra

réali
ser

un

«

pretty

printer

»

qui

permet

de

transformer

une

spécification

B

textuelle

en

une

version

LaTeX.



Description

du

travail

:

Ce

travail

va

se

décomposer

en

quatre

grandes

phases

:



Familiarisation

avec

le

développement

de

plugins

Netbeans



Développemen
t

d'un

éditeur

B

pour

Netbeans



Transformation

de

la

grammaire

JavaCC

en

ANTLR



Validation

de

la

nouvelle

grammaire

sur

des

jeux

d

exemple.



Implémentation

des

règles

de

transformation

Tom

pour

réaliser

le

pretty

printer


Le

travail

est

à

réaliser

en

Java

et

doit

être

multi
-
plateformes

(Windows,

linux,

MacOs)