Download presentation

Presentation is loading. Please wait.

Published byBarbra Dean Modified over 3 years ago

1
Predicate Complete Testing * Thomas Ball * Thomas Ball, A Theory of Predicate-Complete Test Coverage and Generation, Technical Report MSR-TR-2004- 28, Microsoft Research

2
Testing Definitions Statement Every statement is executed by the test set Path Every control path is executed by the test set Predicate Every logical predicate is executed by the test set Complete Some notion that the test set is “exhaustive”

3
Theoretical Goals Control Flow metrics Statement, branch, multiple condition, predicate, path, linear code sequence and jump Predicate Complete Testing Cover all reachable observable states Bound the number tests Know when to stop (when do we have a complete test set) Does PCT actually produce tests?

4
Using Boolean Programs Recall that BP transforms the original program into a program of its Boolean predicates A BP state is some Boolean assignment of all predicates The BP state space is finite (<= m*2^n) Some BP states are observable Some BP states are reachable

5
Boolean Program

6
Reachable States

7
Reachability Graph

8
Formalizing the state abstraction

9
Boolean Program II

10
Upper and Lower bounds for R R – set of reachable states U – upper bound for R via may-transitions Lp – pessimistic lower bound for R via must+ transitions, a may transition, and must- transitions Lo – optimistic lower bound for R, with the assumption that the program does not diverge

11
Algorithm Using algorithms for computing L and U, |L|==|U| => the abstraction accurately encodes all the paths of R. Generate all paths for L in the graph

12
Test Generation

13
Discussion

Similar presentations

OK

Overview of program analysis Mooly Sagiv html://www.math.tau.ac.il/~msagiv/courses/wcc03.html.

Overview of program analysis Mooly Sagiv html://www.math.tau.ac.il/~msagiv/courses/wcc03.html.

© 2018 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on non ferrous minerals management Ppt on introduction to object-oriented programming php Ppt on world health organization Ppt on historical places in pune Ppt on job rotation evaluation Ppt on power sharing for class 10 download Ppt on pf and esi in india Ppt on two point perspective buildings Ppt on machine translation evaluation Ppt on 2d and 3d figures 2nd