Software test automation: effective use of test execution tools
Software test automation: effective use of test execution tools
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach
TAIC-PART '06 Proceedings of the Testing: Academic & Industrial Conference on Practice And Research Techniques
Protocol Modeling with Model Program Composition
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper)
QSIC '08 Proceedings of the 2008 The Eighth International Conference on Quality Software
Model-Based Testing of Web Applications Using NModel
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Making model-based testing more agile: a use case driven approach
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey
Software Testing, Verification & Reliability
| Hi-index | 0.00 |
Model-based testing can be hampered by the fact that a model depicting the system as designed does not necessarily correspond to the product as it is during development. Tests generated from such a model may be impossible to execute due to unimplemented features and already known errors. This paper presents a solution in which parts of the model can be filtered out and the remainder used to generate tests for the implemented portion of the product. In this way model-based testing can be used to gradually test the implementation as it becomes available. This is particularly important in incremental testing commonly used in industry.