Thursday, 6 April 2017
New Publication by Profs Michael Winikoff & Stephen Cranefield
Publication Title: How Testable Are BDI Agents? An Analysis of Branch Coverage
It is important that software function correctly, especially if the consequences of a malfunction are significant. This paper considers a particular type of software: autonomous software systems that are conceptualised and built using human-inspired metaphors, specifically goals and plans. The question this paper considers is whether it is feasible to assess the correctness of such software testing. A mathematical analysis of characteristics of goal-plan-based software is used to answer this question, strengthening the conclusions of earlier work by Winikoff and Cranefield that software testing in this situation is not feasible, since there are too many possible behaviours to be considered.