1971 Eindgebruiker Slachtoffer 1975 Gebruiker / Tester Mini 12 kb 1978 Ontwerper Mainframe / Mini 1980 Adviseur / Ontwerper Organisatie / Mainframe

Vergelijkbare documenten
Werkgroep Software Kwaliteit

Model Driven Software Development: Geen toekomst maar realiteit. 4 juni 2009, WTC, Amsterdam.

Capita Selecta Design Patterns voor administratieve applicaties

Adding value to test tooling

Webapplicatie-generatie NIOC 2013

Adding value to test tooling

Testwell CTC++ Test Coverage Analyser Code coverage voor alle coverage levels, alle compilers en alle embedded targets

Process Mining and audit support within financial services. KPMG IT Advisory 18 June 2014

SMART requirements schrijven

Kennis na het volgen van de training. Na het volgen van deze training bent u in staat:

Mission Critical Silverlight

APEX vs OutSystems, een vergelijking door een gebruiker

Requirements Management Werkgroep Traceability

Tips & Tricks for TUE students doing Architecture Reconstruction with Rascal

Zelftest Informatica-terminologie

Educagen. Wij zijn specialisten in Education en in Gen met een ervaring in consultancy en training van meer dan 20 jaar in de Gen-omgeving.

Digital municipal services for entrepreneurs

ICT GROUP WATER CONGRES 2018 Slimmer omgaan met machines door softwareanalyse

From business transactions to process insights. BPM Round Table, TU/e 26 mei 2014

Programmeren: Visual Basic

Cursus Software evolution. Dr. Bastiaan Heeren Touw Symposium, 24 november 2012 Studiecentrum Amsterdam

Compilers.

MEER AMBACHT DAN FABRIEK Data-Analyse en Process Mining Support

Generiek framework voor administratieve toepassingen in een webgeörienteerde omgeving

.NET of.not in de praktijk voorbij het onderbuikgevoel

BESCHIKKING VAN DE COMMISSIE

De brug tussen requirement engineer en gebruiker

Software Validation and Verification

Software Test Plan. Yannick Verschueren

KPDdoc kerneigenschappen

Git & RobotLib. Contents. De source is: ( )

Welkom. Great SAP Test Experience. 23 maart 2015

Master Software Engineering. Inhoud, begeleiding, tentamen dr. Anda Counotte Docent en mentor

Paphos Group Risk & Security Mobile App Security Testing

InforValue. Laat de waarde van Informatie uw bedrijfsdoelstellingen versterken. Informatie Management

Ervaringen met het opzetten van een MDD omgeving

Software Test Plan. Yannick Verschueren

Software engineering & integrated modelling Trends & Toekomst perspectief. Tamme van der Wal

Zelftest Inleiding Programmeren

Projectmanagement. Software ontwikkeling

TestNet Voorjaarsevenement 2010 Jurian van de Laar 12 mei 2010

Programmeren. Cursus Python

1750,00 excl. BTW. analytisch denkvermogen, empathie, assertief, communicatief, aanleg voor formalisme,...

Publicatieblad van de Europese Unie L 136/11

CATCHPlus D Matching persoonsnamen met VIAF DELIVERABLE. René van der Ark. Auteur : René van der Ark 15/03/ :03:00 PM page 1 of 12

Kenmerken van DLArchitect

Model driven Application Delivery

Inhoud. VBA Excel 2010

Agilent EEsof EDA. Waveform Bridge to FlexDCA and Infiniium. New Features for Solving HSD Challenges with ADS Heidi Barnes June 17/18/20, 2013

It s CMMI Jim, but not as we know it! CMMI toegepast op een Compliance organisatie Door Jasper Doornbos Improvement Focus

Plan van aanpak. 1 Inleiding. 2 Onderzoek. 3 Taken. Kwaliteitswaarborging van webapplicaties. Rachid Ben Moussa

Vijeo Citect. Kies voor Schneider Electric en houd optimale grip op uw producties. Een uitgebreid pakket: Vijeo plus HMI/SCADA

Software Reverse Engineering. Jacco Krijnen

Continuous Delivery. Sander Aernouts

Het besturingssysteem of operating system, vaak afgekort tot OS is verantwoordelijk voor de communicatie van de software met de hardware.

Software Design Document

Product Quality Management, onze toekomst René Tuinhout

WinGuard Total security management

Zelftest Java concepten

Requirements Traceability. Marcel de Baas, Jan Bank, Edwin Buisman, Frits Jacobs, Kitty Spaas, Erik Venema, Arno Zandman

Overzicht. Certificatie in Applicatie- 10/6/2010. kwaliteit van software artefacten

OpenTraffic. Open Traffic: open source software modellen toolbox. Guus Tamminga, Peter Knoppers, Hans van Lint, Alexander Verbraeck, Yufei Yuan

Het Sebyde aanbod. Secure By Design. AUG 2012 Sebyde BV

Design Data Management voor FPGA ontwikkeling

Programmeertechnieken Week 7

Zelftest OOAD/UML. Document: N0767Test.fm 30/08/2010. ABIS Training & Consulting P.O. Box 220 B-3000 Leuven Belgium

Biomassa, ruimte en klimaat Beoordeling ruimtelijke gevolgen stimulering biobrandstoffen; gezamenlijk eindproduct IC2, IC3 en ME04

Van Papier naar Papierloos met iventionles,

Accelerometer project 2010 Microcontroller printje op basis van de NXP-LPC2368

LSP Connect en HL7v3

(NPR) 5325 Opleveren en overdragen van software

Bestand: /home/karel/scripts/nas Pagina 1 van 8

Application interface. service. Application function / interaction

De tester als bruggenbouwer

Bedrijfsvoorstelling

M Microsoft SQL Server 2008, Business Intelligence Development and Maintenance

Avaya IP Office release 8.0 update

ESA Week 4a: Unix. Vandaag: versiebeheer (RCS, CVS, SVN) Donderdag: Compilatiebeheer, SSH en nog het een en ander

Bestandssystemen. yvan vander sanden. 16 maart 2015

SmartTestAssistant. Het slimme testhulpmiddel. door Frank Stolker

Grenzeloos vertrouwen in een tool!?

Intro JIP MoBaMo-BES. Deltares.

Correspondentie inzake overnemen of reproductie kunt u richten aan:

Wat drijft het werkveld?

Secure Application Roles

Software Test Document

en DMS koppelvlak Utrecht, 14 april 2011

Testing University. A fool with a tool is still a fool

Creatief Europa subprogramma Cultuur

Enterprise Portfolio Management

Socio-technisch systemen. Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 2 Slide 1

Slim & praktisch testen met de TMap HD aanpakken: Ervaring & Dekking

Dit document beschrijft belangrijke aandachtspunten voor de installatie van Deep Defender. Ook omschrijft dit document hoe de beheerder kan omgaan

Basisconcept VHDL. Digitaal Ontwerpen Tweede studiejaar. Wim Dolman. Engineering, leerroute Elektrotechniek Faculteit Techniek

HANDBOEK LSM BASISPRINCIPES LSM

Together we deliver. Partner Logistics Together we deliver

Microsoft Excel. It s all about Excel - VBA

Dynamische gebruikersbeslissingen in SAP Workflow

Transcriptie:

1971 Eindgebruiker Slachtoffer 1975 Gebruiker / Tester Mini 12 kb 1978 Ontwerper Mainframe / Mini 1980 Adviseur / Ontwerper Organisatie / Mainframe D&M 1984 Adviseur Pakketten, BLUES 1986 Projectleider MTT - AMADEUS 1988 Productdirecteur Tools - BLUES, IFPA, RISA Reverse Engineering 1990 Systeemintegrator Projectmanagement 1995 Directeur Software Factory 2003 Directeur LaQuSo Kwaliteits & Testtools 2009 Adviseur research Architectuurmodellen

1978 Idee stand-alone, ondersteuning ontwikkelaar 1980 Data General D&M (Interpreter, eigen tekstverwerker, niet-grafisch) 1984 Macintosh BLUES (grafisch, 8 modules o.a. ISAC, DFD, NS, Data model) 1986 Explosieve groei in tools 1988 Windows BLUES & Reverse Engineering Jaren 90 Integratie tools in Ontwikkelomgevingen Shake-out einde BLUES

A Multi-Method Approach for Developing Universal Specifications JSD SSADM SASD IE ISAC HOS NIAM BSP MERISE SADT

Hoeveel is er veranderd in 25 jaar?

Gegevens uit 1986

Een logisch vervolg op AMADEUS Onderdeel van BLUES Programmeertaal Model wijzigen Model Model Programmertaal 3GL Start met COBOL

Refactoring: changing program structure and readability without changing functionality System scope (dead-code elimination, predicate duplication, predicate extraction, argument removal, functor renaming) Module scope (renaming, splitting, merge, dead-code) Predicate scope (renaming, move, adding argument, argument reordering) Clause scope (if-then-else introduction, if-then-else inversion, local predicate extraction) refactoring

MetricView Visualization SAAT Metrics Quality Assessment Complexity Maintainability Consistency Completeness Coupling Cohesion mcrl2 Deadlock identification code Code generation Reverse engineering MODEL e.g.uml Verification & validation PNML PetriNet tools e.g., Yasper Simulation Model-based Testing Woflan Soundness check Gast / TorX Test case generation & execution

Extended VS Cobol II Grammar Ralf Lämemel& Cris Verhoef, and Tailored Cobol.jj Bernard Pinon GNU GPL JTB (UCLA, BSD) Syntax tree package Grammar file jtb.out.jj Visitor package (interfaces) JavaCC (Open source, BSD) Parser package Preprocessor *.cob A&V Repository LOC metrics Artifacts DB *.cob Complexity metrics Call info Parser & Tree Counter Visitors *.prg Metrics & call files GUI & Control Artifacts: metrics& structural data Code Repository Extravis TU/e Converters CCFinder Toshihiro Kamiya Table Vision TU/e Matrix View TU/e

Instability (I) (2) Name, Class Count, Abstract Class Count, Ca, Ce, A, I, D, V: bsh,0,0,1,0,0,0,1,1 com.caucho.burlap.client,0,0,1,0,0,0,1,1 com.caucho.burlap.io,0,0,1,0,0,0,1,1 com.caucho.burlap.server,0,0,1,0,0,0,1,1 com.caucho.hessian.client,0,0,1,0,0,0,1,1 com.caucho.hessian.io,0,0,1,0,0,0,1,1 com.caucho.hessian.server,0,0,1,0,0,0,1,1 com.ibatis.common.util,0,0,1,0,0,0,1,1 oracle.toplink.essentials.sessions,0,0,1,0,0,0,1,1 oracle.toplink.exceptions,0,0,2,0,0,0,1,1 oracle.toplink.expressions,0,0,1,0,0,0,1,1 oracle.toplink.internal.databaseaccess,0,0,1,0,0,0,1,1 oracle.toplink.jndi,0,0,1,0,0,0,1,1 oracle.toplink.logging,0,0,1,0,0,0,1,1 oracle.toplink.publicinterface,0,0,2,0,0,0,1,1 oracle.toplink.queryframework,0,0,1,0,0,0,1,1 oracle.toplink.sessionbroker,0,0,1,0,0,0,1,1 oracle.toplink.sessions,0,0,2,0,0,0,1,1 oracle.toplink.threetier,0,0,1,0,0,0,1,1 oracle.toplink.tools.sessionconfiguration,0,0,1,0,0,0,1,1 oracle.toplink.tools.sessionmanagement,0,0,1,0,0,0,1,1 org.aopalliance.aop,0,0,9,0,0,0,1,1 org.aopalliance.intercept,0,0,24,0,0,0,1,1 org.apache.axis.encoding.ser,0,0,1,0,0,0,1,1 org.apache.catalina.loader,0,0,1,0,0,0,1,1 org.aspectj.weaver,0,0,2,0,0,0,1,1 org.aspectj.weaver.ast,0,0,1,0,0,0,1,1 org.aspectj.weaver.bcel,0,0,1,0,0,0,1,1 org.aspectj.weaver.internal.tools,0,0,1,0,0,0,1,1 org.aspectj.weaver.loadtime,0,0,1,0,0,0,1,1 org.quartz.xml,0,0,1,0,0,0,1,1 org.springframework.aop,24,20,17,6,0,83,0,26,0,09,1 org.springframework.aop.aspectj,39,7,3,24,0,18,0,89,0,07,1 org.springframework.aop.aspectj.annotation,27,3,0,19,0,11,1,0,11,1 org.springframework.aop.aspectj.autoproxy,3,0,1,8,0,0,89,0,11,1 org.springframework.aop.config,17,3,1,15,0,18,0,94,0,11,1 org.springframework.aop.framework,37,9,22,18,0,24,0,45,0,31,1 org.springframework.jdbc.core,53,20,6,20,0,38,0,77,0,15,1 org.springframework.jdbc.core.metadata,22,2,1,10,0,09,0,91,0,1 org.springframework.jdbc.core.namedparam,10,4,3,12,0,4,0,8,0,2,1 org.springframework.jdbc.core.simple,17,6,0,12,0,35,1,0,35,1 org.springframework.jdbc.core.support,8,5,2,14,0,62,0,88,0,5,1 org.springframework.jdbc.datasource,27,7,13,14,0,26,0,52,0,22,1 org.springframework.jdbc.datasource.lookup,8,2,2,13,0,25,0,87,0,12,1 org.springframework.jdbc.object,14,8,0,12,0,57,1,0,57,1 org.springframework.jdbc.support,15,5,12,16,0,33,0,57,0,1,1 org.springframework.jdbc.support.incrementer,15,4,0,8,0,27,1,0,27,1 org.springframework.jdbc.support.lob,18,5,5,12,0,28,0,71,0,02,1 org.springframework.jdbc.support.nativejdbc,10,2,2,7,0,2,0,78,0,02,1 org.springframework.jdbc.support.rowset,4,2,2,6,0,5,0,75,0,25,1 org.springframework.jdbc.support.xml,7,6,0,7,0,86,1,0,86,1 org.springframework.web.servlet.view.xslt,4,2,0,17,0,5,1,0,5,1 org.springframework.web.struts,16,5,0,22,0,31,1,0,31,1 org.springframework.web.util,24,6,26,15,0,25,0,37,0,38,1 org.w3c.dom,0,0,12,0,0,0,1,1 org.xml.sax,0,0,3,0,0,0,1,1 (1) (3) org.quartz.spi,0,0,1,0,0,0,1,1 org.quartz.utils,0,0,1,0,0,0,1,1 AV Repository (4) Abstractness and Instability 1 0.8 0.6 0.4 0.2 0 0 0.2 0.4 0.6 0.8 1 Abstractness (A)

Log file Application Process Model Convert to MXML Frequent Paths MXML Log file Filtering Filtered MXML Log file Social Network Client Law/Property 4 eyes Cycles Conformance Performance

Process Keuze Log Decision

Contact customer (Re)send bill Start Register order Receive payment Archive order End Prepare shipment Ship goods 2) process model 3) organizational model 4) social network 1) basic performance metrics 5) performance characteristics 7) Decision point analysis 6) auditing/security If then en.. Code!!!!!!!!

Statische Analyse vs Dynamische Analyse ExtraVis (TU/e)

Research VU Rosetta project TU/e Code Mining Gebruik RE & parsertechnologie voor (code) analyse Veelheid aan tools Parsers op het net (Koppelen met grammatica)

Dank voor uw aandacht