0

A Petri net based agent behavioral testing

Jan 01, 2012

DOI: 10.3844/ajassp.2012.1876.1883

Published in: American Journal of Applied Sciences

Publisher: Science Publication

/ zina houhamdi / Belkacem Athamena

In Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design models. If a design model contains faults, they are passed to the generated implementations. Practical model validation techniques are required to discover and delete faults in abstract design models. We introduce a formal approach for agent design testing. It specifies a testing process that complements Multi-agent Systems Engineering (MaSE) methodology and strengthens the mutual relationship between UML and MAS. Besides, it defines a structured and comprehensive testing process for engineering software agents at the design level by providing a systematic way of converting the MAS design models to UML design diagram. Petri Net (PN) diagram is generated from the UML models to simulate the behavior of an agent. Because Petri Nets (PNs) are formal models, their analysis techniques can be applied to automatic agent behavioral testing.

Other Researches

Prediction Process in Multi-Agent System Online Monitoring: Centralized and Distributed Approaches

This paper discusses the prediction process, which is the main step of the online monitoring process for a multi-agent plan. The monitoring process uses a relational model to estimate the internal status of the system, which is dynamic (changes over...

A Multi-Agent System for Course Timetable Generation

In the university, course scheduling and preparation for each semester can be defined as the process of determining what courses to offer, the number of sections needed for each course, assigning of a faculty member to teach each section, and alloca...

Impacts of information quality on decision-making

Prior investigations have pointed out that an understanding of the impacts of information quality is essential to the organisation's success. Nevertheless, few investigations have analysed the impacts of information quality in a business context. Th...

Model for Decision-Making Process with Big Data

Currently, Big Data is an important concept due to the pervasive use of electronic devices, computerization, and information sharing worldwide. Despite the focus on Big Data, studies lack an explicit definition of the Big Data concept. Big Data is ...

Data freshness evaluation in data integration systems

The availability of data in different datasources increases highly the demand on accessing this data in a uniform and generalised way, especially in decision making applications which require an exhaustive investigation and examination of the data. ...

Information quality framework

This paper discusses a general, meaningful and repeated problem in information systems practice: under investment in the client information quality. Many organizations need precise financial models so as to initiate investments in their informatio...

Ontology-based Knowledge Management

It is recognized that knowledge has a considerable usefulness in people's daily life and all businesses. The current paper discusses a knowledge description using ontology and its application in Multi Agent Systems (MAS). The presented work propos...

Structured system test suite generation process for multi-agent system

In recent years, Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The implementation for such systems has usually the form of Multi-Agent Systems (MAS). MAS’t...

A Petri Net Based Multi-Agent System Behavioral Testing

In Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design mod...

Structured Acceptance Test Suite Generation Process for Multi-Agent System

In recent years, Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The implementation for such systems has usually the form of Multi-Agent Systems (MAS). Testi...

Test Suite Generation Process for Agent Testing

Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent systems are increasingly demanded, in particular to support automated test case ge...

Structured Integration Test Suite Generation Process for Multi-Agent System

In recent years, Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The implementation for such systems has usually the form of Multi-Agent Systems (MAS). Testi...

Multi-agent system testing: A survey

In recent years, agent-based systems have received considerable attention in both academics and industry. The agent-oriented paradigm can be considered a natural extension to the object-oriented (OO) paradigm. Agents differ from objects in many issu...

A reuse description formalism

Software reuse has been claimed to be one of the most promising approaches to enhance programmer productivity and software quality. One of the problems to be addressed to achieve high software reuse is organizing databases of software experience, in...