What test case generator faced up is SOOL text sourse program (It is TOKEN sequence generated by accidence analysis program FLEX analysing, which structure is the same with sourse program.).

• 我们的分析对象是一种小型的面向对象程序设计语言SOOL，它是从C++简化和修改得来。