Nationaal Productsoftware Congres 2006
Werkgroep Software Kwaliteit 11 April 2006
LaQuSo is an activity of Technische Universiteit Eindhoven and Radboud University Nijmegen
PPSW Werkgroep Software Kwaliteit Sessieoverzicht Sessie Werkgroep LaQuSo Stelling
Introductie Werkgroep / Tools en Technieken voor Analyse van Softwarekwaliteit Marko van Eekelen, Vz. PPSW-wg Software Kwaliteit, Directeur LaQuSo, RU Nijmegen
Kwaliteit en testen binnen Agile Project Management volgens Scrum David Griffioen Product Manager / ScrumMaster Planon
Kwaliteit met Q-U-A… Martin Muller Kwaliteitsmanager LogicaCMG – Stichting SPIder
Monitoring and Debugging of Web applications Martijn van Berkum Technisch Directeur GX
Panel Discussie Copyright © 2006 LaQuSo Eindhoven/Nijmegen
110406_MVE_LQS
1/12
Platform voor Productsoftware Sessie Werkgroep LaQuSo Stelling
Werkgroep Software Kwaliteit Onderwerpen:
Kwaliteit van (deel-)producten Kwaliteitsbepaling / Kwaliteitsborging / Kwaliteitsanalyse Tijdens en na ontwikkeling Tools, Methoden en Technieken
Activiteiten:
Bijeenkomsten Ervaringen, best practices uitwisselen Presentatie eigen methoden en ervaringen Bijdragen aan activiteiten van het PPSW-platform Onderzoek, publicaties, evenementen
Copyright © 2006 LaQuSo Eindhoven/Nijmegen
110406_MVE_LQS
2/12
Activiteiten tot nu toe Sessie Werkgroep LaQuSo Stelling
Hoofdactiviteiten: Half 2005 bijeenkomst Laquso - Eindhoven Begin 2006 bijeenkomst Planon - Wijchen Afstudeerprojecten opstellen Case studies opstellen Sessie nationaal productsoftware congres Nevenactiviteiten: Bijdrage boek over productsoftware, ed. S. Jansen Deelname Oprichting Society for Quality Professionals in ICT Conferentie Quality in IT: Challenged & Challenging, 11 mei NBC Copyright © 2006 LaQuSo Eindhoven/Nijmegen
110406_MVE_LQS
3/12
Huidige deelnemers A Groep
Eva Ros
Sessie
ACE Consulting
Werkgroep
GX creative online development
LaQuSo
Willem Wakker
Martijn van Berkum
InformStrategy Paul Poels
LaQuSo – Radboud Universiteit Nijmegen Stelling
Marko van Eekelen
Planon Priva
David Griffioen Ralph van Roosmalen Peter Belt
Sichting Spider – LogicaCMG Martin Muller
TTS Technology to serve UAS
Frans Tolsma
Eric van den Heuvel
Unit 4 Agresso
Anton Robbemondt Danny Rempkens
….. Er zijn nog enkele vrije plaatsen…
Copyright © 2006 LaQuSo Eindhoven/Nijmegen
110406_MVE_LQS
4/12
What is LaQuSo? Who Sessie Werkgroep LaQuSo
Goal
Stelling
Focus
Technical University Eindhoven, 2004… Radboud University Nijmegen, 2005… NIRICT (TU Eindhoven, TU Delft, Tu Twente), 2006?... Bridge between industry and science Transform knowledge into methods, techniques and tools that will be used in industry Added value with a low threshold Quality of software
‘Requirements, architecture, specifications and source code’
The product, not the process
Output
Diagnosis Maybe a Certificate (Keurmerk)
‘LaQuSo could not detect any defects in this system’
Copyright © 2006 LaQuSo Eindhoven/Nijmegen
110406_MVE_LQS
5/12
Statements Sessie Werkgroep LaQuSo Stelling
LaQuSo research Develop methods, techniques and tools to detect defects in artifacts of the software industry
by integration and extension of existing methods, techniques and tools
As long as methods, techniques and tools (MTT) are under development, LaQuSo will apply them in case studies As soon as it becomes routine, the MTT will be transferred to industry as spin off company or as licenses
Mission “to be recognized as one of the leading scientific institutes for quality software in Europe"
Copyright © 2006 LaQuSo Eindhoven/Nijmegen
110406_MVE_LQS
6/12
Organization Sessie
TU/e Architecture of Information Systems TU/e Databases & Hypermedia
Werkgroep
TU/e Visualisation TU/e Algorithms TU/e System Architecture and Networks
LaQuSo
TU/e Design and Analysis of Systems TU/e Formal Methods
Stelling LaQuSo
TU/e Software Construction TU/e Probability Theory en Statistics TU/e Information Systems RU Security of Systems RU Information Retrieval and Information Systems RU Software Technology RU Informatics for Technical Applications RU Foundations
LaQuSo is a research laboratory of the above mentioned chairs of Technische Universiteit Eindhoven Radboud University Nijmegen Copyright © 2006 LaQuSo Eindhoven/Nijmegen
110406_MVE_LQS
7/12
Activities Sessie Werkgroep LaQuSo Stelling
Research projects Development of Methods and Techniques Case Study Methodology Tool inventarisation Certification (Keurmerk)
Development of Tools SQuADT Systems Quality Analysis & Design Toolset
Knowledge dissemination and valorisation
Symposium VVSS Centre of excellence in test methods, techniques and tools Publications e.g. Case Study Methodology and papers Presentations
Case studies
Projects, Vouchers
Copyright © 2006 LaQuSo Eindhoven/Nijmegen
110406_MVE_LQS
8/12
Case studies - Domains Sessie Werkgroep LaQuSo Stelling
Requirements Analysis Architecture Analysis Component structure Information structure Detailed design
Software Code Analysis Structure analysis Behavior analysis
Testing of Executing System Security Analysis Performance Analysis Usability Analysis Copyright © 2006 LaQuSo Eindhoven/Nijmegen
110406_MVE_LQS
9/12
Tools and Techniques: Heck, Serebrenik, van Eekelen
Sessie Werkgroep LaQuSo Stelling
Statische Analyse Model Checking (mCRL2) Abstractie (CoVerity) Assertionele Technieken (JML, Spec#) CodeMetrieken (SAAT, MetricView)
Dynamische Analyse Instrumentatie (code toevoegen) Off-line (process mining) On-line (test generatie, assertion checking) Analyse Metrieken (call / predicate coverage) Copyright © 2006 LaQuSo Eindhoven/Nijmegen
110406_MVE_LQS
10/12
Kwaliteitsfocus Sessie Werkgroep
Bij verschuiving van focus van maatwerk naar productsoftware
LaQuSo Stelling
verschuift kwaliteitsfocus mee van van beheersen en analyseren van proceskwaliteit naar beheersen en analyseren van productkwaliteit. Copyright © 2006 LaQuSo Eindhoven/Nijmegen
110406_MVE_LQS
11/12
Kwaliteit van Productsoftware Onderzoek… Sessie Werkgroep LaQuSo Stelling
Inventarisatie van tools en technieken voor kwaliteitsanalyse Inventarisatie van gebruik en ervaringen met die tools Assessment van die technieken in de context van productsoftware
Copyright © 2006 LaQuSo Eindhoven/Nijmegen
110406_MVE_LQS
12/12
Stelling…. Sessie Werkgroep LaQuSo Stelling
“Productsoftware” kan alleen tot een duurzame, echt volwassen bedrijfstak uitgroeien, als veel meer aandacht aan kwaliteitsanalyse van software (deel-)producten besteed wordt. Stelling: Productkwaliteit is belangrijker dan proceskwaliteit
Copyright © 2006 LaQuSo Eindhoven/Nijmegen
110406_MVE_LQS
13/12
