# 基于约束求解的测试用例生成系统

**Repository Path**: xi-chen123/AutoGeneTest

## Basic Information

- **Project Name**: 基于约束求解的测试用例生成系统
- **Description**: AutoGeneTest
- **Primary Language**: Unknown
- **License**: AGPL-3.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2023-09-08
- **Last Updated**: 2025-12-13

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# 基于约束求解的测试用例自动生成系统
## 项目配置
- 将项目克隆至本地仓库后，下载依赖，命令：`pip install -r requirements.txt`
- 修改数据库配置信息为自己的数据库配置，`/config.py`
  - 注释掉`/app.py`中的测试代码，运行程序，观察输出判断数据库是否连接成功
- 在根目录命令行中执行迁移三部曲：
  ```
  flask db init
  flask db migrate
  flask db upgrade
  ```
  执行成功后观察本地数据库是否出现目标表
- 填充表内数据，运行`/static/res/sql`目录下的sql脚本，观察本地数据库中表内是否成功填充数据
- 运行程序，在地址栏输入`http://127.0.0.1:5000/demo` ,检测项目是否配置成功

## 开发任务
- 系统开发
  - 前端页面（董泽）
    -[ ] 项目简介页
    -[ ] 主页
  - 后端计算
    -[ ] 编程语言识别（刘心语）
      - GuessLang
      - 输入程序源码：String
      - 输出语言类型：String
    -[ ] Antlr语法解析（刘粟扬）
      - Antlr
      - ![antlr](./static/res/README/antlr.png)
    -[ ] 提取约束生成执行树（徐国琛）
      - 未知
      - ![exeTree](./static/res/README/exeTree.png)
    -[ ] z3约束求解（张乐晨）
      - z3求解器
      - 输入约束表达式路径
      - 输出测试路径
    -[ ] 导出到excel表格中（刘心语、董泽）
      - 将数据库内部的信息导出至excel

## 开发后置
- 在开发结束后，更新依赖，命令`pip freeze > requirements.txt`
- 提交至远程仓库前先把别人更新的内容pull下来，修改冲突后在进行push操作