# 基于约束求解的软件测试用例自动生成

**Repository Path**: khyfighting/testCaseProject

## Basic Information

- **Project Name**: 基于约束求解的软件测试用例自动生成
- **Description**: 基于约束求解的软件测试用例自动生成-IntelliBlue
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2024-09-09
- **Last Updated**: 2024-10-13

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# 基于约束求解的软件测试用例自动生成

#### 安装教程

1.根据提示安装相关依赖，注意：tree_sitter不要安装最新版本，推荐0.21.3
2.树生成图利用graphviz，先在官网下载graphviz，再配置系统环境，最后在项目环境中pip install graphviz

#### 使用说明
1、生成测试用例
2、if树生成
3、下载用例
4、切换语言（待开发）