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.
M. Mirakhorli, and J. Cleland-Huang. Proceedings of the 6th International Workshop on SHAring and Reusing Architectural Knowledge, page 45--52. New York, NY, USA, ACM, (2011)
F. Gilson, and V. Englebert. Proceedings of the 5th European Conference on Software Architecture: Companion Volume, page 4:1--4:9. New York, NY, USA, ACM, (2011)
S. Gatti, E. Balland, and C. Consel. Fundamental Approaches to Software Engineering, volume 6603 of Lecture Notes in Computer Science, page 217--231. Springer, (2011)
A. Bacchelli, M. Lanza, and R. Robbes. ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, page 375--384. New York, NY, USA, ACM, (2010)
J. Fletcher, and J. Cleland-Huang. ISSRE '06: Proceedings of the 17th International Symposium on Software Reliability Engineering, page 363--374. Washington, DC, USA, IEEE Computer Society, (2006)