BDI Agent Testability Revisited (JAAMAS Extended Abstract)

This paper extends our understanding of BDI agent program testability. It considers this with respect to the all edges test adequacy criterion, comparing with previous work that considered the all paths criterion. Our findings extend the earlier analysis to give a more nuanced understanding of the difficulty of testing BDI agents. In particular, we include analysis comparing BDI programs with procedural programs that allow for an exception handling construct.

Authors

• Michael Winikoff Victoria University of Wellington

Keywords

• Verification and validation
• agent-based systems