
Java源码生成CFG-Automated-CFG-Generation: 一个原型项目,用于从Java源代码生成控制流图
5星
- 浏览量: 0
- 大小:None
- 文件类型:None
简介:
Java源码生成CFG-Automated-CFG-Generation是一个创新的原型项目,旨在自动将Java源代码转换为精确的控制流图(CFG),助力开发者深入理解程序结构。
Java原始生成自动化控制流图(CFG)原型项目可以从Java源代码生成CFG。安装要求包括Python3环境,并通过pip install -r requirements.txt来安装相关依赖项。使用parse.py文件查看选项及详细信息时,可运行python3 parse.py help命令。
测试设置需要先安装Java 7和MuJava工具,并将mujava目录设为MuJava_HOME环境变量。
生成测试需求的要求包括:确保测试对象以及编译后的类文件存在于Automated-CFG-Generation/mujava/src/路径中。接下来,运行Makefile来编译测试需求生成器,然后使用pre-generate-trs.sh脚本进行处理(例如通过make和./pre-generate-trs.sh命令)。在generate-trs.sh脚本内定义的java_files变量将会为每个Java文件生成测试需求,并且根据coverage_types变量生成各个覆盖率标准下的测试要求。运行此脚本将对每个Java文件执行以下操作:生成代表自动化控制流图(Automated-CFG-G)的相关内容。
全部评论 (0)
还没有任何评论哟~


