随着信息技术的迅猛发展和网络化时代的到来，各种各样的Web应用系统高频率的出现在我们的日常生活、工作和学习中。对于多并发的Web应用系统，其状态图的规模是以并发数指数级增长，使得Web应用系统的验证和测试极为困难;此外，测试生成与测试执行的独立进行使测试成本代价高、耗时长。为了避免对整个状态图的遍历，及实现测试生成与测试执行的同步进行，本文采用了基于CPN的on-the-fly测试方法对Web应用系统执行测试。本文主要包括以下研究内容:　　第一，通过对on-the-fly算法的起源，核心思想及应用方面的研究和总结，给出了on-the-fly算法的定义。　　第二，深入了解和掌握on-the-fly测试算法的主要过程，并采用CPN层次建模和扩展可达图来实现对on-the-fly测试方法的描述，该部分包括以下几点:　　(1)定义on-the-fly测试算法中的规约和测试目的等模型，并给出了基于CPN的on-the-fly测试算法的主要过程。　　(2)为了确保算法实现的正确性和实用性，本文对同步乘积的算法进行测试和评估，并对结合IUT响应的深度优先遍历过程进行了理论设计。　　(3)研究UPPAAL TRON工具中on-the-fly测试算法的实现原理，为本文今后工作的改进提供了方向。　　第三，利用基于扩展可达图的on-the-fly算法测试火车售票系统，生成和执行测试例，并将测试结果与传统测试结果进行分析和比较。