BDI Agent Testability Revisited (JAAMAS Extended Abstract)
Michael Winikoff · Adaptive Agents and Multi-Agents Systems · 2017
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.