Abstract
This paper presents AHR, a formal framework for combinatorial test design that is Agile, Human-centred and Refinement-oriented. The framework (i) allows us to reuse test plans developed for an abstract level at more concrete levels; (ii) has human-centric interface providing queries and alerts whenever the specified test plan is incomplete or invalid; (iii) involves analysis of the testing constraints within combinatorial testing.
Original language | English |
---|---|
Title of host publication | ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering |
Editors | Leszek Maciaszek, Leszek Maciaszek, Joaquim Filipe |
Publisher | SciTePress |
Pages | 228-233 |
Number of pages | 6 |
ISBN (Electronic) | 9789897581892 |
DOIs | |
State | Published - 2016 |
Event | 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016 - Rome, Italy Duration: 27 Apr 2016 → 28 Apr 2016 |
Publication series
Name | ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering |
---|
Conference
Conference | 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016 |
---|---|
Country/Territory | Italy |
City | Rome |
Period | 27/04/16 → 28/04/16 |
Bibliographical note
Publisher Copyright:Copyright © 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.
Keywords
- Combinatorial test design
- Formal methods
- Software quality
- Testing
ASJC Scopus subject areas
- Software