论文部分内容阅读
根据面向BDI Agent的软件特点，采用基于模型的软件测试方法。利用树形结构对BDI的运行过程进行分析，确定Agent个体的运行轨迹；对AUML模型中的序列图进行分析，做Agent间的交互测试。将序列图（sequence diagram-SD）中的消息进行提取，确定MAS中每个Agent所要处理的消息事件集合，依据消息集合生成目标树，遍历目标规划树确定测试路径；依据测试路径生成测试用例。实验结果验证，该方法可以基于AUML序列图生成完备的测试用例。