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 part...More