Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/agra-uni-bremen/jcovr

Visualization tool for Concolic Line Coverage

https://github.com/agra-uni-bremen/jcovr

Science Score: 13.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ○
    codemeta.json file
  • ○
    .zenodo.json file
  • ✓
    DOI references
    Found 2 DOI reference(s) in README
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (8.3%) to scientific vocabulary
Last synced: 9 months ago · JSON representation

Repository

Visualization tool for Concolic Line Coverage

Basic Info
  • Host: GitHub
  • Owner: agra-uni-bremen
  • License: mit
  • Language: Go
  • Default Branch: master
  • Homepage:
  • Size: 27.3 KB
Statistics
  • Stars: 0
  • Watchers: 8
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created about 4 years ago · Last pushed about 4 years ago

https://github.com/agra-uni-bremen/jcovr/blob/master/ 

# jcovr

Visualization tool for Concolic Line Coverage based on [gcovr HTML][gcovr github].

Refer to the publication [*Towards Quantification and Visualization of the Effects of Concretization during Concolic Testing*](https://doi.org/10.1109/LES.2022.3171603) for more details.

![jcovr example visualization](https://gist.githubusercontent.com/nmeum/242363176978aefa9b1f1eb088e36160/raw/5005db78564212411b38360a0ad730c024deffd3/riot-coap-parser.svg)

# Build

Clone this repository and run:

	$ go build -trimpath

This will create a statically linked `./jcovr` binary.

# Usage

The `jcovr` binary expects to receive an arbitrary number file paths to
`gcov` JSON files (see `--json-format` option in `gcov(1)`) as command-line
arguments. These files should be generated by [coverage-vp][coverage-vp github].
For each given json file an HTML page is generated, furthermore an
overview page is also generated by `jcovr`. These HTML pages visualize
Concolic Line Coverage (CLC) information generated by coverage-vp as
described in the IEEE Embedded System Letters (ESL) journal publication
*Towards Quantification and Visualization of the Effects of
Concretization during Concolic Testing*.

## Acknowledgements

This work was supported in part by the German Federal Ministry of
Education and Research (BMBF) within the project Scale4Edge under
contract no. 16ME0127 and within the project VerSys under contract
no. 01IW19001.

[gcovr github]: https://github.com/gcovr/gcovr
[coverage-vp github]: https://github.com/agra-uni-bremen/coverage-vp

Owner

  • Name: agra-uni-bremen
  • Login: agra-uni-bremen
  • Kind: organization

GitHub Events

Total
Last Year