Combining the request of software testing, chapter six gives an example of using RAISE in CSTA system testing and analyzes the Formal Method technique.

• 第六章结合软件系统测试的需要，给出了一个用RAISE形式化CSTA的实例，并根据该实例剖析了系统测试中的形式化技术。