Improved underspecification for model-based testing in agile development
| dc.contributor.author | Faragó, David | |
| dc.contributor.editor | Gruner, Stefan | |
| dc.contributor.editor | Rumpe, Bernhard | |
| dc.date.accessioned | 2019-01-17T10:55:42Z | |
| dc.date.available | 2019-01-17T10:55:42Z | |
| dc.date.issued | 2010 | |
| dc.description.abstract | Since model-based testing (MBT) and agile development are two major approaches to increase the quality of software, this paper considers their combination. After motivating that strongly integrating both is the most fruitful, the demands on MBT for this integration are investigated: The model must be underspecifyable and iteratively refineable and test generation must efficiently handle this. The theoretical basis and an example for such models is given. Thereafter, a new method for MBT is introduced, which can handle this more efficiently, i.e., can better cope with nondeterminism and also has better guidance in the model traversal. Hence it can be used in agile development, select more revealing tests and achieve higher coverage and reproducibility. | en |
| dc.identifier.isbn | 978-3-88579-273-4 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19660 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | FM+AM`2010 – Second International Workshop on Formal Methods and Agile Methods | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-179 | |
| dc.subject | model-based testing | |
| dc.subject | agile development | |
| dc.subject | iterative refinement | |
| dc.subject | nondeterminism | |
| dc.subject | ioco | |
| dc.subject | on-the-fly | |
| dc.subject | off-the-fly | |
| dc.title | Improved underspecification for model-based testing in agile development | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 78 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 63 | |
| gi.conference.date | 20 September 2010 | |
| gi.conference.location | Pisa, Italy | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1