/** @return 所有反例迹的结果 */
 @Override
 public List<Trace> getTraces() {
   if (null == traces) {
     traces = TracesParser.parser(tPath);
   }
   return traces;
 }
 /** 获取详细的测试用例 */
 @Override
 public List<TestCase> getTestCases() {
   if (null == properties) {
     properties = PropertyParser.parser(pPath);
   }
   if (null == traces) {
     traces = TracesParser.parser(tPath);
   }
   return TestCaseFactory.createTestCase(properties, traces, usc);
 }