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