PRESENTATIE ABI PROJECT

Maat: px

Weergave met pagina beginnen:

Download "PRESENTATIE ABI PROJECT"

Jurgen Verbeek
8 jaren geleden
Aantal bezoeken:

1 PRESENTATIE ABI PROJECT Automatische conversie van Accell naar Java Gert van der Kaaden Maarten Snels Eddy Spreeuwers 12 november

2 Inhoud Inleiding Parser Type inferencer Code generator Framework Resultaten Conclusie 2

3 Project Opdracht: Eigen initiatief Uit werksituatie Vervangende opdrachtgever Scope beperking Verloop Drie wekelijkse bijeenkomsten (voortgang) Wekelijks Skype (taakverdeling) Ad hoc: svn, mail. Issues en uren : Spreadsheet Google docs Taakverdeling Op componenten Iedereen alle disciplines 3

(voortgang) Wekelijks Skype (taakverdeling) Ad hoc: svn, mail.

4 Context Voorziening tot samenwerking Politie Nederland (vtspn) Onderdeel van de politie Onder andere applicatie ontwikkeling voor politie (ca. 200 man) Ontwikkeling van de BVH Applicatie Basis Voorziening Handhaving (BVH) Basis processensysteem voor de handhavingstaken van de politie Bijhouden van relevante gegevens voor het maken van processen verbaal. Genereren van dossiers voor het Openbaar Ministerie 4

200 man) Ontwikkeling van de BVH Applicatie Basis Voorziening Handhaving (BVH) Basis processensysteem

5 Aanleiding Business case Hoge licentiekosten Unify Accell Weinig personeel met Accell kennis veel personeel met Java kennis Geen modern ontwikkelgereedschap Handmatige conversie naar Java is zeer kostbaar en risicovol Automatische conversie is goedkoper, sneller en betrouwbaarder Grote codebase: ca files, regels code Opdracht Onderzoek haalbaarheid van automatische code conversie. Proof of concept d.m.v. een werkend prototype. 5

Automatische conversie is goedkoper, sneller en betrouwbaarder Grote codebase: ca 2.000

6 Voorbeeld Accell code VOID FUNCTION helloworld($f_id) LOCAL $l_naam BEGIN SET $l_naam TO SELECT persoon.naam FROM persoon WHERE persoon.id = $f_id; DISPLAY 'Hello World from ' + $l_naam FOR FYI_MESSAGE END 6

7 Risico Low-level porting, even with provided documentation, is one of the blackest software arts; knowing how to do it well will surely get you a first-class ticket to hell. S.C. Sprong, conversie van Fortran naar C 7

8 Accell vs. Java Accell Weak typing SQL integrated Procedural Precompiler Pascal like syntax Fuzzy dynamic scoping Java Strong typing JDBC libraries Object oriented packaging C Like syntax Static scoping 8

9 Risico beperking Domein-analyses: Type-inferencing (Gert) Broncode-conversie (Eddy) Java-frameworks (Maarten) Uitgangspunten: Geen refactoring. Code moet op de oorspronkelijk source lijken Code moet gangbare java syntax gebruiken Pragmatisch omgaan met verschillen in semantiek. Fouten en onmogelijke constructies handmatig verhelpen Beperking tot syntax-subset van Accell tot BVH 9

Code moet op de oorspronkelijk source lijken Code moet gangbare java syntax gebruiken

10 Conversie schema Type info Framework Accell bron code parser AST Type inferer Code/Ast generator Java code Accell grammar AST processing Tree walking 10

11 Parser keuze Drie mogelijkheden voor parsing: Xtext ( Eclipse plugin beschikbaar) ANTLR (Eclipse plugin beschikbaar) Zelf een parser schrijven Xtext gekozen, beste grammatica en meeste mogelijkheden. 11

plugin beschikbaar) Zelf een parser schrijven

12 Conversie schema Type info Framework Accell bron code parser AST Type inferencer Code/Ast generator Java code Accell grammar AST processing Tree walking 12

13 Taken type inferencer Afleiden van types van variabelen via Databaseschema Returntypes van functies Analyse van de broncode Toevoegen van ontbrekende declaraties Opsporen van dubbele declaraties 13

functies Analyse van de broncode Toevoegen van

14 Resultaat type inferencer Verdeling wel/niet getypeerd Verdeling declaraties getypeerd ongetypeerd Gedeclareerd Toegevoegd Dubbel 14

15 Conversie schema Type info Framework Accell bron code parser AST Type inferer Code/Ast generator Java code Accell grammar AST processing Tree walking 15

16 Syntactische conversie Belangrijkste gesimuleerde syntax constructies: SQL queries Systeemfuncties Included C functies String switch e.a. Aanroep framework-functies Java constructies 16

17 Conversie voorbeeld #1 Accell SQL SET $l_id, $l_naam TO SELECT persoon.id, persoon.naam FROM persoon WHERE persoon.id = $f_id Java SQL List<PSO> arguments1 = new ArrayList<PSO>(); arguments1.add(new PSO($f_id,"INT")); ResultSet rs1 = runsqlselect( "SELECT persoon.id, persoon.naam " + "FROM persoon WHERE " + "persoon.id =?", arguments1); try { while (resultset1.next()) { $l_id =rs1.getint(1); //persoon.id $l_naam = rs1.getstring(2); //persoon.naam break; } } catch (SQLException _x) { //reporteer error } PSO = PreparedStatementObject 17

$", arguments1); try { while (resultset1.next()) { $l_id =rs1.getint(1); //persoon.id $l_naam = rs1.getstring(2); //persoon.$

18 Conversie schema Type info Framework Accell Bron bestanden parser AST Type inferer Code/Ast generator Java source Accell grammar AST processing Tree walking 18

19 Code organisatie Fram framework RunSQL runsq LSelect() include System systemfunctions Functions ICodes Aclenv getg lobal() BaseImpl AccellFunctions yesno() w ritepipeline() beep() val_to_str() to_num () current_date() current_tim e() Datafile Formulier FormLib Lib macroimpl definednotnu l() undef() undefnu l() chooksimpl add_entity() add_to_m c() init_m c() Form formulier Form formlib liblib include Macro Chooks 19

current_date() current_tim e() Datafile Formulier FormLib Lib macroimpl definednotnu l() undef() undefnu

20 Conversie schema Type info Framework Accell Bron bestanden parser AST Type inferer Code/Ast generator Java code Accell grammar AST processing Tree walking 20

21 Resultaten Code regels broncode 125 files geconverteerd en compileerbaar. 62K regels broncode 30K regels gegenereerde code. Kwaliteitsslag, opsporen van: Syntax fouten Missende en dubbele variabele declaraties Kwaliteits controle: Parser fouten rapportage Error reports bij conversie en type inferencing 21

22 Conclusie Poc: POC test toont aan dat de gegenereerde code de zelfde werking heeft als de oorspronkelijke code. Kwaliteits slag op het gebied van: Opsporen van syntax fouten. Niet of dubbel gedeclareerde variabelen (of spelfouten in variabelen) Aanbevelingen: Commentaar meenemen in code-generatie. Framework optimalisatie. Accell User interface ondersteuning Statistische analyse van de BVH code 22

Vergelijkbare documenten

Object Oriented Programming

Object Oriented Programming voor webapplicaties Door Edwin Vlieg Waarom OOP? Basis uitleg over OOP Design Patterns ActiveRecord Model View Controller Extra informatie Vragen OOP Object Oriented Programming