The CSTM is then used to generate valid test paths.We also define various coverage criteria to generate test paths from the CSTM model.

• CSTM测试模型用来产生正确的测试路径，同时论文中定义了对于从CSTM测试模型中产生测试路径的覆盖准则。