All Projects → UnitTestBot → UTBotCpp

UnitTestBot / UTBotCpp

Licence: Apache-2.0 license
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

Programming Languages

C++
36643 projects - #6 most used programming language
kotlin
9241 projects
c
50402 projects - #5 most used programming language
typescript
32286 projects
shell
77523 projects
CMake
9771 projects

Projects that are alternatives of or similar to UTBotCpp

Crosshair
An analysis tool for Python that blurs the line between testing and type systems.
Stars: ✭ 586 (+893.22%)
Mutual labels:  static-analysis, symbolic-execution
goreporter
A Golang tool that does static analysis, unit testing, code review and generate code quality report.
Stars: ✭ 3,019 (+5016.95%)
Mutual labels:  unit-testing, static-analysis
Apisan
APISan: Sanitizing API Usages through Semantic Cross-Checking
Stars: ✭ 46 (-22.03%)
Mutual labels:  static-analysis, symbolic-execution
crete-dev
CRETE under development
Stars: ✭ 56 (-5.08%)
Mutual labels:  symbolic-execution, test-generation
Deepstate
A unit test-like interface for fuzzing and symbolic execution
Stars: ✭ 603 (+922.03%)
Mutual labels:  unit-testing, symbolic-execution
crusher
No description or website provided.
Stars: ✭ 21 (-64.41%)
Mutual labels:  static-analysis, symbolic-execution
Sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Stars: ✭ 149 (+152.54%)
Mutual labels:  static-analysis, symbolic-execution
SixtyPical
A 6502-oriented low-level programming language supporting advanced static analysis
Stars: ✭ 25 (-57.63%)
Mutual labels:  static-analysis, symbolic-execution
Cmake Examples
Useful CMake Examples
Stars: ✭ 7,220 (+12137.29%)
Mutual labels:  unit-testing, static-analysis
Cleancppproject
Clean C++ project for you to use. Features: Modern CMake, CPack, Doxygen, PlantUML, Catch Unit testing, static analysis
Stars: ✭ 276 (+367.8%)
Mutual labels:  unit-testing, static-analysis
Bap
Binary Analysis Platform
Stars: ✭ 1,385 (+2247.46%)
Mutual labels:  static-analysis, symbolic-execution
Expose
A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
Stars: ✭ 94 (+59.32%)
Mutual labels:  unit-testing, symbolic-execution
Goreporter
A Golang tool that does static analysis, unit testing, code review and generate code quality report.
Stars: ✭ 2,943 (+4888.14%)
Mutual labels:  unit-testing, static-analysis
Cfn nag
Linting tool for CloudFormation templates
Stars: ✭ 808 (+1269.49%)
Mutual labels:  unit-testing, static-analysis
Php testability
Analyses and reports testability issues of a php codebase
Stars: ✭ 136 (+130.51%)
Mutual labels:  unit-testing, static-analysis
ttdo
Extend tinytest with diffobj
Stars: ✭ 21 (-64.41%)
Mutual labels:  unit-testing
bUnit
bUnit is a testing library for Blazor components that make tests look, feel, and runs like regular unit tests. bUnit makes it easy to render and control a component under test’s life-cycle, pass parameter and inject services into it, trigger event handlers, and verify the rendered markup from the component using a built-in semantic HTML comparer.
Stars: ✭ 857 (+1352.54%)
Mutual labels:  unit-testing
tryceratops
A linter to prevent exception handling antipatterns in Python (limited only for those who like dinosaurs).
Stars: ✭ 381 (+545.76%)
Mutual labels:  static-analysis
Alcotest
A lightweight and colourful test framework
Stars: ✭ 248 (+320.34%)
Mutual labels:  unit-testing
toster
DSL framework for testing Android apps
Stars: ✭ 31 (-47.46%)
Mutual labels:  unit-testing

What is UTBotCpp?

Build UTBot and run unit tests Publish UTBot as an archive

UTBot C/C++ generates test cases by code, trying to cover a maximum number of statements and execution paths. We treat source code as a source of truth, assuming that behavior is correct and corresponds to initial user demand. Generated tests are placed in the so-called regression suite. Thus, we fix current behavior with the help of generated test cases. Using UTBot for C/C++, developers obtain full control of their code. No future change can break the code without being noticed once it's covered with tests generated by UTBot. This way, modifications made by developers to an existing code are much safer. Hence, with the help of generated unit tests, UTBot provides dramatic code quality improvement.

Features demonstration in 5 min (click to see on YouTube):

UTBot C/C++ Demo

Try UTBot demo online here!

More info on wiki

How to install and use UTBot

For now, you can only use UTBot under Ubuntu 18.04 and above. Navigate to the Releases GitHub page and download last version of UTBot.

UTBot is distrbuted as an archive that contains:

  1. A pack utbot_distr.tar.gz that contains UTBot binary and its dependencies;
  2. UTBot plugin for Visual Studio code — utbot_plugin.vsix;
  3. A version version.txt;
  4. A run script unpack_and_run_utbot.sh.

To launch UTBot, unzip the archive and run the ./unpack_and_run_utbot.sh command (we recommend doing it in a fresh directory to make UTBot removing easier). To remove UTBot, simply delete this directory.

To install UTBot VSCode plugin, use VSCode Install from VSIX command.

How to contribute to UTBot

See Contributing guidelines and Developer guide

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].