随着互联网科技的突飞猛进,计算机软件已被应用到现实生活中的许多领域,软件的功能更加多样也更加复杂。在这种背景下,提出了基于模型的软件测试技术,该技术利用模型自动地生成全部或者部分测试用例,在充分测试软件功能的同时缩短测试时间,保证测试质量。而在测试实时系统的方面,由于加入了时间域的约束,使得系统选择形式化建模工具时需要考虑时间域的表示,同时当实时系统规模大时容易造成状态空间爆炸的问题。在这种背景下,提出了一种基于时间Petri网模型的实时软件在线测试方法。首先设计了能够处理模型中与时间约束相关的变化的基于状态类的可达图生成算法。然后利用生成的可达图来评估模型,进而完善,以便保证其在描述实际系统时的质量和可靠性。在验证了模型的可靠性之后,设计了结合时间Petri网模型的同步乘积算法,通过依据测试人员需要测试的系统功能来削减时间Petri网模型的可达图中无关的路径和状态,从而达到缩减需要遍历的状态空间的目的。在此基础上设计了结合实际响应的交互过程以及测试用例获取策略,通过被测系统实际响应的反馈,选择遍历操作的下一步,遍历结束即生成最终的测试用例。为验证该在线测试方法,设计了一个基于时间Petri网的在线测试系统,以拼车平台系统作为被测系统进行测试。通过实验结果分析表明,该在线测试方法能够有效缓解状态空间爆炸,并提高测试效率。