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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
