Accessibility Skip to Global Navigation Skip to Local Navigation Skip to Content Skip to Search Skip to Site Map Menu

New Publication by Profs Winikoff & Cranefield

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.