loading...
Conformance Testing of BDI Properties in Agent-based Software Systems
Taipei, Taiwan December 15-December 17
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.5412th Asia-Pacific Software Engineerin ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
M. Zheng, University of Wisconsin-Lacrosse
V. S. Alagar, Concordia University, Montreal, Quebec , Canada
Agent-based software engineering combines the strengths of agent theory with the practical software engineering methods for developing large intelligent systems. Designing and implementing agent-based systems are complicated tasks because the agent's BDI characteristics (Beliefs, Desires, Intentions) when codified in the design/implementation as software characteristics may have acquired diflerent connotations. Consequently testing the reliability of the implementation is equally hard. It is necessary to choose an agent's software abstraction that has a minimal deviation from the BDI agent concept, and use it as a formal basis to test an implementation. This paper proposes one such method for conformance testing of BDI properties in an agent-based system.
Citation:
M. Zheng, V. S. Alagar, "Conformance Testing of BDI Properties in Agent-based Software Systems," apsec, pp.457-464, 12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.