Publication: Testing Object-Oriented Configurators W...
Master data
| Title: | Testing Object-Oriented Configurators With ASP |
| Subtitle: | |
| Abstract: | Testing is an important aspect of every software project. For configurator applications it is equally important but often neglected. This paper shows how to support testing object-oriented and constraint-based configurators by automatically generating positive and negative test cases using answer set programming (ASP). The object-model of the configurator is mapped to ASP code; the constraints to be tested are coded redundantly in ASP. Based on that, the ASP solver generates appropriate test cases, hich are then used for unit testing in the object-oriented configurator. There are different strategies to improve this basic process, e.g. reduction of the number of test cases with symmetry breaking. |
| Keywords: |
| Publication type: | Article in compilation (Authorship) |
| Publication date: | 2012 (Print) |
| Published by: |
Proceedings of the ECAI 2011 Workshop on Configuration
Proceedings of the ECAI 2011 Workshop on Configuration
(
CEUR Workshop Proceedings (CEUR-WS.org);
ECAI 2012
)
to publication |
| Title of the series: | - |
| Volume number: | - |
| First publication: | Yes |
| Page: | pp. 21 - 26 |
Versionen
| Keine Version vorhanden |
| Publication date: | 2012 |
| ISBN: | - |
| ISSN: | - |
| Homepage: | - |
Authors
|
A. Falkner
No Data available
*
|
|
G. Schenner
No Data available
*
|
|
G. Friedrich
No Data available
*
|
|
A. Ryabokon
No Data available
*
|
| Anna Ryabokon (internal) |
| Gerhard Friedrich (internal) |
Assignment
| Organisation | Address | ||||
|---|---|---|---|---|---|
|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Categorisation
| Subject areas | |
| Research Cluster | No research Research Cluster selected |
| Peer reviewed |
|
| Publication focus |
Classification raster of the assigned organisational units:
|
| working groups | No working group selected |
Cooperations
No partner organisations selected
Research activities
All related research activities to this publication are shown here. With the link below, you can view them in the search view where you are also able to export them.
Show related search activities in search
| Projects: |
|
| Publications: | No related publications |
| Events: | No related events |
| Lectures: | No related lectures |
Articles of the publication
No related publications