%0 Journal Article %1 4385504 %A Raza, N. %A Nadeem, A. %A Iqbal, M.Z.Z. %D 2007 %J Quality Software, 2007. QSIC '07. Seventh International Conference on %K Interaktionsübersichtsdiagramme UML based model statecharts %P 256-261 %R 10.1109/QSIC.2007.4385504 %T An Automated Approach to System Testing Based on Scenarios and Operations Contracts %X 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.

@article{4385504, 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.}, added-at = {2008-12-10T13:08:49.000+0100}, author = {Raza, N. and Nadeem, A. and Iqbal, M.Z.Z.}, biburl = {https://www.bibsonomy.org/bibtex/2999eb4661be4e584c78e7768e59d530a/ist_spl}, description = {Welcome to IEEE Xplore 2.0: An Automated Approach to System Testing Based on Scenarios and Operations Contracts}, doi = {10.1109/QSIC.2007.4385504}, interhash = {6c435caf5b7f61a8404acc1053b8e58e}, intrahash = {999eb4661be4e584c78e7768e59d530a}, issn = {1550-6002}, journal = {Quality Software, 2007. QSIC '07. Seventh International Conference on}, keywords = {Interaktionsübersichtsdiagramme UML based model statecharts}, month = {Oct.}, note = {ST: Vorgehensweise: Aus diesen Diagrammen sollen Testpfade für den Systemtest generiert werden. Die Diagramme sind mit Pre- und Postconditions durch OCL versehen. Aus diesen Diagrammen wird ein Zustandsautomat generiert. Nun können Abdeckungskriterien wie Zustandsüberdeckung oder Transitionsüberdeckung angewendet werden um Testpfade abzuleiten. Eignung: Es können Testpfade für den Systemtest abgeleitet werden aber wie die Testdaten systematisch abgeleitet werden bleibt offen. }, pages = {256-261}, timestamp = {2008-12-10T13:08:49.000+0100}, title = {An Automated Approach to System Testing Based on Scenarios and Operations Contracts}, year = 2007 }