实训环境安装和实训流程

1. 安装JDK1.8版本，并配置环境变量
2. 把graphviz-2.3.4包解压到某一路径下
3. Eclipse和oomph
4. 拷贝两个工程文件夹到电脑某路径下（包括目录cobot-checker-sdk、cobot-checker-common）
5. 培训老师：使用cobot-matcher、cobot-sdk-license，产生license文件，需要学员提供mac地址，写入到cobot-matcher/target/maclist.txt中,导入工程后，执行产生license文件。
6. 在Eclipse导入项目cobot-checker-sdk
7. 修改属性参数，在src中找到cobot-preprocess.properties文件，修改printSlicePath=D:/slices/，后面路径是保存AST的路径，随意配置电脑上的某一个路径。graphvizPath=F:/graphviz-2.34/release/bin/，后面即是graphvizPath包解压缩后的路径。
8. 打开cn.net.cobot.cobot_sdkchecker.test.checker下的AbstractSDKCheckerTester.java文件，找到第162行方法getResult，添加下面一行，LicenseCommon.initLicense(new File("F:/cobot/SDK/cobot-sdk/license/02-00-4C-4F-4F-50.txt"));

其中参数txt文件是培训老师提供的license文件及其路径。

1. 如果某个检测器java文件执行中，提示project path no load提示信息，则检查类中的testFile属性，其路径名称与工程文件存放路径是否一致
2. 编译工程，选择某个检测器作为Junit运行，执行结果在Console中输出，如果无法出现执行结果，则选中java文件，选择【运行】右侧下拉菜单中的【Run  Configurations…】菜单，如下面图一：

图一

如果在Arguments中有类似字符，则清除后，单击按钮【Apply】后，单击【Run】执行。如下图二。

图二

——————————————————————————————————————————

（结束）