Welcome to CREST CREST Open Workshop Using Static Analysis for - - PowerPoint PPT Presentation

▶

Jun 29, 2023 235 likes •400 views

Centre for Research in Evolution, Search & Testing Welcome to CREST CREST Open Workshop Using Static Analysis for Fault Prediction Centre for Research in Evolution, Search & Testing CREST is home to Centre for Research in

SLIDE 1

Centre for Research in Evolution, Search & Testing

Welcome to CREST

CREST Open Workshop

Using Static Analysis for Fault Prediction

Centre for Research in Evolution, Search & Testing

SLIDE 2

Centre for Research in Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

CREST is home to 4 faculty 1 administrative ofcer 8 post docs 12 PhD students 1 to 4 long term visitors

SLIDE 3

Centre for Research in Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

Search Based Software Engineering - SBSE

Apply search techniques to search large search spaces, guided by a fitness function that captures properties of the acceptable software artefacts we seek. Multi objective optimisation:

cost and value
faults, coverage, time
metric sets
risk and reward

Software Engineering Application areas:

Requirements
Testing
Project Management
Refactoring
Source Code Analysis

SLIDE 4

Centre for Research in Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

SBSE - Requirements Optimisation

Tensions between customers Cost/Value trade off

SLIDE 5

Centre for Research in Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

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

SLIDE 6

Centre for Research in Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

Mutation Testing

Inject faults to measure the test suite’s quality

SLIDE 7

Centre for Research in Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

Dependence Analysis

dependence clusters impact analysis program and model based slicing assessing third party code

SLIDE 8

Centre for Research in Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

Quantitative Information Flow

calculate amount of information flowing find security leaks

SLIDE 9

Centre for Research in Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

Information Flow Control

Reviewer User Chair Author Author Reviewer User Reviewer User Chair Author Author Reviewer User

SLIDE 10

Centre for Research in Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

Service Oriented Computing

Testing services with services Optimising performance Finding dependence

SLIDE 11

Centre for Research in Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

Clone detection

using static analysis applied to code provenance applied to graphical languages

SLIDE 12

Centre for Research in

Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

Clone detection - Code Provenance

SLIDE 13

Centre for Research in Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

Digital Humanities

Mapping outwards from software to systems Software Engineering Analysis translates to – musicology – archaeology

SLIDE 14

Centre for Research in Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

CREST Open Workshops

Regular Workshops Every last Wednesday of the month Talks and Lots of discussion Recording of talks NOT discussion 4th CREST Open Workshop Operational Research for Software Engineering Method Friday, 26 February http://crest.dcs.kcl.ac.uk/cow/

SLIDE 15

Centre for Research in Evolution, Search & Testing

http://crest.dcs.kcl.ac.uk/

3rd CREST Open Workshop

Thanks

Jian for organisation
EPSRC for funding

Logistics

fire alarms
toilets

Introductions ...