Automated Test Case Generation for BDI Agents

Authors:
Chi Keen Low;T. Y. Chen;Ralph Rónnquist
Affiliations:
Department of Computer Science, The University of Melbourne, Melbourne, Victoria 3052, Australia clow@cs.mu.oz.au;Department of Computer Science, The University of Melbourne, Melbourne, Victoria 3052, Australia tyc@cs.mu.oz.au;Agent Oriented Software Pty. Ltd., 221 Bouverie Street, Carlton, Victoria 3053, Australia ralph@agent-software.com.au
Venue:
Autonomous Agents and Multi-Agent Systems
Year:
1999

Citing 17
Cited 5

A Cost Model for Determining the Optimal Number of Software Test Cases

IEEE Transactions on Software Engineering
Automated Software Test Data Generation

IEEE Transactions on Software Engineering
Path testing of computer programs with loops using a tool for simple loop patterns

Software—Practice & Experience
Agent-oriented programming

Artificial Intelligence
Software agents

Communications of the ACM
Enabling agents to work together

Communications of the ACM
The chaining approach for software test data generation

ACM Transactions on Software Engineering and Methodology (TOSEM)
Belief-desire-intention agent architectures

Foundations of distributed artificial intelligence
Dividing strategies for the optimization of a test suite

Information Processing Letters
An analytical comparison of the fault-detecting ability of data flow testing techniques

ICSE '93 Proceedings of the 15th international conference on Software Engineering
An enhanced zero-one optimal path set selection method

Journal of Systems and Software
ADTEST: A Test Data Generation Suite for Ada Software Systems

IEEE Transactions on Software Engineering
Art of Software Testing

Art of Software Testing
Distributed Intelligent Agents

IEEE Expert: Intelligent Systems and Their Applications
A Formal Analysis of the Fault-Detecting Ability of Testing Methods

IEEE Transactions on Software Engineering
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing

IEEE Transactions on Software Engineering
On acting together

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

A Manifesto for Agent Technology: Towards Next Generation Computing

Autonomous Agents and Multi-Agent Systems
Automated unit testing intelligent agents in PDT

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
Validation of BDI agents

ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Model-based testing approach for mobile agents using the paradigm of reference net

Multiagent and Grid Systems
Test coverage criteria for agent interaction testing

AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a coverage oriented test case generation methodology for BDI multi-agent systems. The coverage criteria involve plans and nodes within plans of multi-agent systems. We organise the criteria into a subsumption hierarchy to show the coverage relationships between the criteria. Then we apply the criteria on multi-agent systems to analyse some empirical data. The data analysed is the effect on the number of test cases generated automatically for each criterion. We use a tool, BDITESTER, to obtain the empirical data and to show that our proposal is pragmatic. Finally, we suggest some guidelines to select a criterion to automatically generate test cases for BDI agents.