Goal-oriented requirements engineering methodologies have been investigated for more than a decade, aiming at better supporting requirements engineering. They help elicit users’ requirements, deal with stakeholders’ goals and strategic dependencies among them. Moreover, they allow representing alternative solutions so that stakeholders and developers can negotiate and choose the one that meets their business demands. Some methodologies offer specification-based formal verification, allowing software developers to correct errors at the beginning of the development process. However, a structured testing process for goal-oriented methodologies that complements formal verification is still missing. In this report, we introduce a novel methodology for goal-oriented software testing. It specifies a testing model that complements the goal-oriented methodology Tropos and strengthens the mutual relationship between goal analysis and testing. Furthermore, it provides a systematic way of deriving test cases from goal analysis. To support the proposed methodology, a testing framework was integrated into an existing tool (TAOM4E) that supports Tropos.

A Goal-Oriented Software Testing Methodology

Nguyen, Duy Cu;Perini, Anna;Tonella, Paolo
2006-01-01

Abstract

Goal-oriented requirements engineering methodologies have been investigated for more than a decade, aiming at better supporting requirements engineering. They help elicit users’ requirements, deal with stakeholders’ goals and strategic dependencies among them. Moreover, they allow representing alternative solutions so that stakeholders and developers can negotiate and choose the one that meets their business demands. Some methodologies offer specification-based formal verification, allowing software developers to correct errors at the beginning of the development process. However, a structured testing process for goal-oriented methodologies that complements formal verification is still missing. In this report, we introduce a novel methodology for goal-oriented software testing. It specifies a testing model that complements the goal-oriented methodology Tropos and strengthens the mutual relationship between goal analysis and testing. Furthermore, it provides a systematic way of deriving test cases from goal analysis. To support the proposed methodology, a testing framework was integrated into an existing tool (TAOM4E) that supports Tropos.
2006
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/3200
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact