The article illustrates a formal method of deriving functional test cases from use cases, including how to create a use case, derive all scenarios, and create reasonable test cases, as well as use IBM® Rational® RequisitePro for traceability from use cases to scenarios and test cases.
A. Bertolino, A. Fantechi, S. Gnesi, und G. Lami. Software Product Lines - Research Issues in Engineering and Management, Kapitel 11, Springer-Verlag, (2006)
M. Friske, und H. Schlingloff. Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems, 2005-01, TU Braunschweig, (Januar 2005)