S. Scalabrino G. Grano D. Di Nucci A. De Lucia M. Guerra H. Gall - - PowerPoint PPT Presentation

▶
s scalabrino g grano d di nucci a de lucia m guerra h
SMART_READER_LITE
LIVE PREVIEW

S. Scalabrino G. Grano D. Di Nucci A. De Lucia M. Guerra H. Gall - - PowerPoint PPT Presentation

Jun 03, 2023 100 likes •399 views

S. Scalabrino G. Grano D. Di Nucci A. De Lucia M. Guerra H. Gall R. Oliveto OCELOT a Search-Based Test-Data Generation Tool for C Testing is expensive Automatic Test Generation Search-Based Test Generation TIOBE Ranking TIOBE Ranking

slide-1
SLIDE 1
  • S. Scalabrino
  • M. Guerra
  • R. Oliveto
  • G. Grano
  • H. Gall
  • D. Di Nucci
  • A. De Lucia
slide-2
SLIDE 2

OCELOT

a Search-Based Test-Data Generation Tool for C

slide-3
SLIDE 3

Testing

is expensive

slide-4
SLIDE 4

Automatic Test Generation

slide-5
SLIDE 5

Search-Based Test Generation

slide-6
SLIDE 6
slide-7
SLIDE 7

TIOBE Ranking

slide-8
SLIDE 8

TIOBE Ranking

slide-9
SLIDE 9

TESTGEN QUEST GADGET IGUANA Austin CAVM

slide-10
SLIDE 10

TESTGEN QUEST GADGET IGUANA Austin CAVM

slide-11
SLIDE 11
slide-12
SLIDE 12

Source function Test suite

slide-13
SLIDE 13

Source function Test suite

slide-14
SLIDE 14

Build + Run + Write

slide-15
SLIDE 15

Build

Source function

slide-16
SLIDE 16

Build

Source function Instrumented code

slide-17
SLIDE 17

Build

Source function Instrumented code Compiled Binary

slide-18
SLIDE 18

Run

Compiled Binary

slide-19
SLIDE 19

Run

Compiled Binary

slide-20
SLIDE 20

Write

Test suite

slide-21
SLIDE 21

Write

Test suite

#include <check.h>

slide-22
SLIDE 22

OCELOT vs Austin

slide-23
SLIDE 23

Austin OCELOT

26% 79%

Branch Coverage

slide-24
SLIDE 24

https://ocelot.science

slide-25
SLIDE 25

Hands-On Demo

Friday, 10:30 - 12:00 Room Joffre CD

slide-26
SLIDE 26
  • S. Scalabrino
  • M. Guerra
  • R. Oliveto
  • G. Grano
  • H. Gall
  • D. Di Nucci
  • A. De Lucia

OCELOT

a Search-Based Test-Data Generation Tool for C

slide-27
SLIDE 27
slide-28
SLIDE 28

Come see the demo (0.5 min)