Conference Proceedings

Checking The Correctness of Agent Designs Against Model-Based Requirements

Yoosef Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah, T Schaub (ed.), G Friedrich (ed.), B OSullivan (ed.)

Frontiers in Artificial Intelligence and Applications | IOS PRESS | Published : 2014

Abstract

Agent systems are used for a wide range of applications, and techniques to detect and avoid defects in such systems are valuable. In particular, it is desirable to detect issues as early as possible in the software development lifecycle. We describe a technique for checking the plan structures of a BDI agent design against the requirements models, specified in terms of scenarios and goals. This approach is applicable at design time, not requiring source code. A lightweight evaluation demonstrates that a range of defects can be found using this technique.