基于AUML的BDI Agent软件测试用例生成算法.pdfVIP

2014年 8月 计算机工程与设计 Aug．2014 第35卷 第 8期 COMPUTER ENGINEERINGAND DESIGN VoI．35 No．8 基于AUML的BDIAgent软件测试用例生成算法 宫大鹏 ，王黎明，夏 静 (郑州大学信息工程学院，河南郑州450001) 摘 要：根据面向BDIAgent的软件特点，采用基于模型的软件测试方法。利用树形结构对BDI的运行过程进行分析，确 定Agent个体的运行轨迹；对 AUML模型中的序列图进行分析，做 Agent间的交互测试。将序列图 (sequencediagram-一 sD)中的消息进行提取，确定MAS中每个Agent所要处理的消息事件集合，依据消息集合生成 目标树，遍历 目标规划树 确定测试路径；依据测试路径生成测试用例。实验结果验证，该方法可以基于AUML序列图生成完备的测试用例。 关键词 ：智能体 ；序列 图；信念一目的一意 图；智能体 UML；测试用例 中图法分类号：TP311．53 文献标识号：A 文章编号：1000—7024(2014)08—2757—07 BDIAgentsoftwaretestcasegenerationalgorithm basedonAUML GONGDa-peng，WANG Li—ming，XIA Jing (SchoolofInformationEngineering，ZhengzhouUniversity，Zhengzhou450001，China) Abstract：Accordingtothefeatureoforiented-agentsoftware，themethodsbasedonmodelsfortestingsoftwarewereadopted． Firstly，thetreestructwasusedtoanalyzetheoperationofBDItOdeterminethetr~ectoryoftheindividualAgent．Then，the AUMLmodelwasanalyzedtOtesttheinteractionamongAgents．Thealgorithm wasproposedtOextractmessagefrom SD tode— terminethemessageeventsetneedtobehandledbyeachAgentinMASandaccordingtOthemessageeventset．thegoaltree wasgenerated~finally，thealgorithm wasproposedtodeterminetestscenariosbasedontestpathstogeneratetestcases．Experi— mentalvalidationresultsshow thattheproposedsolutioncangeneratecompletedtestcasesbasedonAUML Sn Keywords：agent；sequencediagram ；BDI；AUML；testcase 事件和信念集封装而成并具有感知能力的计算实体。主要 0 引 言 对规划进行测试，针对规划依赖 、规划循环进行研究，生 目前，有关Agent软件测试的研究工作主要有_l1]：① 成测试用例序列，但并未考虑测试用例的自动生成。②针 基于模型的测试 (modelbasedtesting-MBT)。文献 [2]在 对 MAS系统中各个 Agent问交互进行 的研究。文献 [6] 文献 [3]的基础上扩展了3种面向对象的测试方法对 A— 利用 Petri网对Agent的建模语言AUML的语义进行 了形 gent软件进行了随机测试、行为测试、等价类测试的研究， 式化地分析 ，对软件设计人员分析软件有所益处 ，但并不 但是 ，由于没有考虑Agent与 object的区别，所以测试用