Making model-based testing more agile: a use case driven approach

Authors:
Mika Katara;Antti Kervinen
Affiliations:
Tampere University of Technology, Institute of Software Systems, Tampere, Finland;Tampere University of Technology, Institute of Software Systems, Tampere, Finland
Venue:
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Year:
2006

Citing 10
Cited 3

Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
Systematic Software Testing

Systematic Software Testing
A Temporal Logic Based Theory of Test Coverage and Generation

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic

Logic of Programs, Workshop
Balancing Agility and Discipline: A Guide for the Perplexed

Balancing Agility and Discipline: A Guide for the Perplexed
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Requirements traceability in automated test generation: application to smart card software validation

A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
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
Heuristics for Faster Error Detection With Automated Black Box Testing

Electronic Notes in Theoretical Computer Science (ENTCS)
Model-Based testing through a GUI

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing

Model-Based Testing Service on the Web

TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Filtering test models to support incremental testing

TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
An orchestrated survey of methodologies for automated software test case generation

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

We address the problem of misalignment of artifacts developed in agile software development projects and those required by model-based test generation tools. Our solution is domain specific and relies on the existence of domain experts to design the test models. The testers interface the test generation systems with use cases that are converted into sequences of so called action words corresponding to user events at a high level of abstraction. To support this scheme, we introduce a coverage language and an algorithm for automatic test generation.