Coverage Validator Overview
Автор: softwareverify
Загружено: 2026-01-15
Просмотров: 3
How to get Code Coverage for C/C++/C#/Delphi/Fortran/Rust/VisualBasic on Windows.
0:00 Hello, I'm going to show you how to do interactive code coverage profiling with coverage validator. First of all we need to launch the application by clicking on rocket icon. Choose launch native
0:12 and dotnet applications.
0:15 Click browse to bring up the file browser and choose the application you want to instrument. Click launch to launch it. Instrumentation progress shown in the top left of the window and pretty soon
0:28 your application is running. You can see on the summary tab there's various gauges that show you the coverage of the particular statistic you're looking at. If you click on a given dial it actually
0:40 takes you to the appropriate statistic. So here we are on the coverage tab and if we choose the test vw file the source code is shown on the right hand side I'm going to scroll down to theSet Color
0:54 function.
0:58 which is this one here, you can see the top of it is an f-state set of instastatements and the bottom half is some switch treatments. Using the example application, the color menu, you can choose
1:12 some colors and you'll notice that the code coverage actually updates in real time
1:29 I'll close the test application then,
1:34 that's the application complete, go to the branch coverage, click refresh, expand or go to set color, you can see it's showing you where the branches are,
1:45 showing you 52 complete, that's because most of the ifs are done in the top half but none of the case statements in the switch statement are handled at all Go to the functions tab, again you can see
1:58 all the different functions,
2:01 open the test view, it's right, open the test view, pick set color,
2:08 same for directories, expand them all,
2:13 choose the file that's of interest
2:17 and so I'm same for DLLs,
2:24 Files online shows you all the
2:28 breakdown of each line in a given file. Interactive code coverage profiling using coverage validator. Thank you very much.
#codecoverage #windows #c #c++ #c# #delphi #fortran #rust #visualbasic
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: