Abstract-SOFL formal specifications have been proved to be useful and expressive enough in describing functional requirements for software development. Based on SOFL formal specifications, many techniques have been proposed to provide us with effective solutions for software verification and validation.To support these techniques, a tool support for analysis of specifications is necessary. However, such a tool is still not available. In this paper, we present our work on a supporting tool. The tool supplies two fundamental functions: syntactic analysis of SOFL formal specifications and automatic generation of functional scenarios. By syntactic analysis, we can get syntactic information of SOFL specifications. The tool can create an xml file for storing and reusing the syntax information. Functional scenarios are well-structured predicate expressions, which could be derived from formal specifications. Many formal specificationbased techniques require the generation of functional scenarios. Our tool also supports automatic generation of functional scenarios on the basis of the syntactic information.