根据介词结构的每一种分类，都给出了具体详细的处理流程，并编写了语义分析程序，实现了领域内介词结构的语义分析。
According to each sort of preposition structure, we give detailed resolve means and write semantic analysis program, realize the semantic analysis in domain.
静态分析的精确度取决于对程序抽象语义的表达。
Accuracy of static analysis depends on the representation of program's abstract semantics.
通过对国内外研究工作的分析，提出了面向语义的解释型测试程序集描述方法。
Based on the analysis of research work all over the world, an interpretative TPS based on semantic-oriented method was proposed.
应用推荐