Abstract
Current research and development of agent-based systems has focused primarily on architectures, protocols, frameworks, messaging infrastructure and community interactions. As intelligent agent-based systems take over operations in the financial community, transportation, manufacturing, utilities, aerospace, and the military, assurances will need to be given to the owners and operators of these systems that these non-deterministic, learning systems operate correctly. In many of these environments errors in software can result in large financial losses or bodily harm. To build confidence in the owners and users of agent-based systems, testing and monitoring will need to be done that will instill confidence that these systems work correctly and that errors can be quickly found.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bellifemine, F., Caire, G., Trucco, T., Rimassa, G.: JADE Programmer’s Guide. CSELT S.p.A (2000)
Hinchey, M.G., Jarvis, S.A.: Concurrent Systems: Formal Development in CSP, London and New York. McGraw-Hill International Series in Software Engineering (1995)
Hoare, C.A.R.: Communicating Sequential Processes, Hemel Hempstead. Prentice Hall International Series in Computer Science (1985)
Holzmann, H.J.: Design and Validation of Computer Protocols, Englewood Cliffs, NJ. Prentice Hall Software Series (1991)
Rouff, C., Hinchey, M., Rash, J.: Verification and Validation of Autonomous Systems. In: IEEE/NASA Software Engineering Workshop, Greenbelt, MD (2001)
Rouff, C., Rash, J., Hinchey, M.: Experience Using Formal Methods for Specifying a Multi-Agent System. In: Sixth IEEE International Conference on Engineering of Complex Computer Systems (2000)
Truszkowski, W., Hallock, H.: Agent Technology from a NASA Perspective. In: Klusch, M., Shehory, O., Weiss, G. (eds.) CIA 1999. LNCS (LNAI), vol. 1652, pp. 1–33. Springer, Heidelberg (1999)
Truszkowski, W., Rouff, C.: An Overview of the NASA LOGOS and ACT Agent Communities. In: World Multiconference on Systemics, Cybernetics and Informatics, Orlando, Florida (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rouff, C. (2003). Testing and Monitoring Intelligent Agents. In: Truszkowski, W., Hinchey, M., Rouff, C. (eds) Innovative Concepts for Agent-Based Systems. WRAC 2002. Lecture Notes in Computer Science(), vol 2564. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45173-0_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-45173-0_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40725-6
Online ISBN: 978-3-540-45173-0
eBook Packages: Springer Book Archive