主要用于对软件进行业务流程建模，根据模型自动生成满足路径覆盖要求的测试用例与自动化的测试脚本框架，实现对嵌入式软件、Web应用、移动APP、桌面软件等多种类型软件的自动化测试，解决测试用例设计充分性难保证、测试脚本编写难度大、测试复用效果查等软件测试难题，提高软件测试的科学性与有效性