Transcript PowerPoint-presentatie

Laboratory for Quality Software
12 February 2009 / H.T.G. Weffers
2009 NIRICT Strategy Day
3TU.NIRICT Research Laboratories
3TU.NIRICT Laboratory for Quality Software
TU/e – EINDHOVEN
Organization
Institute for Computing and Information Sciences
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
part of
•
Digital Security
•
Information and Knowledge Systems
•
Informatics for Technical Applications
•
Software Technology
•
Foundations
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.
Position
Industry / Government
u
|
v
Front-Office
Section
Section
Section
Section
Software and Systems Engineering
Information Systems
Algorithms & Visualization
Specification & Verification
x
NIRICT Laboratories - LaQuSo
Back-Office
{
3TU
NIRICT
z
JRU
Embedded Systems Institute
y
w
Focus Areas
LaQuSo
Project
Acquisition
Project
Management
Certification
prof. dr. M.G.J. van den Brand
prof. dr. M. van Eekelen
Project 1
…
Code
Mining &
Analysis
prof. dr. M.G.J. van den Brand
Process
Mining &
Analysis
prof. dr. ir. W.M.P. van der Aalst
prof. dr. K.M. van Hee
Software
Model
Analysis
prof. dr. ir. J.F. Groote
Project N
Security
Analysis
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
Mining
System
Code Base
Data Staging
•
•
•
•
•
Cobol
C, C++, C#
Java
ABAP (SAP)*
…
analysis
•
•
•
•
internal
representation
relevant
raw data
Filter
Select
Preprocess
…
design and/or
develop
process and
analysis
report and/or
consultancy
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, [email protected]
The Delft LaQuSo Build Farm
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