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)

1. Shaukat Ali, Simula Research Laboratory, Norway
2. Dalal Alrajeh, Department of Computing, Imperial College London, UK
3. Mustafa Bozkurt, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
4. Kleopatra Chatziprimou, Department of Informatics,  King's College London, UK
5. David Clark, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
6. Graham Collins, Management Science and Innovation, UCL, UK
7. Vittorio Cortellessa, Computer Science Department, University of L'Aquila, Italy
8. Konstantinos Danas, School of CIS, Kingston University, UK
9. Dionysios Efstathiou, Department of Informatics, King's College London, UK
10. Michael Felderer, Institute of Computer Science, University of Innsbruck, Austria
11. Mark Harman, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
12. Shareeful Islam, School of ACE, University of East London, UK
13. Syed Islam, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
14. Michael Jackson, Department of Computing, The Open University and School of Computing Science, University of Newcastle, UK
15. Yue Jia, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
16. Jens Krinke, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
17. Emmanuel Letier, SSE Group, Department of Computer Science, UCL, UK
18. Hui Liu, CREST Centre, SSE Group, Department of Computer Science, UCL and Beijing Institute of Technology, China
19. Ke Mao, Lab for Internet Software Technologies, Institute of Software, Chinese Academy of Sciences, Beijing, China
20. Mark Micallef, Department of Computer Science, University of Malta, Malta
21. Bashar Nuseibeh, Department of Computing, The Open University, UK
22. Mohammed Odeh, University of the West of England, Bristol, UK
23. Justyna Petke, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
24. Guenther Ruhe, Software Engineering Decision Support Laboratory, University of Calgary, Canada
25. Federica Sarro, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
26. Yannis Smaragdakis, Department of Informatics, University of Athens, Greece
27. David Stefan, UCL Engineering Doctorate, UCL, UK
28. Angelo Susi, FBK - Fondazione Bruno Kessler, Italy
29. Ian Sommerville, Department of Computer Science, St Andrews University, UK
30. Adel Taweel, Department of Informatics, King's College London, UK
31. Tao Yue, Simula Research Laboratory, Norway
32. Varsha Veerappa, Faculty Of Technology, Design And Environment, Oxford Brookes University, UK
33. Yuanyuan Zhang, CREST Centre, SSE Group, Department of Computer Science, UCL, UK