/**
* 暂只支持了CTL
*
* @return 所有验证性质的结果
*/
@Override
public List<Property> getProperties() {
if (null == properties) {
properties = PropertyParser.parser(pPath);
}
return properties;
}
/** 获取详细的测试用例 */
@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);
}
