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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/978-3-540-70889-6_17 | Haifa Verification Conference |
Keywords | Field | DocType |
agile software development project,test model,test generation system,automatic test generation,coverage language,use case,model-based test generation tool,domain expert,high level,action word,model based testing,software development | Test harness,Automatic test pattern generation,System under test,Programming language,Use case,Test Management Approach,Software engineering,Computer science,Theoretical computer science,Model-based testing,Test case,Test data generation | Conference |
Volume | ISSN | Citations |
4383 | 0302-9743 | 15 |
PageRank | References | Authors |
1.28 | 9 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mika Katara | 1 | 318 | 29.78 |
Antti Kervinen | 2 | 87 | 9.97 |