• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International journal of agent-oriented software engineering >Automated Testing Sequences Generation From Auml Diagrams: A Formal Verification Of Agents' Interaction Protocols
【24h】

Automated Testing Sequences Generation From Auml Diagrams: A Formal Verification Of Agents' Interaction Protocols

机译：从Auml图自动生成测试序列：对代理交互协议的形式验证

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We present, in this paper, a new technique supporting an automatic generation of testing sequences from Agent UML (AUML) diagrams. The considered diagrams are related to agents' interaction protocols. They are formally described using the formal specification language Maude. Starting from the Maude specifications generated automatically from the AUML diagrams, we present a systematic and iterative approach for the construction of testing sequences (sequences of rules) for the verification of the interactions between agents in a Multiagent System (MAS). The approach is organised in two major steps: (1) the generation of Reduced Testing Sequences (RTSs) relative to the individual behaviour of each agent (unit testing of an agent), whose behaviour is described using AUML state charts and (2) the generation of Complete Testing Sequences (CTSs) relative to the collective behaviour of agents (social testing), whose collaborative behaviour is described by an AUML sequence diagram. Furthermore, the proposed approach considers several aspects related to the synchronisation between the agents (inter-agents and external).
机译：我们在本文中介绍了一种支持从Agent UML（AUML）图自动生成测试序列的新技术。所考虑的图与代理的交互协议有关。使用正式规范语言Maude对它们进行正式描述。从从AUML图表自动生成的Maude规范开始，我们提出了一种系统的迭代方法，用于构造测试序列（规则序列），以验证多主体系统（MAS）中的主体之间的相互作用。该方法分为两个主要步骤：（1）生成相对于每个代理的个体行为（代理的单元测试）的简化测试序列（RTS），其行为使用AUML状态图描述，以及（2）相对于代理的集体行为（社会测试）的完整测试序列（CTS）的生成，其协作行为由AUML序列图描述。此外，提出的方法考虑了与代理之间（代理之间和外部）之间的同步有关的几个方面。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号