文件名称：java笔试题算法-jdart:Java的动态符号分析工具
文件大小：4.88MB
文件格式：ZIP
更新时间：2024-06-22 20:17:51
系统开源
java笔试题算法Dart JDart 是一个用于对 Java 程序执行并发执行的工具。 它是作为 NASA Java Pathfinder (JPF) 的扩展编写的。 concolic 执行的目的是通过生成输入值来探索程序中的其他行为，这将导致通过程序（或方法）采用不同的路径。 要引用 JDart，请使用 TACAS 2016 接受的最新论文： Kasper Luckow、Marko Dimjasevic、Dimitra Giannakopoulou、Falk Howar、Malte Isberner、Temesghen Kahsai、Zvonimir Rakamaric、Vishwanath Raman、 JDart：动态符号分析框架，第 22 届系统构建和分析工具和算法国际会议 (TACAS)20 , [] []。 如果您想重复论文中报告的实验，请使用 . 安装 JDart 有两种不同的安装方式： 带有 Docker 或 Vagrant 的虚拟机 在本地机器上安装 使用 Docker 或 Vagrant，所有安装步骤都是自动执行的，创建了一个可以用来运行 JDart 的完整环境。