CAJ | 학술논문

根据面向BDI Agent的软件特点，采用基于模型的软件测试方法。利用树形结构对BDI的运行过程进行分析，确定Agent个体的运行轨迹；对 AUML模型中的序列图进行分析，做Agent间的交互测试。将序列图（sequence diagram-SD）中的消息进行提取，确定M AS中每个Agent所要处理的消息事件集合，依据消息集合生成目标树，遍历目标规划树确定测试路径；依据测试路径生成测试用例。实验结果验证，该方法可以基于AUML序列图生成完备的测试用例。
근거면향BDI Agent적연건특점，채용기우모형적연건측시방법。이용수형결구대BDI적운행과정진행분석，학정Agent개체적운행궤적；대 AUML모형중적서렬도진행분석，주Agent간적교호측시。장서렬도（sequence diagram-SD）중적소식진행제취，학정M AS중매개Agent소요처리적소식사건집합，의거소식집합생성목표수，편력목표규화수학정측시로경；의거측시로경생성측시용례。실험결과험증，해방법가이기우AUML서렬도생성완비적측시용례。
According to the feature of oriented-agent software ,the methods based on models for testing software were adopted . Firstly ,the tree struct was used to analyze the operation of BDI to determine the trajectory of the individual Agent .Then ,the AUML model was analyzed to test the interaction among Agents .The algorithm was proposed to extract message from SD to de-termine the message event set need to be handled by each Agent in M AS and according to the message event set ,the goal tree was generated ;finally ,the algorithm was proposed to determine test scenarios based on test paths to generate test cases .Experi-mental validation results show that the proposed solution can generate completed test cases based on AUML SD .