Seventh International Conference on Quality Software (QSIC 2007) An Automated Approach to System Testing Based on Scenarios and Operations Contracts Portland, Oregon, USA October 11-October 12 ISBN: 0-7695-3035-4
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.14
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. Keywords Scenarios, Testing, UML, Contracts.
Citation:
Najla Raza, Aamer Nadeem, Muhammad Zohaib Z. Iqbal, "An Automated Approach to System Testing Based on Scenarios and Operations Contracts," qsic, pp.256-261, Seventh International Conference on Quality Software (QSIC 2007), 2007 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||