An approach to model based testing of multiagent systems.

ScientificWorldJournal

Center for Software Dependability, Mohammad Ali Jinnah University, Islamabad 44000, Pakistan.

Published: December 2015

Autonomous agents perform on behalf of the user to achieve defined goals or objectives. They are situated in dynamic environment and are able to operate autonomously to achieve their goals. In a multiagent system, agents cooperate with each other to achieve a common goal. Testing of multiagent systems is a challenging task due to the autonomous and proactive behavior of agents. However, testing is required to build confidence into the working of a multiagent system. Prometheus methodology is a commonly used approach to design multiagents systems. Systematic and thorough testing of each interaction is necessary. This paper proposes a novel approach to testing of multiagent systems based on Prometheus design artifacts. In the proposed approach, different interactions between the agent and actors are considered to test the multiagent system. These interactions include percepts and actions along with messages between the agents which can be modeled in a protocol diagram. The protocol diagram is converted into a protocol graph, on which different coverage criteria are applied to generate test paths that cover interactions between the agents. A prototype tool has been developed to generate test paths from protocol graph according to the specified coverage criterion.

Download full-text PDF

Source
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4385681PMC
http://dx.doi.org/10.1155/2015/925206DOI Listing

Publication Analysis

Top Keywords

testing multiagent
12
multiagent systems
12
multiagent system
12
protocol diagram
8
protocol graph
8
graph coverage
8
generate test
8
test paths
8
multiagent
6
testing
5

Similar Publications

Background: The electronic compensation (ECOMP) technique for breast radiation therapy provides excellent dose conformity and homogeneity. However, the manual fluence painting process presents a challenge for efficient clinical operation.

Purpose: To facilitate the clinical treatment planning automation of breast radiation therapy, we utilized reinforcement learning (RL) to develop an auto-planning tool that iteratively edits the fluence maps under the guidance of clinically relevant objectives.

View Article and Find Full Text PDF

Multi-agent systems often face challenges such as elevated communication demands, intricate interactions, and difficulties in transferability. To address the issues of complex information interaction and model scalability, we propose an innovative hierarchical graph attention actor-critic reinforcement learning method. This method naturally models the interactions within a multi-agent system as a graph, employing hierarchical graph attention to capture the complex cooperative and competitive relationships among agents, thereby enhancing their adaptability to dynamic environments.

View Article and Find Full Text PDF

The resolution of extensive-form zero-sum games is a fundamental challenge in computational game theory, addressed through various algorithms, each with unique strengths and limitations. This paper presents a comprehensive comparison of leading algorithms, using Poker-like games as benchmarks to assess their performance. For each algorithm, optimal parameters were identified, and evaluations were conducted based on exploitability, average utility, iterations per second, convergence speed, and scalability.

View Article and Find Full Text PDF

Background: In the realm of breast cancer diagnosis and treatment, accurately discerning molecular subtypes is of paramount importance, especially when aiming to avoid invasive tests. The updated guidelines for diagnosing and treating HER2 positive advanced breast cancer, as presented at the 2021 National Breast Cancer Conference and the Annual Meeting of the Chinese Society of Clinical Oncology, highlight the significance of this approach. A new generation of drug-antibody combinations has emerged, expanding the array of treatment options for HER2 positive advanced breast cancer and significantly improving patient survival rates.

View Article and Find Full Text PDF

Ewing's sarcoma of the head and neck: differential diagnosis, treatment and outcomes.

Curr Opin Otolaryngol Head Neck Surg

December 2024

Department of Radiodiagnosis, Tata Memorial Hospital, Mumbai, HBNI, Parel, Mumbai.

Purpose Of Review: Ewing's sarcoma is a small round-cell tumour typically arising in the bones, and only rarely affecting soft tissues. These are rarely seen in the head and neck comprising 1-9% of all cases, making management of these tumours a challenge. This review aims to review the current literature to update the current diagnostic and treatment options in head and neck Ewing's sarcoma.

View Article and Find Full Text PDF

Want AI Summaries of new PubMed Abstracts delivered to your In-box?

Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!