Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Task-related knowledge structures: analysis, modelling and application
Proceedings of the Fourth Conference of the British Computer Society on People and computers IV
The UAN: a user-oriented representation for direct manipulation interface designs
ACM Transactions on Information Systems (TOIS)
The GOMS family of user interface analysis techniques: comparison and contrast
ACM Transactions on Computer-Human Interaction (TOCHI)
MDL: a language for binding UI models
Proceedings of the third international conference on Computer-aided design of user interfaces
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
Annals of Software Engineering
Test Case Generation as an AI Planning Problem
Automated Software Engineering
CTTE: support for developing and analyzing task models for interactive system design
IEEE Transactions on Software Engineering
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Eclipse Modeling Framework
Automated Test Data Generation Using MEA-Graph Planning
ICTAI '04 Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
On the integration of design and test: a model-based approach for embedded systems
Proceedings of the 2006 international workshop on Automation of software test
Formal and experimental validation approaches in HCI systems design based on a shared event B model
International Journal on Software Tools for Technology Transfer (STTT)
Generating interaction test cases for mobile phone systems from use case specifications
ACM SIGSOFT Software Engineering Notes
Abstractions for Model-Based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating model checking and HCI tools to help designers verify user interface properties
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Mapping concurtasktrees into UML 2.0
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
AspectT: aspect-oriented test case instantiation
Proceedings of the 7th international conference on Aspect-oriented software development
Automatability of Coupled Evolution of Metamodels and Models in Practice
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
When integrating different system components, the interaction between different features is often error prone. Typically errors occur on interruption, concurrency or disabling/enabling between different features. Test case generation for integration testing struggles with two problems: the large state space and that these critical relationships are often not explicitly modeled. The approach presented in this paper is to use task models to describe the interaction between environment and system. This restricts the possible state space to a feasible size and enables the generation of task sequences, which cover the critical interaction scenarios. These task sequences are too abstract for testing the System-Under-Test (SUT), due to missing input- and expected output behavior. To overcome the different abstraction levels, the tasks are mapped to component behavior models. Based on this mapping, task sequences can be enriched with additional information from the component models and thereby executed to test the SUT.