论文部分内容阅读
随着Agent技术的不断发展和多Agent系统应用的不断普及,对Agent系统的测试研究也不断成为热点。目前,国内外大多数学者和研究人员提出了各自的测试方法对Agent软件和多Agent系统进行测试,虽然这些测试方法与测试理论的提出有效的促进了Agent软件测试技术的发展和不断进步,但是,在BDI型Agent软件测试用例自动化生成领域,当前的研究工作尚存在些许的不足。为了提高BDI Agent的测试效率和测试结果,本文提出了一种基于AUML序列图模型的BDI Agent测试方法。在本文提出的算法中,测试方法以BDI推理模型为研究对象,通过目标规划树来确定单Agent处理复杂问题的行为逻辑。通过遍历算法确定单Agent的行为轨迹,在此基础上,基于AUML序列图模型分析多Agent系统间Agent交互关系。然后,对AUML模型中的序列图进行分析,做Agent间的交互测试。首先,将序列图中的消息进行提取,确定MAS中每个Agent所要处理的消息事件集合;然后,依据消息集合生成目标规划树,遍历目标规划树确定测试路径;最后依据测试路径生成测试用例。经实验验证,此方法可以基于AUML序列图生成完备的测试用例。