#2920 assigned project

Improve Coverage Analysis Toolset

Reported by: Gedare Owned by: Joel Sherrill
Priority: normal Milestone: Indefinite
Component: unspecified Version: 4.11
Severity: normal Keywords: SoC, testing
Cc: cpodonnell8@… Blocked By:
Blocking:

Description (last modified by Joel Sherrill)

Improve Coverage Analysis

Contents

  1. Improve Coverage Analysis
    1. Mentors
    2. Students
  2. Introduction
  3. Objective
  4. Requirements

Mentors

Joel Sherrill

Students

T.B.D.

Introduction

IThe in-house rtems coverage analysis tool 'covoar' works with RTEMS
Tester framework to generate coverage reports on a user defined set of
symbol libraries. This all resides in rtems-tools. It is close to
being merged but there are still a few blockers and there is also a
few extra improvements that would be nice to implement afterwards.

Using this toolset to analyze the code coverage of RTEMS and improving that measurement is an ongoing effort with a series of incremental efforts to either add test cases or rework source code to improve coverage. Individual tickets may be filed for specific areas that need coverage improvement.

Objective

This project is to improve the tools used to perform the analysis and generate reports. These tools are part of the rtems-tester repository.

  • Remove the use of external tools that are not portable across

platforms (Linux, BSD, Windows):

  • nm is used to generate a list of symbols in a file that is

referenced as the symbols of interest for that set. nm is not portable
and so must be removed. The fix for this is use rtemstoolkit and
generate the list of symbols from the ELF files.

  • There is also a use of addr2line piped to dos2unix to find the

source lines which match the objdump instruction lines. Again we want
to limit the use of external tools that are not portable across
platforms.

Improve clean-up procedures:

  • The trace files that are generated by QEMU as each test is run in

RTEMS Tester need to stay for later use by covoar which runs after the
testsuite is finished. They are currently cleared up by a try finally
statement in python, which works for Ctrl+C exit but probably not
SIGTERM. This cannot be handled the same way as the other tempfiles as
they are not generated by covoar. These files have a .cov ending and
are currently generated beside the executable they match in the build
tree.

  • covoar needs to detect target architecture internally (e.g

sparc-rtems4.12), this can be done with get_exec_prefix() from
rld-cc.h in rtemstoolkit.

Further Improvements:

  • Convert the symbol_sets.cfg file to the INI format. The

symbol_sets.cfg file is currently in a non standard format, created
just for it. This file contains the sets of libraries of symbols and
groups them together to be treated as a set to see what percentage of
them the testsuite covers.

  • Generate XML reports. Currently the tools generate html and text reports.
  • Generate Gcov reports. There is Gcov support in covoar that is close

to working but the gcov output generated is not trusted. The fix for
this would involve vaildating the Gcov output to make sure it is in a
format that the Gcov program accepts.

  • Combine how-to documentation below with existing covoar docs to make

a ReST format doc thats integrated with the main RTEMS Tester docs.

  • Ensure the gcov output is correct and use that as the basis for generating reports using tools like gcov and lcov.
  • Find a way to do MCDC analysis. This is a longer term objective which may require improvements to gcc.

Requirements

  • Covoar and rtemstoolkit (C++)
  • RTEMS Tester framework (Python)
  • Understand INI format for config files.
  • Reports (HTML and text currently, add XML)

Change History (2)

comment:1 Changed on May 6, 2017 at 8:26:56 AM by Cillian O'Donnell

Cc: cpodonnell8@… added

comment:2 Changed on Aug 30, 2017 at 2:13:40 PM by Joel Sherrill

Description: modified (diff)
Summary: Improve Coverage AnalysisImprove Coverage Analysis Toolset
Note: See TracTickets for help on using tickets.