基于程序不变量的测试用例生成技术研究

项目说明

项目在 Debian 系统上通过 setup.sh 脚本完成部署，终端输出显示依次配置 pip 国内源、安装 Flask 与 Java 相关组件（jpf-core、jpf-symbc、Java CFG 工具），并注册 systemd 服务、开放 5000 端口，最终提示所有核心组件正常、Web 页面可访问，访问地址为 http://192.168.36.139:5000。项目目录下可见 app.py、backend、frontend、java_tools、setup.log、setup.sh、test_sample、uploads 等文件与文件夹。