Automating Failure Detection in Cognitive Agent Programs

Conference paper (2016)

Authors

V.J. Koeman Interactive Intelligence -

K.V. Hindriks Interactive Intelligence -

C.M. Jonker Interactive Intelligence -

Research Group

Interactive Intelligence () (TU Delft)

Multi-agent systems Testing Verification

To reference this document use:

http://resolver.tudelft.nl/uuid:25b724e4-5185-497d-a865-49cc7eea5c8c

More Info

expand_more

Published Date

2016

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Electrical Engineering, Mathematics and Computer Science

Department

Intelligent Systems

Research Group

Interactive Intelligence

Abstract

Debugging is notoriously dicult and extremely time consuming but also essential for ensuring the reliability and quality of a software system. In order to reduce debugging effort and enable automated failure detection, we propose an
automated testing framework for detecting failures in cognitive agent programs. Our approach is based on the assumption that modules within such programs are a natural unit for testing. We identify a minimal set of temporal operators that enable the specication of test conditions and show that
the test language is suciently expressive for detecting all failures in an existing failure taxonomy. We also introduce an approach for specifying test templates that supports a programmer in writing tests. Furthermore, empirical analysis
of agent programs allows us to evaluate whether our approach using test templates detects all failures.