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

  • Authors:
  • Najla Raza;Aamer Nadeem;Muhammad Zohaib Z. Iqbal

  • Affiliations:
  • Mohammad Ali Jinnah University, Islamabad, Pakistan;Mohammad Ali Jinnah University, Islamabad, Pakistan;International Islamic University Islamabad, Pakistan

  • Venue:
  • QSIC '07 Proceedings of the Seventh International Conference on Quality Software
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.