随着计算机网络技术的快速发展和深入应用,网络已经成为越来越多的复杂系统不可分割的重要组成部分。网络环境的开放性和不确定性可能导致系统的行为超出预期,极端情况下,在安全攸关领域或将导致不可挽回的损失。因此检测网络环境下复杂系统的不确定行为对于提高系统正确性和可靠性具有重要意义。本文采用基于模型的测试途径和基于搜索的软件工程方法,针对网络环境下复杂系统的不确定行为检测展开研究工作。通过将网络环境参数和系统输入组合构成测试输入空间形成网络扰动,以检测系统的不确定行为。主要工作包括以下几个方面:1)基于UML状态机模型对待测系统和网络环境进行抽象,建立网络扰动测试模型,屏蔽与测试无关的信息;2)基于所给出的网络扰动测试模型建立测试用例生成准则,指导合理、有效地进行大规模状态空间搜索;3)针对给出的测试用例生成准则,建立启发式搜索算法生成测试用例;4)进行实例研究展示以上工作的可行性和有效性。