A Goal-Oriented Software Testing Methodology

Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for such systems has usually the form of Multi-Agent Systems (MAS). As these systems are increasingly applied in mission-critical services, assurances need to be given to their owners and users that they operate properly. Although the relevance of the link between requirements engineering and testing has long been recognized, current Agent-Oriented Software Engineering (AOSE) methodologies partially address it. Some of them offer specification-based formal verification, allowing software developers to correct errors at the beginning of the development process, others exploits Object-Oriented ting techniques, upon a mapping of agent-oriented abstractions into OO constructs. However, a structured testing process for AOSE methodologies that complements formal verification is still missing. In this paper we intr...

• Type: Conference
• Year: 2007
• Where: AOSE
• Authors: Duy Cu Nguyen, Anna Perini, Paolo Tonella
• Keywords: Agent-oriented Software Engineering, AOSE 2007, Current Agent-oriented Software, Software Engineering, Testing Process