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
zur Publikation
 ( CEUR Workshop Proceedings (CEUR-WS.org); ECAI 2012 )
Erscheinungdatum: 2012
Titel der Serie: -
Bandnummer: -
Erstveröffentlichung: Ja
Seite: S. 21 - 26

Identifikatoren
ISBN: -
ISSN: -
DOI: -
AC-Nummer: -
Homepage:
Open Access
  • Kein Open-Access

AutorInnen
A. Falkner
Keine Daten vorhanden
(extern) *
G. Schenner
Keine Daten vorhanden
(extern) *
Gerhard Friedrich
Gerhard.Friedrich@aau.at
Institut für Angewandte Informatik
Forschungsaktivitäten
zur Visitenkarte
(intern)
Anna Ryabokon
Forschungsaktivitäten
zur Visitenkarte
(intern)

Zuordnung
Organisation Adresse
Fakultät für Technische Wissenschaften
  Institut für Angewandte Informatik
Universitätsstr. 65-67
A-9020  Klagenfurt
Österreich
  -993705
   ainf@aau.at
https://www.aau.at/angewandte-informatik/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung
Sachgebiete
  • 1108 - Informatik
Forschungscluster Kein Forschungscluster ausgewählt
Peer Reviewed
  • Ja
Publikationsfokus
  • Science to Science (Qualitätsindikator: III)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen Keine Arbeitsgruppe ausgewählt

Kooperationen
Keine Kooperationspartner ausgewählt

Beiträge der Publikation
Keine verknüpften Publikationen vorhanden