文件名称：java6.0源码-jcute:JavaConcolic单元测试引擎
文件大小：6.45MB
文件格式：ZIP
更新时间：2024-06-24 09:46:54
系统开源
java6.0源码小可爱 Java 引擎 (jCUTE) 自动为 Java 程序生成单元测试。 Concolic 执行将随机具体执行与 和 结合起来。 符号执行允许 jCUTE 辨别导致不同执行路径的输入； 随机化的具体执行有助于克服约束求解器的局限性，例如无法分析系统调用或 . 通过这种组合，jCUTE 能够生成在真实Java 程序中执行许多不同执行路径的测试用例。 jCUTE 支持多线程程序。 它可以通过系统的调度探索发现竞争条件和死锁。 跑步 jCUTE 需要安装并运行的 Java 开发工具包 (JDK) 1.4 或更高版本。 它期望java和javac都在PATH 。 要在 32 位系统上运行 jCUTE，只需从 . 要在 64 位系统上运行 jCUTE，您必须从该存储库中的源代码构建分发存档； 请参阅下面的说明。 在 Linux 上，运行setup脚本。 然后执行jcutegui脚本。 在 Windows 上，运行jcutegui.bat批处理文件。 src/目录包含许多示例。 请参阅脚本runtests以了解如何运行这些示例。 用法 jcutec是用于测试的分布式 Java