At the end of the paper, an electronic commerce website of J2ee is taken to be the AUT(application under test), verified the accuracy of the model and tool.

• 本文的最后以一个J2ee的电子商务网站为被测系统,验证了模型和工具的有效性。