Sciweavers

Share
AOSE
2007
Springer

A Goal-Oriented Software Testing Methodology

9 years 4 months ago
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...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where AOSE
Authors Duy Cu Nguyen, Anna Perini, Paolo Tonella
Comments (0)
books