Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Test Driven Development: By Example
Test Driven Development: By Example
An exploration of bugs and debugging in multi-agent systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Modelling strategic relationships for process reengineering
Modelling strategic relationships for process reengineering
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Specifying and analyzing early requirements in Tropos
Requirements Engineering
SEAGENT: a platform for developing semantic web based multi agent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Unit testing in multi-agent systems using mock agents and aspects
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems
Goal Types in Agent Programming
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
SUnit: a unit testing framework for test driven development of multi-agent systems
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
eCAT: a tool for automating test cases generation and execution in testing multi-agent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
Goal-Oriented Agent Testing Revisited
Agent-Oriented Software Engineering IX
Testing and Debugging of MAS Interactions with INGENIAS
Agent-Oriented Software Engineering IX
Using three AOSE toolkits to develop a sample design
International Journal of Agent-Oriented Software Engineering
Testing in Agent Oriented Methodologies
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Goal-oriented testing for MASs
International Journal of Agent-Oriented Software Engineering
Tool-supported development with Tropos: the conference management system case study
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems
International Journal of Agent-Oriented Software Engineering
Model-based testing approach for mobile agents using the paradigm of reference net
Multiagent and Grid Systems
An i*-based approach for modeling and testing web requirements
Journal of Web Engineering
Using rewrite strategies for testing BUpL agents
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Towards run-time testing of dynamic adaptive systems
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
| Hi-index | 0.00 |
Agent-Oriented Software Engineering (AOSE) methodologiesare proposed to develop complex distributed systems based uponthe agent paradigm. The natural implementation for such systems hasusually the form of Multi-Agent Systems (MAS). As these systems areincreasingly applied in mission-critical services, assurances need to begiven to their owners and users that they operate properly. Althoughthe relevance of the link between requirements engineering and testinghas long been recognized, current Agent-Oriented Software Engineeringmethodologies partially address it. Some of them offer specification-based formal verification, allowing software developers to correct errors at thebeginning of the development process, others exploits Object-Oriented (OO) testing techniques, upon a mapping of agent-oriented abstractionsinto OO constructs. However, a structured testing process for AOSEmethodologies that complements formal verification is still missing. In this paper we introduce a testing framework for the AOSE methodologyTropos. It specifies a testing process model that complements theagent-oriented requirements and design models and strengthens the mutualrelationship between goal analysis and testing. Furthermore, it providesa systematic way of deriving test cases from goal analysis. We callthis approach goal-oriented testing.