Parasoft .TEST, Write better C# Code Using Data Flow Analysis

Parasoft .TEST Write better C# Code Using Data Flow Analysis www.parasoft.com

Data Flow Analysis is not Dynamic testing! So What is Dynamic testing ? ,[object Object],[object Object],[object Object]

Dynamic Testing – Disadvantages ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Data Flow Analysis is Not Regular Static Code Analysis that we usually use What is Static Code Analysis? ,[object Object],[object Object],[object Object],[object Object],[object Object]

Pattern matching example ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

So What is it Data Flow Analysis? Data-flow analysis is a technique for gathering information about the possible set of values calculated at various points in a computer program . A program's control flow graph (CFG) is used to determine those parts of a program to which a particular value assigned to a variable might propagate. The information gathered is often used by compilers when optimizing a program. A canonical example of a data-flow analysis is reaching definitions .

Why Do we need Data Flow Analysis when Analyzing C# Code? ,[object Object],[object Object],[object Object],[object Object],[object Object]

C++test - Static analysis Bug Detective Array out of boundaries detection using Reaching Definition d1 i = 0 d2 j = n d3 k = a[i] B1 B2 B3 B4 d4 i = i + 1 d5 j = j - 1 d6 i = 0 d7 k = a[i] DEDef = 4,5 DEFKill = 1,2,7 DEDef = 1,2,3 DEFKill = 4,5,6,7 DEDef = 7 DEFKill = 3 DEDef = 6 DEFKill = 1,4 int a[10] From Course 236800 Technion - Parasoft® C++test by Alon Bialik

Data Flow Analysis Vs Pattern matching ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Data Flow Analysis Vs Pattern matching ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Real life … ,[object Object],[object Object],[object Object],[object Object]

Real life … ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Real life … ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

.TEST – Multi-pronged approach ,[object Object],[object Object],[object Object],[object Object],[object Object]

What is .TEST? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

What is .TEST? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

What is .TEST? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

What is .TEST? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

What is .TEST? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Team-based Workflow Scheduled Test Server Developer Machines Architect / Technical lead CVS / VSS / ClearCase code & tests Concerto Team Server Global Reporting System Visual Studio .TEST CLI (Batch Mode) Visual Studio Team Practices Test Results Test Results

Now we moving to live demonstration

Developer Workflow ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Summery: ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

How to get an Evaluation Copy? ,[object Object],[object Object],[object Object],[object Object]

Parasoft .TEST, Write better C# Code Using Data Flow Analysis

Recommended

Recommended

More Related Content

What's hot

What's hot (20)

Viewers also liked

Viewers also liked (15)

Similar to Parasoft .TEST, Write better C# Code Using Data Flow Analysis

Similar to Parasoft .TEST, Write better C# Code Using Data Flow Analysis (20)

Recently uploaded

Recently uploaded (20)

Parasoft .TEST, Write better C# Code Using Data Flow Analysis