期刊文献+

基于AUML的BDI Agent软件测试用例生成算法 被引量:1

BDI Agent software test case generation algorithm based on AUML
下载PDF
导出
摘要 根据面向BDI Agent的软件特点,采用基于模型的软件测试方法。利用树形结构对BDI的运行过程进行分析,确定Agent个体的运行轨迹;对AUML模型中的序列图进行分析,做Agent间的交互测试。将序列图(sequence diagramSD)中的消息进行提取,确定MAS中每个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 determine the message event set need to be handled by each Agent in MAS 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. Experimental validation results show that the proposed solution can generate completed test cases based on AUML SD.
出处 《计算机工程与设计》 CSCD 北大核心 2014年第8期2757-2763,共7页 Computer Engineering and Design
关键词 智能体 序列图 信念-目的-意图 智能体UML 测试用例 agent sequence diagram BDI AUML test case
  • 相关文献

参考文献12

  • 1毛新军,胡翠云,孙跃坤,王怀民.面向Agent程序设计的研究[J].软件学报,2012,23(11):2885-2904. 被引量:24
  • 2Srivastava P R, K A V. Extension of ohject-oriented software testing techniques to Agent oriented software testing [J]. Journal of Object Technology, 2008, 7 (8): 155 -163.
  • 3Bauer, Bernhard Odell, James. UML2.0 and Agents: How to build Agent-based systems with the new UML standard [J]. Engineering Applications of Artificial Intelligence, 2005, 18 (2): 141-157.
  • 4Zheng M, Alagar V S. Conformance testing of BDI properties in Agent based software systems [C] //12th Asia-Pacific Soft- ware Engineering Conference. IEEE, 2005: 130-138.
  • 5Zhang Z. Automated unit testing for Agent systems [D]. Melbourne: Melbourne University, 2011.
  • 6Lawrence Cabac, Daniel Moldt. Formal semantics for AUML Agent interaction protocol diagrams [M]. Berlin: Springer, 2005: 47-61.
  • 7Tim Miller, Lin Padgham, John Thangarajah. Test coverage criteria for Agent interaction testing [M]. Berlin: Springer , 2011: 91-105.
  • 8薛宵.面向Agent的软件设计开发方法[M].北京:机械工业出版社,2009:200-215.
  • 9Thangarajah J, Harland J. Suspending and resuming tasks in BDI Agents [C] //IFAAMAS, 2008: 405-412.
  • 10Hong-han Z, Rui-zhong M. A modeling methodology for MAS based on AUML [C] //IEEE, 2011:185 -188.

二级参考文献2

共引文献23

同被引文献2

引证文献1

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部