An Automated Approach to System Testing Based on Scenarios and Operations Contracts

Scenarios are an important mechanism for requirements specification and can be used to generate test paths at the requirements level. UML 2.0 provides a rich set of models for specifying scenarios, however, little work has focused on using UML 2.0 models for system testing. We propose a novel testing approach that uses UML 2.0 models for automated generation of test paths. This is done by enhancing the information with contracts and then formalizing it into a transition system. Test paths are then generated by path traversal of the transition system. The proposed approach is fully automatable and supported by a prototype tool, thus providing a platform for reducing the gap between high level scenarios and system testing.

[1]  Sebastián Uchitel,et al.  Behaviour model elaboration using partial labelled transition systems , 2003, ESEC/FSE-11.

[2]  Ekkart Rudolph,et al.  HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing , 2000, UML.

[3]  Lionel C. Briand,et al.  A UML-Based Approach to System Testing , 2001, UML.

[4]  Shailey Minocha,et al.  Supporting Scenario-Based Requirements Engineering , 1998, IEEE Trans. Software Eng..

[5]  Ina Schieferdecker,et al.  Development of a MSC/UML Test Format , 2000, FBT.

[6]  A. Bertolino,et al.  A Practical approach to UML-based derivation of integration tests , 2000 .

[7]  Shaoying Liu,et al.  Criteria for generating specification-based tests , 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).

[8]  Gustavo Rossi,et al.  Enhancing a requirements baseline with scenarios , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[9]  Peter Fröhlich,et al.  Automated Test Case Generation from Dynamic Models , 2000, ECOOP.

[10]  Jeremy Dick,et al.  Automating the Generation and Sequencing of Test Cases from Model-Based Specifications , 1993, FME.

[11]  Eda Marchetti,et al.  The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects , 2002, UML.

[12]  Xiaoqing Bai,et al.  An approach to generate the thin-threads from the UML diagrams , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

[13]  Mary Beth Rosson,et al.  Requirements Development in Scenario-Based Design , 1998, IEEE Trans. Software Eng..

[14]  Martin Glinz,et al.  Using Dependency Charts to Improve Scenario-Based Testing , 2000 .

[15]  Wei-Tek Tsai,et al.  Scenario-based object-oriented test frameworks for testing distributed systems , 2003, The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003. Proceedings..

[16]  Shaoying Liu,et al.  An Automated Approach to Specification-Based Program Inspection , 2005, ICFEM.

[17]  Aamer Nadeem,et al.  A state-based approach to integration testing based on UML models , 2007, Inf. Softw. Technol..

[18]  Bogdan Korel,et al.  Requirement-based automated black-box test generation , 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.

[19]  Clémentine Nebut,et al.  Automatic test generation: a use case driven approach , 2006, IEEE Transactions on Software Engineering.

[20]  Øystein Haugen,et al.  Tutorial on Message Sequence Charts (MSC'96) , 2001 .

[21]  Shaoying Liu.  Formal Engineering for Industrial Software Development: Using the SOFL Method , 2004 .

[22]  Mark Strembeck,et al.  Scenario-based Component Testing Using Embedded Metadata , 2004, SOQUA/TECOS.