naa a22 4500 510791123 CHVBK 20180411083320.0 cr unu---uuuuu 180411e20130901xx s 000 0 eng 10.1007/s11334-013-0199-6 doi (NATIONALLICENCE)springer-10.1007/s11334-013-0199-6 UI-design driven model-based testing [Elektronische Daten] [Judy Bowen, Steve Reeves] Testing interactive systems is a notoriously difficult task. Not only do we need to ensure that the functionality of the developed system is correct with respect to the requirements and specifications, but also we need to ensure that the user interface (UI) to the system is correct (enables a user to access the functionality correctly) and is usable. These different requirements of interactive system testing are not easily combined within a single testing strategy. We investigate the use of models of interactive systems, which have been derived from design artefacts, as the basis for generating tests for an implemented system. We show how automatically generated abstract tests can be used as the basis for a model-based method for testing interactive systems which has low overhead in terms of the models required and which enables testing of UI and system functionality from the perspective of user interaction. We also examine other testing strategies which use the same abstract tests as their basis and discuss general problems in the area of interactive system testing and propose some solutions. Springer-Verlag London, 2013 User interface nationallicence Prototyping nationallicence Formal methods nationallicence Unit testing nationallicence Bowen Judy The University of Waikato, Hamilton, New Zealand aut Reeves Steve The University of Waikato, Hamilton, New Zealand aut Innovations in Systems and Software Engineering Springer London 9/3(2013-09-01), 201-215 1614-5046 9:3<201 2013 9 11334 https://doi.org/10.1007/s11334-013-0199-6 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11334-013-0199-6 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Bowen Judy The University of Waikato, Hamilton, New Zealand aut NATIONALLICENCE 700 1- Reeves Steve The University of Waikato, Hamilton, New Zealand aut NATIONALLICENCE 773 0- Innovations in Systems and Software Engineering Springer London 9/3(2013-09-01), 201-215 1614-5046 9:3<201 2013 9 11334 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer