The 25th CREST Open Workshop
Requirements and Test Optimisation
Date: 11 - 12 February 2013
Venue: Engineering Front Executive Suite, Roberts Building, UCL (Directions, or 'C5' on the map here, or Find it on Google maps.)
Overview:
Requirements engineering aims to model, analyse and understand the real world sufficiently well that we can understand what a software system is supposed to do.
Testing seeks to model, analyse and understand the software system sufficiently well that we can gain confidence that it does do what it is supposed to do and can quickly find and fix cases where it does not.
Many software engineers believe that there should be a strong connection between these two clearly complementary aspects of software engineering, yet there remains too little work that combines the two.
Recent developments in Search Based Software Engineering (SBSE) has highlighted similarities between requirements and test optimisation problems [HMZ12] that are, perhaps, surprising given the way in which research in each topic is currently conducted in separated silos of activity. This workshop seeks to draw these two research sub-communities of software engineering together to explore the relationship between requirements and testing. The workshop will focus on the occasionally shared language of optimisation as one possible way to combine the two into more holistic approaches to software systems development.
[HMZ12] Search-based software engineering: Trends, techniques and applications
Mark Harman, Afshin Mansouri and Yuanyuan Zhang
ACM Computing Surveys (CSUR): 45(1). November 2012. Article No. 11
PDF: http://www0.cs.ucl.ac.uk/staff/mharman/ACM-surveys-sbse.pdf
(Figure 5 page A:20 highlights one relationship between requirements and regression test optimisation.)
Programme: (Downloadable programme in PDF)
+++++++++11 February 2013 – DAY 1+++++++++
10:00 Arrival, Coffee and Pastries
10:20 Welcome and Introductions (Video)
Mark Harman, CREST Centre, SSE Group, Department of Computer Science, UCL
11:00 Requirements and Testing as Risk Minimisation (Slides, Video)
Emmanuel Letier, SSE Group, Department of Computer Science, UCL, UK
11:30 Discussion
11:45 Requirements engineering and reality: Specifying a million-user system (Slides, Video)
Ian Sommerville, Department of Computer Science, St Andrews University, UK
12:15 Discussion
13:15 Sandwich lunch at the venue
14:15 Optimization models for non-functional requirements validation (Slides, Video)
Vittorio Cortellessa, Computer Science Department, University of L'Aquila, Italy
14:45 Discussion
15:00 Improving requirements testing with defect taxonomies (Slides, Video)
Michael Felderer, Institute of Computer Science, University of Innsbruck, Austria
15:30 Discussion
15:45 Refreshments
16:15 Optimising overtime planning (Slides, Video)
Federica Sarro, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
16:45 Discussion
17:00 Mining App store requirements (Slides, Video)
Yue Jia, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
17:30 Discussion
18:00 Wrap up
18:30 Light Dinner at the Marlborough Arms
+++++++++12 February 2013 – Day 2+++++++++
9:30 Arrival, Coffee and Pastries
10:00 Requirements are Properties of System Behaviours (Slides, Video)
Michael Jackson, Department of Computing, The Open University and School of Computing Science, University of Newcastle, UK
10:30 Discussion
10:45 Pricing Crowdsourcing-based Software Development Tasks (Slides, Video)
Ke Mao, Lab for Internet Software Technologies, Institute of Software, Chinese Academy of Sciences, Beijing, China
11:15 Discussion
11:30 Refreshments
12:00 Software release decisions – Advanced models and optimization methods (Slides, Video)
Guenther Ruhe, Software Engineering Decision Support Laboratory, University of Calgary, Canada
12:30 Discussion
12:45 Sandwich lunch at the venue
13:45 Interactive Search Approaches to Requirements Prioritisation (Slides, Video)
Angelo Susi, FBK - Fondazione Bruno Kessler, Italy
14:15 Discussion
14:30 Requirements Elaboration: An Inductive Search Problem (Slides, Video)
Dalal Alrajeh, Department of Computing, Imperial College London, UK
15:00 Discussion
15:15 Refreshments
15:45 Search based requirements selection and optimisation (Slides, Video)
Yuanyuan Zhang, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
16:15 Discussion
16:30 Wrap-up
17:00 Close
Photos:
This workshop is supported by the following sponsors:
Registered Attendees: (Get registered Here)
- Shaukat Ali, Simula Research Laboratory, Norway
- Dalal Alrajeh, Department of Computing, Imperial College London, UK
- Mustafa Bozkurt, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
- Kleopatra Chatziprimou, Department of Informatics, King's College London, UK
- David Clark, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
- Graham Collins, Management Science and Innovation, UCL, UK
- Vittorio Cortellessa, Computer Science Department, University of L'Aquila, Italy
- Konstantinos Danas, School of CIS, Kingston University, UK
- Dionysios Efstathiou, Department of Informatics, King's College London, UK
- Michael Felderer, Institute of Computer Science, University of Innsbruck, Austria
- Mark Harman, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
- Shareeful Islam, School of ACE, University of East London, UK
- Syed Islam, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
- Michael Jackson, Department of Computing, The Open University and School of Computing Science, University of Newcastle, UK
- Yue Jia, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
- Jens Krinke, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
- Emmanuel Letier, SSE Group, Department of Computer Science, UCL, UK
- Hui Liu, CREST Centre, SSE Group, Department of Computer Science, UCL and Beijing Institute of Technology, China
- Ke Mao, Lab for Internet Software Technologies, Institute of Software, Chinese Academy of Sciences, Beijing, China
- Mark Micallef, Department of Computer Science, University of Malta, Malta
- Bashar Nuseibeh, Department of Computing, The Open University, UK
- Mohammed Odeh, University of the West of England, Bristol, UK
- Justyna Petke, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
- Guenther Ruhe, Software Engineering Decision Support Laboratory, University of Calgary, Canada
- Federica Sarro, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
- Yannis Smaragdakis, Department of Informatics, University of Athens, Greece
- David Stefan, UCL Engineering Doctorate, UCL, UK
- Angelo Susi, FBK - Fondazione Bruno Kessler, Italy
- Ian Sommerville, Department of Computer Science, St Andrews University, UK
- Adel Taweel, Department of Informatics, King's College London, UK
- Tao Yue, Simula Research Laboratory, Norway
- Varsha Veerappa, Faculty Of Technology, Design And Environment, Oxford Brookes University, UK
- Yuanyuan Zhang, CREST Centre, SSE Group, Department of Computer Science, UCL, UK