Publikation: Testing Object-Oriented Configurators W...
Stammdaten
Testing Object-Oriented Configurators With ASP | |
Untertitel: | |
Kurzfassung: | 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. |
Schlagworte: |
Publikationstyp: | Beitrag in Sammelwerk (Autorenschaft) |
Art der Veröffentlichung | Printversion |
Erschienen in: |
Proceedings of the ECAI 2011 Workshop on Configuration
Proceedings of the ECAI 2011 Workshop on Configuration
(
CEUR Workshop Proceedings (CEUR-WS.org);
ECAI 2012
)
zur Publikation |
Erscheinungdatum: | 2012 |
Titel der Serie: | - |
Bandnummer: | - |
Erstveröffentlichung: | Ja |
Seite: | S. 21 - 26 |
AutorInnen
A. Falkner
Keine Daten vorhanden
(extern)
*
|
G. Schenner
Keine Daten vorhanden
(extern)
*
|
Gerhard Friedrich (intern) |
Anna Ryabokon (intern) |
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften Institut für Angewandte Informatik
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen | Keine Arbeitsgruppe ausgewählt |
Kooperationen
Keine Kooperationspartner ausgewählt
Forschungsaktivitäten
Hier werden alle mit dieser Publikation in Zusammenhang stehenden Forschungsaktivitäten angezeigt. Mit dem untenstehenden Link können sie sich diese Forschungsaktivitäten in der Suche anzeigen lassen und gegebenenfalls exportieren.
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Zugehörige Forschungsaktivitäten in der Suche anzeigen
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: |
|
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: | Keine verknüpften Vorträge vorhanden |
Beiträge der Publikation
Keine verknüpften Publikationen vorhanden