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, 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
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
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
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
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
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
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
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
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
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
Why is SBSE? Centre for Research in Evolution, Search & Testing http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009
Why is SBSE? Centre for Research in Evolution, Search & Testing http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009
Why not SBSE? Centre for Research in Evolution, Search & Testing ? http://crest.dcs.kcl.ac.uk/ Thursday, 10 December 2009
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
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
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
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
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
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
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
Trends in SBSE publication Growth 22 Thursday, 10 December 2009
Trends in SBSE publication Growth 23 Thursday, 10 December 2009
Trends in SBSE publication Growth 24 Thursday, 10 December 2009
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
New emerging areas 26 Thursday, 10 December 2009
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
