# Automatic-Test-Case-Generation-With-CMBC

**Repository Path**: f0a5/Automatic-Test-Case-Generation-With-CMBC

## Basic Information

- **Project Name**: Automatic-Test-Case-Generation-With-CMBC
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: MIT
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2026-04-21
- **Last Updated**: 2026-04-21

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Automatic Test Case Generation With CMBC
This project was made for the subject of Hardware and Software Validation Systems in University of Lleida (UDL).

Subject directed by Dr.Ramón Béjar Torres.

## Goal
Program for helping in the automation of the process of generating input test cases for the code coverage analysis of a set of functions. Tries to find test cases for all the assert( 0 ) points of the function funcnameinside ccode source code, and using k for the unwind parameter. Also, for each case, tries to find a set of input values for the parameters of the function with name funcname located inside source file ccode, and that the set of input values make the function to reach the “assert( 0 )” point of the function with cbmc identifier propname.

## Input
```
python automatic_test_generation.py <code to test> <function to test> <unwind parameter>
```

## Test
The program can be tested with the file min-function.c
```
python automatic_test_generation.py min-function.c minxyz 50
```

## Built With
[Python](https://www.python.org/) - Primary and unique Language.


## Authors
* **Jordi Ricard Onrubia Palacios** - *Programming* - [JordiROP](https://github.com/JordiROP)

## License
This project is licensed under the MIT License - see the [LICENSE.md](LICENSE.md) file for details.