190 likes | 257 Views
Laboratory for Quality Software 12 February 2009 / H.T.G. Weffers. 2009 NIRICT Strategy Day. 3TU.NIRICT Research Laboratories. for you. 3TU.NIRICT Laboratory for Quality Software. TU/ e – Eindhoven. Department of Mathematics and Computer Science EG Databases & Hypermedia
E N D
Laboratory for Quality Software12 February 2009 / H.T.G. Weffers 2009 NIRICT Strategy Day 3TU.NIRICT Research Laboratories for you
3TU.NIRICT Laboratory for Quality Software TU/e – Eindhoven
Department of Mathematics and Computer Science EG Databases & Hypermedia EG Architecture of Information Systems EG Formal Methods EG Analysis and Design of Systems EG Software Engineering and Technology EG Systems Architecture and Networking EG Embedded Systems Security EG Algorithms EG Visualization Organization • Institute for Computing and Information Sciences • Digital Security • Information and Knowledge Systems • Informatics for Technical Applications • Software Technology • Foundations part of
Goals • Support of relevant research on ICT, in particular on IT • Industrialization of academic results • Validation of academic results • Valorization of academic results Contributing to Promotion of excellence and utilization of knowledge to strengthen technological and societal innovation.
Focus Areas LaQuSo Code Mining & Analysis Process Mining & Analysis Software Model Analysis Security Analysis Project Acquisition Project Management Certification prof. dr. M.G.J. van den Brand prof. dr. M. van Eekelen Project 1 … Project N prof. dr. M.G.J. van den Brand prof. dr. ir. W.M.P. van der Aalst prof. dr. K.M. van Hee prof. dr. ir. J.F. Groote prof. dr. B.P.J. Jacobs prof. dr. S. Etalle
Activities (General) • Industry Liaison • i.c.w. United Brains, TU/e Innovation Lab • Project • acquisition • execution • support (infrastructure, development, legal) & management • Marketing & Communication • e.g. VVSS 11 June 2009 • e.g. CeDICT Event 24 April 2009 • e.g. “Succes met de Requirements” i.c.w. Logica and SysQa • Training
Activities (Projects) • EU • INESS, TWINS, … • National • PON, … • Government • Ministerie van Justitie, Ministerie van Binnenlandse Zaken en Koninkrijksrelaties, Waterschapshuis, Politie, … • Industry • DSM, UPC, NXP Semiconductors, APG, De Lage Landen, Cepo, …
Activities (Example) original data analysis report Code Base Mining System internal representation relevant raw data • Data Staging • Filter • Select • Preprocess • … • Cobol • C, C++, C# • Java • ABAP (SAP)* • … design and/or develop process and analysis report and/or consultancy analysis
Activities (Example) • Readiness Assessment • Pilot • Quick scan (on sample dataset) • design/develop extraction software and tune mining system • Application • Small-scale (on representative dataset) • Large-scale (on full dataset) • Deployment Support
Developments • Strengthening organization • Strengthening organizational embedding • Extending collaboration • More focus on sustainable (industry) partnerships • Extending ICT Infrastructure • Various project proposals ‘en route’… • FES CEI proposal i.c.w. ESI, STW, ITEA2, Eureka/Celtic, …
3TU.NIRICT Laboratory for Quality Software TUD – Delft
The Delft LaQuSo Build Farm • Build farm: system that automatically builds, tests and analyses software packages, on many platforms • Tries to find causes of failures • Packages them to make them directly available to users • Currently under development at TUD as part of the 3TU.NIRICT LaQuSo Infrastructure Contributed by Eelco Dolstra, Andy Zaidman
The Delft LaQuSo Build Farm • Testbed for analysis tools • Research goals: • How to manage build farm variability? • Automatic exploration of the configuration space — try to select configurations more likely to exhibit problems. • Virtual machine synthesis • ... • Principal users: • 3TU projects • Other academic projects • Open source projects • Students (thesis projects, software engineering courses, ...)
The Delft LaQuSo Build Farm • Status • New implementation: Hydra (http://hydra.nixos.org/) • Replaces previous build farm implementation • Draft paper: http://www.st.ewi.tudelft.nl/dolstra/pubs/hydra-scp-submitted.pdf • Current users: NixOS, Stratego/XT • Now ready to add projects from other 3TU users • Contact Eelco Dolstra, e.dolstra@tudelft.nl
3TU.NIRICT Laboratory for Quality Software UT – Enschede
Overview • Funding as of 2009 • In 2008, in collaboration with LaQuSo at Delft University of Technology, integration ‘in’ “Build Farm” • In 2008, project proposal for collaboration at Cordys • In 2007, in collaboration with LaQuSo at Eindhoven University of Technology, feasibility project at Cordys. Contributed by Arend Rensink
3TU.NIRICT Laboratory for Quality Software Linking scientific research and innovation