Nationaal Productsoftware Congres 2006 Software Kwaliteit 11 April 2006 is an activity of Technische Universiteit Eindhoven and Radboud University Nijmegen
PPSW Software Kwaliteit overzicht Introductie / Tools en Technieken voor Analyse van Softwarekwaliteit Marko van Eekelen, Vz. PPSW-wg Software Kwaliteit, Directeur, 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 Eindhoven/Nijmegen 110406_MVE_LQS 1/12
Platform voor Productsoftware 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 Eindhoven/Nijmegen 110406_MVE_LQS 2/12
Activiteiten tot nu toe Hoofdactiviteiten: Half 2005 bijeenkomst Laquso - Eindhoven Begin 2006 bijeenkomst Planon - Wijchen Afstudeerprojecten opstellen Case studies opstellen 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 Eindhoven/Nijmegen 110406_MVE_LQS 3/12
Huidige deelnemers A Groep Eva Ros ACE Consulting Willem Wakker GX creative online development Martijn van Berkum InformStrategy Paul Poels Radboud Universiteit Nijmegen Marko van Eekelen Planon David Griffioen Ralph van Roosmalen Priva Peter Belt Sichting Spider LogicaCMG Martin Muller TTS Technology to serve Frans Tolsma UAS Eric van den Heuvel Unit 4 Agresso Anton Robbemondt Danny Rempkens.. Er zijn nog enkele vrije plaatsen Copyright 2006 Eindhoven/Nijmegen 110406_MVE_LQS 4/12
What is? Who Goal 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 Focus Quality of software Requirements, architecture, specifications and source code The product, not the process Output Diagnosis Maybe a Certificate (Keurmerk) could not detect any defects in this system Copyright 2006 Eindhoven/Nijmegen 110406_MVE_LQS 5/12
Statements 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, 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 Eindhoven/Nijmegen 110406_MVE_LQS 6/12
Organization TU/e Architecture of Information Systems TU/e Databases & Hypermedia TU/e Visualisation TU/e Algorithms TU/e System Architecture and Networks TU/e Design and Analysis of Systems TU/e Formal Methods 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 is a research laboratory of the above mentioned chairs of Technische Universiteit Eindhoven Radboud University Nijmegen Copyright 2006 Eindhoven/Nijmegen 110406_MVE_LQS 7/12
Activities Research projects Development of Methods and Techniques Case Study Methodology Tool inventarisation Certification (Keurmerk) Development of Tools SQuADTSystems Quality Analysis & Design Toolset Knowledge dissemination and valorisation Case studies Symposium VVSS Centre of excellence in test methods, techniques and tools Publications e.g. Case Study Methodology and papers Presentations Projects, Vouchers Copyright 2006 Eindhoven/Nijmegen 110406_MVE_LQS 8/12
Case studies - Domains 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 Eindhoven/Nijmegen 110406_MVE_LQS 9/12
Tools and Techniques: Heck, Serebrenik, van Eekelen 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 Eindhoven/Nijmegen 110406_MVE_LQS 10/12
Kwaliteitsfocus Bij verschuiving van focus van maatwerk naar productsoftware verschuift kwaliteitsfocus mee van van beheersen en analyseren van proceskwaliteit naar beheersen en analyseren van productkwaliteit. Copyright 2006 Eindhoven/Nijmegen 110406_MVE_LQS 11/12
Kwaliteit van Productsoftware Onderzoek 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 Eindhoven/Nijmegen 110406_MVE_LQS 12/12
. Productsoftware kan alleen tot een duurzame, echt volwassen bedrijfstak uitgroeien, als veel meer aandacht aan kwaliteitsanalyse van software (deel-)producten besteed wordt. : Productkwaliteit is belangrijker dan proceskwaliteit Copyright 2006 Eindhoven/Nijmegen 110406_MVE_LQS 13/12