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, и G. Lami. Software Product Lines - Research Issues in Engineering and Management, глава 11, Springer-Verlag, (2006)