welcome to
play

Welcome to Centre for Research in Evolution, Search & Testing - PowerPoint PPT Presentation

Mar 06, 2023 •424 likes •711 views

Welcome to Centre for Research in Evolution, Search & Testing CREST COW/SEBASE workshop Mark Harman Centre for Research in Evolution, Search & Testing Thursday, 10 December 2009 CREST is home to Centre for Research in Evolution,

  1. Welcome to Centre for Research in Evolution, Search & Testing CREST COW/SEBASE workshop Mark Harman Centre for Research in Evolution, Search & Testing Thursday, 10 December 2009

  2. CREST is home to Centre for Research in Evolution, Search & Testing 4 faculty 1 administrative o ffj cer 8 post docs 12 PhD students 1 to 4 long term visitors http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  3. Testing Centre for Research in Evolution, Search & Testing All kinds of testing:- – Mutation testing – Model based testing – Automated test data generation – Web application testing – Service oriented testing – Fuzz testing – Security testing – Regression testing http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  4. Dependence Analysis Centre for Research in Evolution, Search & Testing dependence clusters impact analysis program and model based slicing assessing third party code http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  5. Quantitative Information Flow Centre for Research in Evolution, Search & Testing calculate amount of information flowing find security leaks use information theory to compute fitness http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  6. Service Oriented Computing Centre for Research in Evolution, Search & Testing Testing services with services Optimizing performance Finding dependence http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  7. Clone detection Centre for Research in Evolution, Search & Testing using static analysis applied to code provenance applied to graphical languages http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  8. Clone detection Centre for Research in Evolution, Search & Testing using static analysis applied to code provenance applied to graphical languages http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  9. Digital Humanities Centre for Research in Evolution, Search & Testing Mapping outwards from software to systems Software Engineering Analysis translates to – musicology – archaeology http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  10. SEBASE Centre for Research in Evolution, Search & Testing Search Based Software Engineering - SBSE York, Birmingham, King’s Motorola, IBM http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  11. What is SBSE? Centre for Research in Evolution, Search & Testing In SBSE we apply search techniques to search large search spaces, guided by a fitness function that captures properties of the acceptable software artefacts we seek. Genetic Algorithms, Hill climbing, Simulated Annealing, Random, Tabu Search, Estimation of Distribution Algorithms, Particle Swarm Optimization http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  12. Why is SBSE? Centre for Research in Evolution, Search & Testing http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  13. Why is SBSE? Centre for Research in Evolution, Search & Testing http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  14. Why not SBSE? Centre for Research in Evolution, Search & Testing ? http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  15. Why not SBSE? Centre for Research in Evolution, Search & Testing EPSRC network 1999 – 2002 Laid foundation for SBSE http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  16. SBSE Applications Centre for Research in Evolution, Search & Testing Transformation Cooper, Ryan, Schielke, Subramanian, Fatiregun, Williams Requirements Bagnall, Mansouri, Zhang Effort prediction Aguilar-Ruiz, Burgess, Dolado, Lefley, Shepperd Management Alba, Antoniol, Chicano, Di Pentam Greer, Ruhe Heap allocation Cohen, Kooi, Srisa-an Regression test Li, Yoo, Elbaum, Rothermel, Walcott, Soffa, Kampfhamer SOA Canfora, Di Penta, Esposito, Villani Refactoring Antoniol, Briand, Cinneide, O’Keeffe, Merlo, Seng, Tratt Test Generation Alba, Binkley, Bottaci, Briand, Chicano, Clark, Cohen, Gutjahr, Harrold, Holcombe, Jones, Korel, Pargass, Reformat, Roper, McMinn, Michael, Sthamer, Tracy, Tonella,Xanthakis, Xiao, Wegener, Wilkins Maintenance Antoniol, Lutz, Di Penta, Madhavi, Mancoridis, Mitchell, Swift Model checking Alba, Chicano, Godefroid Probe dist’ion Cohen, Elbaum UIOs Derderian, Guo, Hierons Comprehension Gold, Li, Mahdavi Protocols Alba, Clark, Jacob, Troya Component sel Baker, Skaliotis, Steinhofel, Yoo Agent Oriented Haas, Peysakhov, Sinclair, Shami, Mancoridis http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  17. SBSE Applications in which SEBASE is active Centre for Research in Evolution, Search & Testing Transformation Cooper, Ryan, Schielke, Subramanian, Fatiregun, Williams Requirements Bagnall, Mansouri, Zhang Effort prediction Aguilar-Ruiz, Burgess, Dolado, Lefley, Shepperd Management Alba, Antoniol, Chicano, Di Pentam Greer, Ruhe Heap allocation Cohen, Kooi, Srisa-an Regression test Li, Yoo, Elbaum, Rothermel, Walcott, Soffa, Kampfhamer SOA Canfora, Di Penta, Esposito, Villani Refactoring Antoniol, Briand, Cinneide, O’Keeffe, Merlo, Seng, Tratt Test Generation Alba, Binkley, Bottaci, Briand, Chicano, Clark, Cohen, Gutjahr, Harrold, Holcombe, Jones, Korel, Pargass, Reformat, Roper, McMinn, Michael, Sthamer, Tracy, Tonella,Xanthakis, Xiao, Wegener, Wilkins Maintenance Antoniol, Lutz, Di Penta, Madhavi, Mancoridis, Mitchell, Swift Model checking Alba, Chicano, Godefroid Probe dist’ion Cohen, Elbaum UIOs Derderian, Guo, Hierons Comprehension Gold, Li, Mahdavi Protocols Alba, Clark, Jacob, Troya Component sel Baker, Skaliotis, Steinhofel, Yoo Agent Oriented Haas, Peysakhov, Sinclair, Shami, Mancoridis http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  18. York SEBASE team and colleagues Centre for Research in Evolution, Search & Testing Task allocation Reducing time to move between configuration During development and maintenance - to make systems robust to change - to minimise cost when change can’t be avoided Wireless Sensor Networks - energy, performance, reliability, robustness Automatic WCET test-case generation Statistical Testing Non Functional Properties Optimize for functionality and power consumption http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  19. Birmingham SEBASE team Centre for Research in Evolution, Search & Testing Multi objective optimization - Power consumption - Response time - Cohesion and coupling for modularization Algorithms - Estimation of Distribution Algorithms - Differential Evolution Theoretical Analysis of SBST Automatic bug fixing Co-evolution of program and test cases http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  20. King’s SEBASE team Centre for Research in Evolution, Search & Testing Multi objective optimization: - cost and value - faults, coverage, time - metric sets - risk and reward Software Engineering Application areas: - Requirements - All kinds of Testing - Project Management - Refactoring - Source Code Analysis Survey work, Repositories, Community support http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  21. King’s SEBASE team Centre for Research in Evolution, Search & Testing Multi objective optimization: - cost and value - faults, coverage, time - metric sets - risk and reward Software Engineering Application areas: - Requirements - All kinds of Testing - Project Management - Refactoring - Source Code Analysis Survey work, Repositories, Community support http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

  22. Trends in SBSE publication Growth 22 Thursday, 10 December 2009

  23. Trends in SBSE publication Growth 23 Thursday, 10 December 2009

  24. Trends in SBSE publication Growth 24 Thursday, 10 December 2009

  25. Trends in SBSE publication Growth: Testing 50 Number of Publications on Software Testing y = 0.081 * 1.2143 x 45 R 2 =0.9827 40 Number of Publications 35 30 25 20 15 10 5 0 76 76 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 00 01 02 03 04 05 06 07 08 Year 35 Number of Publications on Structural Testing y = 0.0099 * 1.2781 x 30 R=0.9413 Number of Publications 25 20 15 10 5 0 76 76 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 00 01 02 03 04 05 06 07 08 Year 25 Thursday, 10 December 2009

  26. New emerging areas 26 Thursday, 10 December 2009

  27. 1st COW/SEBASE workshop Centre for Research in Evolution, Search & Testing Talks and Lots of discussion Lunch and refreshments will arrive here Dinner tonight upstairs Wireless Recording of talks NOT discussion A brief note about COWs Thanks - Yue and Jian for organisation - EPSRC for funding Logistics - fire alarms - toilets Introductions ... http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009

Recommend

More recommend